Analysis of WCET in an experimental satellite software development

Jorge Garrido, Daniel Brosnan, Juan A. De La Puente, Alejandro Alonso & Juan Zamorano
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...