Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis

Francisco J. Cazorla; Jaume Abella; Jan Andersson; Tullio Vardanega; Francis Vatrinet; Iain Bate; Ian Broster; Mikel Azkarate-Askasua; Franck Wartel; Liliana Cucu; Fabrice Cros; Glenn Farrall; Adriana Gogonel; Andrea Gianarro; Benoit Triquet; Carles Hernández; Code Lo; Cristian Maxim; David Morales; Eduardo Quiñones; Enrico Mezzetti; Leonidas Kosmidis; Irune Agirre; Mikel Fernández; Mladen Slijepcevic; Philippa Conmy; Walid Talaboulma

doi:10.1109/DSD.2016.22

Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis

Francisco J. Cazorla, Jaume Abella, Jan Andersson, Tullio Vardanega, Francis Vatrinet, Iain Bate, Ian Broster, Mikel Azkarate-Askasua, Franck Wartel, Liliana Cucu, Fabrice Cros, Glenn Farrall, Adriana Gogonel, Andrea Gianarro, Benoit Triquet, Carles Hernández, Code Lo, Cristian Maxim, David Morales, Eduardo QuiñonesEnrico Mezzetti, Leonidas Kosmidis, Irune Agirre, Mikel Fernández, Mladen Slijepcevic, Philippa Conmy, Walid Talaboulma

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 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.

Original language	English
Title of host publication	Digital System Design (DSD), 2016 Euromicro Conference on
Publisher	IEEE
Pages	276-285
Number of pages	10
ISBN (Print)	9781509028184
DOIs	https://doi.org/10.1109/DSD.2016.22
Publication status	Published - 2016
Event	Digital System Design (DSD), 2016 Euromicro Conference on - Limassol, Cyprus Duration: 31 Aug 2016 → 2 Sept 2016

Conference

Conference	Digital System Design (DSD), 2016 Euromicro Conference on
Abbreviated title	DSD
Country/Territory	Cyprus
City	Limassol
Period	31/08/16 → 2/09/16

Bibliographical note

© IEEE, 2016. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Access to Document

10.1109/DSD.2016.22

DSD
© IEEE, 2016. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Accepted author manuscript, 501 KB

http://dx.doi.org/10.1109/DSD.2016.22

Embargoed Document

camera_ready_version
513 KB

PROXIMA - Probabilistic real-time control of mixed criticality multicore and manycore systems
Bate, I. J. & Davis, R. I.
EUROPEAN COMMISSION
1/10/13 → 30/09/16
Project: Research project (funded) › Research

Cite this

Cazorla, F. J., Abella, J., Andersson, J., Vardanega, T., Vatrinet, F., Bate, I., Broster, I., Azkarate-Askasua, M., Wartel, F., Cucu, L., Cros, F., Farrall, G., Gogonel, A., Gianarro, A., Triquet, B., Hernández, C., Lo, C., Maxim, C., Morales, D., ... Talaboulma, W. (2016). Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. In Digital System Design (DSD), 2016 Euromicro Conference on (pp. 276-285). IEEE. https://doi.org/10.1109/DSD.2016.22

@inproceedings{e8531d10533346fb8c34691514515ac4,

title = "Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis",

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 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.",

author = "Cazorla, {Francisco J.} 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",

note = "{\textcopyright} IEEE, 2016. This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details; Digital System Design (DSD), 2016 Euromicro Conference on, DSD ; Conference date: 31-08-2016 Through 02-09-2016",

year = "2016",

doi = "10.1109/DSD.2016.22",

language = "English",

isbn = "9781509028184",

pages = "276--285",

booktitle = "Digital System Design (DSD), 2016 Euromicro Conference on",

publisher = "IEEE",

address = "United States",

}

Cazorla, FJ, Abella, J, Andersson, J, Vardanega, T, Vatrinet, F, Bate, I, Broster, I, Azkarate-Askasua, M, Wartel, F, Cucu, L, Cros, F, Farrall, G, Gogonel, A, Gianarro, A, Triquet, B, Hernández, C, Lo, C, Maxim, C, Morales, D, Quiñones, E, Mezzetti, E, Kosmidis, L, Agirre, I, Fernández, M, Slijepcevic, M, Conmy, P & Talaboulma, W 2016, Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. in Digital System Design (DSD), 2016 Euromicro Conference on. IEEE, pp. 276-285, Digital System Design (DSD), 2016 Euromicro Conference on, Limassol, Cyprus, 31/08/16. https://doi.org/10.1109/DSD.2016.22

TY - GEN

T1 - Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis

AU - Cazorla, Francisco J.

AU - Abella, Jaume

AU - Andersson, Jan

AU - Vardanega, Tullio

AU - Vatrinet, Francis

AU - Bate, Iain

AU - Broster, Ian

AU - Azkarate-Askasua, Mikel

AU - Wartel, Franck

AU - Cucu, Liliana

AU - Cros, Fabrice

AU - Farrall, Glenn

AU - Gogonel, Adriana

AU - Gianarro, Andrea

AU - Triquet, Benoit

AU - Hernández, Carles

AU - Lo, Code

AU - Maxim, Cristian

AU - Morales, David

AU - Quiñones, Eduardo

AU - Mezzetti, Enrico

AU - Kosmidis, Leonidas

AU - Agirre, Irune

AU - Fernández, Mikel

AU - Slijepcevic, Mladen

AU - Conmy, Philippa

AU - Talaboulma, Walid

N1 - © IEEE, 2016. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

U2 - 10.1109/DSD.2016.22

DO - 10.1109/DSD.2016.22

M3 - Conference contribution

SN - 9781509028184

SP - 276

EP - 285

BT - Digital System Design (DSD), 2016 Euromicro Conference on

PB - IEEE

T2 - Digital System Design (DSD), 2016 Euromicro Conference on

Y2 - 31 August 2016 through 2 September 2016

ER -

Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis

Abstract

Conference

Bibliographical note

Access to Document

Embargoed Document

Projects

PROXIMA - Probabilistic real-time control of mixed criticality multicore and manycore systems

Cite this