Portal de Periódicos da CAPES

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

2013; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-38601-5_9

1611-3349

Emilio Salazar, Alejandro Alonso, Miguel Á. de Miguel, Juan A. de la Puente,

Formal Methods in Verification

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.