VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
IEEE Transactions on Software Engineering
Computer Languages, Systems and Structures
Real-Time Embedded Software Design for Mobile and Ubiquitous Systems
Journal of Signal Processing Systems
Real-time embedded software design for mobile and ubiquitous systems
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
The implementation and application of statecharts in real-time system in high energy physics
RTC'05 Proceedings of the 14th IEEE-NPSS conference on Real time
Synthesizing a specification-based monitor for safety requirements
Iranian Journal of Science and Technology, Transaction B: Engineering
Design models for reusable and reconfigurable state machines
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
A systematic review of code generation proposals from state machine specifications
Information and Software Technology
An object-oriented implementation of concurrent and hierarchical state machines
Information and Software Technology
Hi-index | 0.00 |
Model your reactive systems without heavyweight, expensive CASE tools. The author's Quantum Programming is a new paradigm that treats statecharts as a way of design rather than the use of a particular tool. It includes a complete software infrastructure for executing statecharts tailored for multithreaded embedded applications. Flexible, efficient, portable, scalable, and maintainable, this lightweight Quantum Framework permits you to quickly hand-code working real-time systems in C or C++ directly from UML statecharts. The Quantum Framework is a complete implementation environment - an active-object framework carefully designed to work with nearly any RTOS. It supports rapid prototyping, easy modification of states and transitions at any stage of development, and the choice of implementation language (C or C++) to match the resource constraints of the target system. Best of all, it is compact, with complete QF code typically requiring less than 5KB of code and data. In Part I of this book, you get a clear, articulate description of the relevant concepts including traditional finite state machines, statecharts, and several statechart-based design patterns in the form of executable code examples. Learn how state nesting leads to behavioral inheritance and how it enables reuse through programming-by-difference. Part II fully describes the implementation of the Quantum Framework and explains how you can use it in your applications and port it to an RTOS of your choice. The CD-ROM includes complete source code for the author's Quantum Framework, answers to all exercises scattered throughout the book, and an evaluation version of RTOS-32 - a 32-bit real-time operating system for x86 processors.