The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-30598-6_2In 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.This work was partially supported by the Vicerrectorado de Investigación of the
UPV (PAID-06-10-2397), Ministerio de Ciencia e Innovación (TIN2011-28567-C03-
03) and European Union (FP7-ICT-287702)Sáez Barona, S.; Real Sáez, JV.; Crespo, A. (2012). An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications. En Reliable Software Technologies – Ada-Europe 2012. Springer. 18-34. https://doi.org/10.1007/978-3-642-30598-6_21834Wellings, A.J., Burns, A.: A Framework for Real-Time Utilities for Ada 2005. Ada Letters XXVII(2) (August 2007)Real, J., Crespo, A.: Incorporating Operating Modes to an Ada Real-Time Framework. Ada Letters 30(1) (April 2010)Sáez, S., Terrasa, S., Crespo, A.: A Real-Time Framework for Multiprocessor Platforms Using Ada 2012. In: Romanovsky, A., Vardanega, T. (eds.) Ada-Europe 2011. LNCS, vol. 6652, pp. 46–60. Springer, Heidelberg (2011)Joseph, M., Pandya, P.: Finding response times in a real-time system. British Computer Society Computer Journal 29(5), 390–395 (1986)Audsley, N., Burns, A., Richardson, M., Tindell, K., Wellings, A.J.: Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal 8(5), 284–292 (1993)Real, J., Crespo, A.: Mode Change Protocols for Real-Time Systems: A Survey and a new Proposal. Real-Time Systems 26(2), 161–197 (2004)Harel, D.: Statecharts: A visual formalism for complex systems. The Science of Computer Programming 8(3), 231–274 (1987)Object Management Group: Unified Modeling Language (OMG UML) V2.4 (August 2011), http://www.omg.org/spec/UML/2.4.1Sáez, S., Terrasa, S., Lorente, V., Crespo, A.: Implementing Reactive Systems with UML State Machines and Ada 2005. In: Kordon, F., Kermarrec, Y. (eds.) Ada-Europe 2009. LNCS, vol. 5570, pp. 149–163. Springer, Heidelberg (2009)Burns, A., Wellings, A.J.: Dispatching Domains for Multiprocessor Platforms and their Representation in Ada. In: Real, J., Vardanega, T. (eds.) Ada-Europe 2010. LNCS, vol. 6106, pp. 41–53. Springer, Heidelberg (2010)Barnett, J.: State Chart XML (SCXML): State Machine Notation for Control Abstraction (May 2008), http://www.w3.org/TR/scxml
