Full text
![[img]](http://oa.upm.es/style/images/fileicons/application_pdf.png)
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (520kB) |
Static analysis of WCET in a satellite software subsystem
Citation
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: |
|
| 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 |
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: | 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 |
