PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis
Francisco J. Cazorla and Jaume Abella and Jan Andersson and Tullio Vardanega and Francis Vatrinet and Iain Bate and Ian Broster and Mikel Azkarate-Askasua and Franck Wartel and Liliana Cucu and Fabrice Cros and Glenn Farrall and Adriana Gogonel and Andrea Gianarro and Benoit Triquet and Carles Hernández and Code Lo and Cristian Maxim and David Morales and Eduardo Quiñones and Enrico Mezzetti and Leonidas Kosmidis and Irune Agirre and Mikel Fernández andMladen Slijepcevic and Philippa Conmy and Walid Talaboulma
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 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.
BibTex Entry
@inproceedings{Cazorla2016,
author = {Francisco J. Cazorla and
Jaume Abella and
Jan Andersson and
Tullio Vardanega and
Francis Vatrinet and
Iain Bate and
Ian Broster and
Mikel Azkarate{-}Askasua and
Franck Wartel and
Liliana Cucu and
Fabrice Cros and
Glenn Farrall and
Adriana Gogonel and
Andrea Gianarro and
Benoit Triquet and
Carles Hern{\'{a}}ndez and
Code Lo and
Cristian Maxim and
David Morales and
Eduardo Qui{\~{n}}ones and
Enrico Mezzetti and
Leonidas Kosmidis and
Irune Agirre and
Mikel Fern{\'{a}}ndez and
Mladen Slijepcevic and
Philippa Conmy and
Walid Talaboulma},
booktitle = {Euromicro Conference on Digital System Design},
pages = {276--285},
title = {{PROXIMA:} Improving Measurement-Based Timing Analysis through Randomisation
and Probabilistic Analysis},
year = {2016}
}