Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Timing analysis in a model-driven development environment
Año:2016
Á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
Increasing trend towards automatic code generation in real-time systems arising from model-driven engineering. Timing analysis tools can be integrated in MDE environments required for real-time analysis in critical systems. We have used such a setup to assess differences between manually-generated and tool-generated code. ? MBSDL (Model-Based Software Development Lifecycle) ? ESA project carried out by Indra, UPM, Unican ? Rapita Verification Suite (RVS) integrated in TASTE by UPM ? RVS data extracted from AADL and for implementation code ? Ocarina transformation scripts ? Structural analysis computes possible execution paths ? Dynamic analysis provides execution traces with time data ? used to estimate WCET values
Internacional
Si
Nombre congreso
21st International Conference on Reliable Software Technologies - Ada-Europe 2016
Tipo de participación
960
Lugar del congreso
Pisa, Italy
Revisores
Si
ISBN o ISSN
0000-0000
DOI
Fecha inicio congreso
13/06/2016
Fecha fin congreso
17/06/2016
Desde la página
0
Hasta la página
0
Título de las actas
Poster session (no hay actas)
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Juan Antonio de la Puente Alfaro (UPM)
  • Autor: Jorge Garrido Balaguer (UPM)
  • Autor: Juan Rafael Zamorano Flores (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)