Full text
![]()
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (520kB) |
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.
Title: | Static analysis of WCET in a satellite software subsystem |
---|---|
Author/s: |
|
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 |
![]()
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (520kB) |
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.
Item ID: | 25773 |
---|---|
DC Identifier: | https://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 |