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

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.
Type de document :
Communication dans un congrès
SIES 2013 - the 8th IEEE International Symposium on Industrial Embedded Systems, Jun 2013, Porto, Portugal. IEEE, pp.241-248, 2013, 〈10.1109/SIES.2013.6601497〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00920538
Contributeur : Liliana Cucu <>
Soumis le : mercredi 18 décembre 2013 - 16:22:41
Dernière modification le : jeudi 22 septembre 2016 - 14:32:30

Identifiants

Collections

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. IEEE, pp.241-248, 2013, 〈10.1109/SIES.2013.6601497〉. 〈hal-00920538〉

Partager

Métriques

Consultations de la notice

505