Observatorio de I+D+i UPM

Memorias de investigación
Capítulo de libro:
A Model-Based Framework for Developing Real-Time Safety Ada Systems.
Año:2013
Áreas de investigación
  • Tecnología electrónica y de las comunicaciones,
  • Ciencias de la computación y tecnología informática
Datos
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
Participantes
  • 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)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
  • Departamento: Ingeniería de Sistemas Telemáticos
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)