Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
Timing analysis tools in a model-driven development environment
Año:2017
Á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 discusses the use of timing analysis tools on software systems developed with model-driven engineering methodologies. Model-driven development is mainly based on model transformations and automatic code generation. However, a deep understanding of the internal structure and behaviour of the automatically generated code is required in order to conduct later phases of the lifecycle, including validation of non-functional requirements such as real-time properties. The paper describes the integration of a timing analysis tool with TASTE, a model-driven environment developed under the auspices of the European Space Agency. A study of the influence of using an MDE approach on timing analysis techniques, along with figures on the proportion of automated and human-written code in a representative example of a spacecraft attitude control system is included in the paper.
Internacional
Si
JCR del ISI
No
Título de la revista
IFAC-PapersOnline
ISSN
2405-8963
Factor de impacto JCR
Información de impacto
Volumen
DOI
10.1016/j.ifacol.2017.08.1303.
Número de revista
IFAC-Paper
Desde la página
5875
Hasta la página
5880
Mes
SIN MES
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Juan Antonio de la Puente Alfaro (UPM)
  • Autor: Alejandro Antonio Alonso Muñoz (UPM)
  • Autor: Juan Rafael Zamorano Flores (UPM)
  • Autor: Jorge Garrido Balaguer (UPM)
  • Autor: Miguel Angel de Miguel Cabello (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
  • Centro o Instituto I+D+i: Centro de I+d+i en Procesado de la Información y Telecomunicaciones
  • Departamento: Ingeniería de Sistemas Telemáticos
  • Departamento: Arquitectura y Tecnología de Sistemas Informá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)