Observatorio de I+D+i UPM

Descripción
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.
Internacional	Si
DOI	110.1007/978-3-642-38601-5_9
Edición del Libro
Editorial del Libro	Springer-Verlag Berlin Heidelberg
ISBN	978-3-642-38600-8
Serie
Título del Libro	Lecture Notes in Computer ScienceReliable Software Technologies ? Ada-Europe 2013. 18th Ada-Europe International Conference on Reliable Software Technologies
Desde página	126
Hasta página	141

Esta actividad pertenece a memorias de investigación

• Autor: José Emilio Salazar Marsá (UPM)
• Autor: Alejandro Antonio Alonso Muñoz (UPM)
• Autor: Miguel Angel de Miguel Cabello (UPM)
• Autor: Juan Antonio de la Puente Alfaro (UPM)

• Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
• Departamento: Ingeniería de Sistemas Telemáticos