hal-00646571, version 1
PROARTIS: Probabilistically Analyzable Real-Time System"
Francisco J. Cazorla
1Eduardo Quinones 2Tullio Vardanega
3Liliana Cucu-Grosjean
a, 4Benoit Triquet 5Guillem Bernat 6Emery Berger 2, 7Jaume Abella 2Franck Wartel 5Michael Houston 6Luca Santinelli
a, 4Leonidas Kosmidis 2Code Lo 4Dorin Maxim
b, 4
ACM Transactions in Embedded Computing Systems (2012)
Résumé : Static Timing Analysis is the state-of-the-art practice to ascertain the timing behaviour of current- generation real-time embedded systems. The adoption of more complex hardware to respond to the increas- ing demand for computing power in next-generation systems exacerbates some of the limitations of Static Timing Analysis. In particular, the effort of acquiring (1) detail information on the hardware to develop an accurate model of its execution latency as well as (2) knowledge of the timing behaviour of the program in the presence of varying hardware conditions, such as those dependent on the history of previously executed instructions. We call these problems the Timing Analysis Walls. In this vision-statement paper we present Probabilistic Timing Analysis, a novel approach to the analysis of the timing behaviour of next-generation real-time embedded systems. We show how Probabilistic Timing Analysis attacks the Timing Analysis Walls; we then illustrate the mathematical foundations on which this method is based and the challenges we face in the effort of efficiently implementing it. We also present experimental evidence that shows how Probabilistic Timing Analysis reduces the extent of knowledge about the execution platform required to produce probabilistically-safe and tight WCET estimations.
- a – INRIA Nancy-Grand Est
- b – INRIA
- 1 : Spanish National Research Council (CSIC)
- CSIC
- 2 : Barcelona Supercomputing Center [University of Catalonia] (BSC)
- Technical University of Catalonia
- 3 : Dipartimento di Matematica Pura ed Applicata
- Università degli studi di Padova
- 4 : TRIO (INRIA Nancy - Grand Est / LORIA)
- INRIA – CNRS : UMR7503 – Université de Lorraine
- 5 : Airbus France (Airbus)
- Airbus
- 6 : Rapita Systems Ltd
- Rapita Systems Ltd
- 7 : Department of Computer Science
- University of Massachusetts Amherst
- Domaine : Informatique/Systèmes embarqués
- hal-00646571, version 1
- http://hal.inria.fr/hal-00646571
- oai:hal.inria.fr:hal-00646571
- Contributeur : Liliana Cucu
- Soumis le : Mercredi 30 Novembre 2011, 11:58:06
- Dernière modification le : Mardi 13 Novembre 2012, 17:12:30






Exporter