Static analysis of WCET in a satellite software subsystem

Garrido, Jorge; Zamorano, Juan; de la Puente, Juan A.

doi:10.4230/OASIcs.WCET.2013.87

Document

Static analysis of WCET in a satellite software subsystem

Authors Jorge Garrido, Juan Zamorano, Juan A. de la Puente

Part of: Volume: 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)
Part of: Series: Open Access Series in Informatics (OASIcs)
Part of: Conference: Workshop on Worst-Case Execution Time Analysis (WCET)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2013-07-08

PDF

File

PDF

OASIcs.WCET.2013.87.pdf

Filesize: 481 kB
10 pages

Document Identifiers

DOI: 10.4230/OASIcs.WCET.2013.87
URN: urn:nbn:de:0030-drops-41259

Subject Classification

Keywords

Real-time systems
embedded systems
timing analysis
WCET calculation
static analysis

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get BibTex

Jorge Garrido, Juan Zamorano, and Juan A. de la Puente. Static analysis of WCET in a satellite software subsystem. In 13th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 30, pp. 87-96, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013) https://doi.org/10.4230/OASIcs.WCET.2013.87

Author Details

Jorge Garrido

Juan Zamorano

Juan A. de la Puente

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail