Analysis of WCET in an experimental satellite software development.

Brosnan Blázquez, Daniel and Puente Alfaro, Juan Antonio de la and Alonso Muñoz, Alejandro Antonio and Zamorano Flores, Juan Rafael and Garrido Balaguer, Jorge (2012). Analysis of WCET in an experimental satellite software development.. In: "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.

Description

Title: Analysis of WCET in an experimental satellite software development.
Author/s:
  • Brosnan Blázquez, Daniel
  • Puente Alfaro, Juan Antonio de la
  • Alonso Muñoz, Alejandro Antonio
  • Zamorano Flores, Juan Rafael
  • Garrido Balaguer, Jorge
Item Type: Presentation at Congress or Conference (Article)
Event Title: 12th International Workshop on Worst-Case Execution Time Analysis
Event Dates: 02/07/2012 - 04/07/2012
Event Location: Pisa, Italy
Title of Book: 12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012
Date: 2012
ISBN: 978-3-939897-41-5
Subjects:
Freetext Keywords: Real-time systems, embedded systems, timing analysis, WCET calculation, Sistemas en tiempo real, sistemas integrados, análisis de la sincronización, cálculos WCET.
Faculty: Facultad de Informática (UPM)
Department: Arquitectura y Tecnología de Sistemas Informáticos
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (688kB) | Preview

Abstract

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.

More information

Item ID: 20405
DC Identifier: http://oa.upm.es/20405/
OAI Identifier: oai:oa.upm.es:20405
DOI: 10.4230/OASIcs.WCET.2012.81
Official URL: http://www.dagstuhl.de/en/publications/oasics
Deposited by: Memoria Investigacion
Deposited on: 04 Nov 2013 17:18
Last Modified: 21 Apr 2016 23:12
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM