Probabilistic Timing Analysis on Time-Randomized Platforms for the Space Domain

Mikel Fernandez1, David Morales1, Leonidas Kosmidis1, Alen Bardizbanyan5, Ian Broster2, Carles Hernandez1, Eduardo Quinones1, Jaume Abella1, Francisco Cazorla1,3, Paulo Machado4 and Luca Fossati5
1Barcelona Supercomputing Center (BSC)
2Rapita Systems LTD
3Spanish National Research Council (IIIA-CSIC)
4European Space Agency
5Cobham Gaisler


Timing Verification is a fundamental step in realtime embedded systems, with measurement-based timing analysis (MBTA) being the most common approach used to that end. We present a Space case study on a real platform that has been modified to support a probabilistic variant of MBTA called MBPTA. Our platform provides the properties required by MBPTA with the predicted WCET estimates with MBPTA being competitive to those with current MBTA practice while providing more solid evidence on their correctness for certification.

Full Text (PDF)