Memorias de investigación
Ponencias en congresos:
Static analysis of WCET in a satellite software subsystem
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 the authors? experience with static analysis of both WCET and stack usage of a satellite on-board software subsystem. The work is a continuation of a previous case study that used a dynamic WCET analysis tool on an earlier version of the same software system. In particular, the AbsInt aiT tool has been evaluated by analysing both C and Ada code generated by Simulink within the UPMSat-2 project. Some aspects of the aiT tool, specifically those dealing with SPARC register windows, are compared to another static analysis tool, Bound-T. The results of the analysis are discussed, and some conclusions on the use of static WCET analysis tools on the SPARC architecture are commented in the paper.
Internacional
Si
Nombre congreso
13th International Workshop on Worst-Case Execution Time Analysis
Tipo de participación
960
Lugar del congreso
París (FRANCIA)
Revisores
No
ISBN o ISSN
978-3-939897-54-5
DOI
10.4230/OASIcs.WCET.2013.87
Fecha inicio congreso
09/07/2013
Fecha fin congreso
12/07/2013
Desde la página
87
Hasta la página
96
Título de las actas
WCET 2013 Workshop of ECRTS 2013
Esta actividad pertenece a memorias de investigación
Participantes
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: Arquitectura y Tecnología de Sistemas Informáticos
  • Departamento: Ingeniería de Sistemas Telemáticos