Static analysis of WCET in a satellite software subsystem

Garrido Balaguer, Jorge; Zamorano Flores, Juan Rafael y Puente Alfaro, Juan Antonio de la (2013). Static analysis of WCET in a satellite software subsystem. En: "13th International Workshop on Worst-Case Execution Time Analysis", 09-12 Jul 2013, París, Francia. ISBN 9783939897545. pp. 87-96. https://doi.org/10.4230/OASIcs.WCET.2013.87.

Descripción

Título: Static analysis of WCET in a satellite software subsystem
Autor/es:
  • Garrido Balaguer, Jorge
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
Tipo de Documento: Ponencia en Congreso o Jornada (Sin especificar)
Título del Evento: 13th International Workshop on Worst-Case Execution Time Analysis
Fechas del Evento: 09-12 Jul 2013
Lugar del Evento: París, Francia
Título del Libro: OASIC: Open Access Series in Informatics
Fecha: 2013
ISBN: 9783939897545
Volumen: 30
Materias:
Palabras Clave Informales: Real-time systems - Embedded systems - Timing analysis - WCET calculation - Static analysis
Escuela: E.T.S. de Ingenieros Informáticos (UPM)
Departamento: Arquitectura y Tecnología de Sistemas Informáticos
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (520kB)

Resumen

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.

Más información

ID de Registro: 25773
Identificador DC: http://oa.upm.es/25773/
Identificador OAI: oai:oa.upm.es:25773
Identificador DOI: 10.4230/OASIcs.WCET.2013.87
URL Oficial: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=4125
Depositado por: Memoria Investigacion
Depositado el: 08 Jul 2014 07:12
Ultima Modificación: 22 Sep 2014 11:38
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM