Statecharts: A visual formalism for complex systems
Science of Computer Programming
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal
Real-Time Systems
A framework for real-time utilities for Ada 2005
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Implementing Reactive Systems with UML State Machines and Ada 2005
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Incorporating operating modes to an ada real-time framework
ACM SIGAda Ada Letters
A real-time framework for multiprocessor platforms using Ada 2012
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Dispatching domains for multiprocessor platforms and their representation in ada
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Partitioned scheduling of multimode multiprocessor real-time systems with temporal isolation
Proceedings of the 21st International conference on Real-Time Networks and Systems
Hi-index | 0.00 |
In this paper we propose an approach for building real-time systems under a combination of requirements: specification and handling of operating modes and mode changes; implementation on top of a multiprocessor platform; integration of both aspects within a common framework; and connection with schedulability analysis procedures. The proposed approach uses finite state machines to describe operating modes and transitions, and a framework of real-time utilities that implements the required behaviour in Ada 2012. Automatic code generation plays an important role: the system is derived from the functional and timing specification, and implemented according to the abstractions provided by the framework. Response time analysis enables assessing the schedulability of the different operating modes and the transitions between modes.