Static analysis of WCET in a satellite software subsystem

Garrido Balaguer, Jorge and Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la (2013). Static analysis of WCET in a satellite software subsystem. In: "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.

Description

Title: Static analysis of WCET in a satellite software subsystem
Author/s:
  • Garrido Balaguer, Jorge
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
Item Type: Presentation at Congress or Conference (Unspecified)
Event Title: 13th International Workshop on Worst-Case Execution Time Analysis
Event Dates: 09-12 Jul 2013
Event Location: París, Francia
Title of Book: OASIC: Open Access Series in Informatics
Date: 2013
ISBN: 9783939897545
Volume: 30
Subjects:
Freetext Keywords: Real-time systems - Embedded systems - Timing analysis - WCET calculation - Static analysis
Faculty: E.T.S. de Ingenieros Informáticos (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 (520kB)

Abstract

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.

More information

Item ID: 25773
DC Identifier: http://oa.upm.es/25773/
OAI Identifier: oai:oa.upm.es:25773
DOI: 10.4230/OASIcs.WCET.2013.87
Official URL: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=4125
Deposited by: Memoria Investigacion
Deposited on: 08 Jul 2014 07:12
Last Modified: 22 Sep 2014 11:38
  • 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