2026-08-15T23:35:03Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3559 2024-03-06T10:29:01Z ddc:004 open_access

Analysis of WCET in an experimental satellite software development Garrido, Jorge Brosnan, Daniel de la Puente, Juan A. Alonso, Alejandro Zamorano, Juan Real-time systems embedded systems timing analysis WCET calculation 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Jorge Garrido and Daniel Brosnan and Juan A. de la Puente and Alejandro Alonso and Juan Zamorano 2012 Is Part Of OASIcs, Volume 23, 12th International Workshop on Worst-Case Execution Time Analysis (2012) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WCET.2012.81 urn:nbn:de:0030-drops-35592 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2012.81 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode