3nd International Workshop on Worst-Case Execution Time Analysis (WCET'2003),
Polytechnic Instritute of Porto, Portugal, July 1, 2003
Challenges in Calculating the WCET of a Complex On-Board
Satellite Application
Manuel Rodríguez, Nuno Silva, João Esteves, Luis Henriques,
Diamantino Costa, Niklas Holsti, Kjeld Hjortnæs
Abstract
Calculating the WCET of mission-critical satellite applications is a
challenging issue. The European Space Agency is currently undertaking the
CryoSat
mission, consisting of a radar altimetry satellite to be launched in
2005. This paper describes the challenges and the first experimental results of
calculating the WCET of the Control and Data Management Unit (CDMU) subsystem
of the satellite. This subsystem constitutes the central control unit of all
the on-board data handling, as well as the attitude and orbit control system of
the satellite, and must guarantee predictable behavior.
paper (pdf)