HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Measurement-Based Probabilistic Timing Analysis: Lessons from an Integrated-Modular Avionics Case Study

Franck Wartel 1 Leonidas Kosmidis 2 Benoit Triquet 1 Eduardo Quinones 2 Jaume Abella 3 Adriana Geanina Gogonel 4, 5 Andreea Baldovin 6 Enrico Mezzetti 6 Liliana Cucu-Grosjean 4, 5 Tullio Vardanega 6 Francisco J. Cazorla 7
1 Airbus [France]
2 BSC - CNS - Barcelona Supercomputing Center - Centro Nacional de Supercomputacion
3 UPC - Universitat Politècnica de Catalunya [Barcelona]
4 TRIO - Real time and interoperability
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
5 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
6 Dipartimento di Matematica Pura e Applicata [Padova]
7 CSIC - Spanish National Research Council
Abstract : Probabilistic Timing Analysis (PTA) in general and its measurement-based variant called MBPTA in particular can mitigate some of the problems that impair current worst-case execution time (WCET) analysis techniques. MBPTA computes tight WCET bounds expressed as probabilistic exceedance functions, without needing much information on the hardware and software internals of the system. Classic WCET analysis has information needs that may be costly and difficult to satisfy, and their omission increases pessimism. Previous work has shown that MBPTA does well with benchmark programs. Real-world applications however place more demanding requirements on timing analysis than simple benchmarks. It is interesting to see how PTA responds to them. This paper discusses the application of MBPTA to a real avionics system and presents lessons learned in that process.
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-00920538
Contributor : Liliana Cucu-Grosjean Connect in order to contact the contributor
Submitted on : Wednesday, December 18, 2013 - 4:22:41 PM
Last modification on : Friday, January 21, 2022 - 3:18:10 AM

Identifiers

Collections

CNRS | INRIA | I3S | UNIV-LORRAINE | LORIA-NSS | INRIA2 | LORIA | UNIV-COTEDAZUR

Citation

Franck Wartel, Leonidas Kosmidis, Benoit Triquet, Eduardo Quinones, Jaume Abella, et al.. Measurement-Based Probabilistic Timing Analysis: Lessons from an Integrated-Modular Avionics Case Study. SIES 2013 - the 8th IEEE International Symposium on Industrial Embedded Systems, Jun 2013, Porto, Portugal. pp.241-248, ⟨10.1109/SIES.2013.6601497⟩. ⟨hal-00920538⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

324

 

Contact                    Legal Notice                    Personal Data