A Model-Based Framework for Developing Real-Time Safety Ada Systems

  • Emilio Salazar
  • Alejandro Alonso
  • Miguel A. de Miguel
  • Juan A. de la Puente
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7896)


This paper describes an MDE framework for real-time systems with safety requirements. The framework is based on industry standards, such as UML 2.2, MARTE, and the Ada Ravenscar profile. It integrates pre-existing technology with newly developed tools. Special care has been taken to ensure consistency between models and final code. Temporal analysis is integrated in the framework in order to ensure that the real-time behaviour of the models and the final code is consistent and according to the specification.

Automatic code generation from high-level models is performed based on the Ravenscar computational model. The tools generate Ravenscar-compliant Ada code using a reduced set of code stereotypes.

A case study is described for a subsystem of the on-board software of UPMSat2, a university micro-satellite project.


Real-time systems high-integrity systems model-driven engineering Ada Ravenscar profile 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alonso, A., Salazar, E., de la Puente, J.A.: Design of on-board software for an experimental satellite (2103),
  2. 2.
    Bordin, M., Vardanega, T.: Correctness by construction for high-integrity real-time systems: A metamodel-driven approach. In: Abdennadher, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 114–127. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  3. 3.
    Burns, A., Dobbing, B., Romanski, G.: The Ravenscar tasking profile for high integrity real-time programs. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol. 1411, pp. 263–275. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  4. 4.
    Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar profile in high integrity systems. Ada Letters XXIV, 1–74 (2004)CrossRefGoogle Scholar
  5. 5.
    Gery, E., Harel, D., Palachi, E.: Rhapsody: A complete life-cycle model-based development system. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 1–10. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  6. 6.
    González Harbour, M., Gutiérrez, J.J., Palencia, J.C., Drake, J.M.: MAST modeling and analysis suite for real time applications. In: Proceedings of 13th Euromicro Conference on Real-Time Systems, pp. 125–134. IEEE Computer Society Press, Delft (2001)CrossRefGoogle Scholar
  7. 7.
    Hamid, I., Najm, E.: Operational semantics of Ada Ravenscar. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol. 5026, pp. 44–58. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  8. 8.
    Hugues, J., Zalila, B., Pautet, L., Kordon, F.: From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Tr. Embedded Computer Systems 7(4), 1–25 (2008)Google Scholar
  9. 9.
    Lanusse, A., Tanguy, Y., Espinoza, H., Mraidha, C., Gerard, S., Tessier, P., Schnekenburger, R., Dubois, H., Terrier, F.: Papyrus UML: an open source toolset for MDA. In: Proc. of the Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009), pp. 1–4 (2009)Google Scholar
  10. 10.
    Mazzini, S., Puri, S., Vardanega, T.: An MDE methodology for the development of high-integrity real-time systems. In: Design, Automation and Test in Europe, DATE 2009, pp. 1154–1159. IEEE (2009)Google Scholar
  11. 11.
    de Miguel, M.A., Salazar, E.: Model-based development for RTSJ platforms. In: Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2012, pp. 175–184. ACM, New York (2012)CrossRefGoogle Scholar
  12. 12.
    OMG Unified Modeling Language (UML), version 2.4.1 (2011),
  13. 13.
    OMG UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, version 1.1 (2011),
  14. 14.
    Panunzio, M., Vardanega, T.: A metamodel-driven process featuring advanced model-based timing analysis. In: Abdennadher, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 128–141. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  15. 15.
    Perrotin, M., Conquet, E., Dissaux, P., Tsiodras, T., Hugues, J.: The TASTE toolset: Turning human designed heterogeneous systems into computer built homogeneous software. In: 5th Int. Congress on Embedded Real-Time Software and Systems, ERTS2 2010 (May 2010)Google Scholar
  16. 16.
    Pulido, J., de la Puente, J.A., Bordin, M., Vardanega, T., Hugues, J.: Ada 2005 code patterns for metamodel-based code generation. Ada Letters XXVII(2), 53–58 (2007), Proceedings of the 13th International Ada Real-Time Workshop (IRTAW13)Google Scholar
  17. 17.
    Schmidt, D.C.: Model-driven engineering. IEEE Computer 39(2) (2006)Google Scholar
  18. 18.
    Tucker Taft, S., Duff, R.A., Brukardt, R.L., Plödereder, E., Leroy, P. (eds.): Ada 2005 Reference Manual. LNCS, vol. 4348. Springer, Heidelberg (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Emilio Salazar
    • 1
  • Alejandro Alonso
    • 1
  • Miguel A. de Miguel
    • 1
  • Juan A. de la Puente
    • 1
  1. 1.Universidad Politécnica de Madrid (UPM)Spain

Personalised recommendations