PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis

Francisco J. Cazorla 1, 2 Jaume Abella 3 Jan Andersson 4 Tullio Vardanega 5 Francis Vatrinet 6 Ian Bate 7 Ian Broster 8 Mikel Azkarate-Askasua 9 Franck Wartel 10 Liliana Cucu-Grosjean 11 Fabrice Cros 12 Glenn Farrall 13 Adriana Gogonel 11 Andrea Gianarro 4 Benoit Triquet 14 Hernandez Carles 1 Code Lo 11 Cristian Maxim 14 David Morales 1 Eduardo Quinones 1 Enrico Mezzetti 5 Leonidas Kosmidis 1 Irune Agirre 9 Mikel Fernandez 1 Mladen Slijepcevic 1 Conmy Philippa 8 Walid Talaboulma 11
1 BSC - CNS - Barcelona Supercomputing Center - Centro Nacional de Supercomputacion
2 CSIC - Spanish National Research Council
3 UPC - Technical University of Catalonia
4 Cobham Gaisler [Göteborg]
5 Dipartimento di Matematica Pura e Applicata [Padova]
6 SYSGO [Le Pecq]
7 CS-YORK - Department of Computer Science [York]
8 Rapita Systems Ltd [York]
9 IK4 - IKERLAN [Mondragón]
10 Airbus [France]
11 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
12 Airbus Defence and Space [Saint-Médard-en-Jalles]
13 Infineon Technologies [Bristol]
14 Airbus Operation S.A.S.
Abstract : The use of increasingly complex hardware and software platforms in response to the ever rising performance demands of modern real-time systems complicates the verification and validation of their timing behaviour, which form a time-and-effort-intensive step of system qualification or certification. In this paper we relate the current state of practice in measurement-based timing analysis, the predominant choice for industrial developers, to the proceedings of the PROXIMA (Probabilistic real-time control of mixed-criticality multicore systems) project in that very field. We recall the difficulties that the shift towards more complex computing platforms causes in that regard. Then we discuss the probabilistic approach proposed by PROXIMA to overcome some of those limitations. We present the main principles behind the PROXIMA approach as well as the changes it requires at hardware or software level underneath the application. We also present the current status of the project against its overall goals, and highlight some of the principal confidence-building results achieved so far.
Type de document :
Communication dans un congrès
2016 Euromicro Conference on Digital System Design, Aug 2016, Limassol, France. 2016 Euromicro Conference on Digital System Design, 2016, 〈10.1109/DSD.2016.22〉
Liste complète des métadonnées
https://hal.inria.fr/hal-01419735
Contributeur : Liliana Cucu <>
Soumis le : lundi 19 décembre 2016 - 19:11:54
Dernière modification le : jeudi 26 avril 2018 - 10:28:21

Lien texte intégral

openaccess

Identifiants

Collections

UNICE | INRIA | I3S | UNIV-COTEDAZUR

Citation

Francisco J. Cazorla, Jaume Abella, Jan Andersson, Tullio Vardanega, Francis Vatrinet, et al.. PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. 2016 Euromicro Conference on Digital System Design, Aug 2016, Limassol, France. 2016 Euromicro Conference on Digital System Design, 2016, 〈10.1109/DSD.2016.22〉. 〈hal-01419735〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

956

Contact


archive-ouverte@inria.fr