Abstract
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.
This work has been partially funded by the Spanish Government, project HI-PARTES (TIN2011-28567-C03-01).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alonso, A., Salazar, E., de la Puente, J.A.: Design of on-board software for an experimental satellite (2103), www.dit.upm.es/~str/papers/pdf/alonso&13a.pdf
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
OMG Unified Modeling Language (UML), version 2.4.1 (2011), http://www.omg.org/spec/UML/2.4.1/
OMG UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, version 1.1 (2011), http://www.omg.org/spec/MARTE/
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)
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)
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)
Schmidt, D.C.: Model-driven engineering. IEEE Computer 39(2) (2006)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Salazar, E., Alonso, A., de Miguel, M.A., de la Puente, J.A. (2013). A Model-Based Framework for Developing Real-Time Safety Ada Systems. In: Keller, H.B., Plödereder, E., Dencker, P., Klenk, H. (eds) Reliable Software Technologies – Ada-Europe 2013. Ada-Europe 2013. Lecture Notes in Computer Science, vol 7896. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38601-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-38601-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38600-8
Online ISBN: 978-3-642-38601-5
eBook Packages: Computer ScienceComputer Science (R0)