Analysis of WCET in an experimental satellite software development.

Brosnan Blázquez, Daniel; Puente Alfaro, Juan Antonio de la; Alonso Muñoz, Alejandro Antonio; Zamorano Flores, Juan Rafael y Garrido Balaguer, Jorge (2012). Analysis of WCET in an experimental satellite software development.. En: "12th International Workshop on Worst-Case Execution Time Analysis", 02/07/2012 - 04/07/2012, Pisa, Italy. ISBN 978-3-939897-41-5. pp.. https://doi.org/10.4230/OASIcs.WCET.2012.81.

Descripción

Título: Analysis of WCET in an experimental satellite software development.
Autor/es:
  • Brosnan Blázquez, Daniel
  • Puente Alfaro, Juan Antonio de la
  • Alonso Muñoz, Alejandro Antonio
  • Zamorano Flores, Juan Rafael
  • Garrido Balaguer, Jorge
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 12th International Workshop on Worst-Case Execution Time Analysis
Fechas del Evento: 02/07/2012 - 04/07/2012
Lugar del Evento: Pisa, Italy
Título del Libro: 12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012
Fecha: 2012
ISBN: 978-3-939897-41-5
Materias:
Palabras Clave Informales: Real-time systems, embedded systems, timing analysis, WCET calculation, Sistemas en tiempo real, sistemas integrados, análisis de la sincronización, cálculos WCET.
Escuela: Facultad de Informática (UPM) [antigua denominación]
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 (688kB) | Vista Previa

Resumen

This paper describes a case study in WCET analysis of an on-board spacecraft software system. The attitude control system of UPMSat-2, an experimental micro-satellite which is scheduled to be launched in 2013, is used for an experiment on analysing the worst-case execution time of code automatically generated from a Simulink model. In order to properly test the code, a hardware-in-the-loop configuration with a simulation model of the spacecraft environment has been used as a test bench. The code has been analysed with RapiTime, with some modifications to the original instrumentation routines, in order to take into account the particularities of the test configuration. Results from the experiment are described and commented in the paper.

Más información

ID de Registro: 20405
Identificador DC: http://oa.upm.es/20405/
Identificador OAI: oai:oa.upm.es:20405
Identificador DOI: 10.4230/OASIcs.WCET.2012.81
URL Oficial: http://www.dagstuhl.de/en/publications/oasics
Depositado por: Memoria Investigacion
Depositado el: 04 Nov 2013 17:18
Ultima Modificación: 21 Abr 2016 23:12
  • 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