PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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

Francis Vatrinet
  • Fonction : Auteur
Franck Wartel
  • Fonction : Auteur
Cristian Maxim
  • Fonction : Auteur
  • PersonId : 980647

Résumé

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.

Dates et versions

hal-01419735 , version 1 (19-12-2016)

Identifiants

Citer

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. ⟨10.1109/DSD.2016.22⟩. ⟨hal-01419735⟩
506 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More