| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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
11
AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
Francisco J. Cazorla 1, 2
Mail :
Author
Jaume Abella 3
Mail :
Author
Jan Andersson 4
Author
Tullio Vardanega 5
Mail :
Author
Franck Wartel 10
Author
Liliana Cucu-Grosjean 11
Mail :
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Fabrice Cros 12
Author
Glenn Farrall 13
Author
Adriana Gogonel 11
Mail :
Author IdHAL : adriana-gogonel
Andrea Gianarro 4
Author
Benoit Triquet 14
Author
Hernandez Carles 1
Author
1
BSC - CNS - Barcelona Supercomputing Center - Centro Nacional de Supercomputacion (Torre Girona c/ Jordi Girona, 31, 08034 Barcelona - Spain)
2
CSIC - Spanish National Research Council (Consejo Superior de Investigaciones Cientificas, Madrid - Spain)
3
UPC - Polytechnic University of Catalonia (Campus Nord, Calle Jordi Girona, 1-3, 08034 Barcelona, - Spain)
4
Cobham Gaisler [Göteborg] (Kungsgatan 12, 411 19 Göteborg - Sweden)
5
Dipartimento di Matematica Pura e Applicata [Padova] (Via Trieste, 63 35121 Padova - Italy)
- Universita degli Studi di Padova (Via 8 Febbraio 2, 35122 Padova - Italy)
6
SYSGO [Le Pecq] (Route de Sartrouville 54, 78230 Le Pecq - France)
7
CS-YORK - Department of Computer Science [York] (Deramore Lane York YO10 5GH - United Kingdom)
- University of York [York, UK] (Heslington, York, YO10 5DD - United Kingdom)
8
Rapita Systems Ltd [York] (Atlas House,
Osbaldwick Link Road,
York YO10 3JB - United Kingdom)
9
IK4 - IKERLAN [Mondragón] (IKERLAN Apdo. 146, Pº. J. Mª. Arizmendiarrieta, 2 20500 Arrasate-Mondragón Gipuzkoa - Spain)
10
Airbus [France] (France)
11
AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints (France)
- CRISAM - Inria Sophia Antipolis - Méditerranée (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S
CS 40121
06903 Sophia Antipolis Cedex - France)
- I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis - France)
- UNS - Université Nice Sophia Antipolis (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France)
- COMUE UCA - COMUE Université Côte d'Azur (2015 - 2019) (Parc Valrose, 28 avenue Valrose 06108 Nice Cedex 2 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7271 (France)
- UNS - Université Nice Sophia Antipolis (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France)
- I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis - France)
- Inria de Paris (2 rue Simone Iff -
CS 42112 -
75589 Paris Cedex 12 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
12
Airbus Defence and Space [Saint-Médard-en-Jalles] (Rue du Général Niox, 33165 Saint-Médard-en-Jalles - France)
- Airbus Defence and Space [Toulouse] (Airbus Defence and Space SAS 31 rue des Cosmonautes Z.I. du Palays 31402 Toulouse Cedex 4 - France)
13
Infineon Technologies [Bristol] (Great Western Court, Hunts Ground Rd, Stoke Gifford, Bristol BS34 8HP - United Kingdom)
- INFINEON TECHNOLOGIES FRANCE (France)
14
Airbus Operation S.A.S. (Site Industriel316 route de Bayonne31060TOULOUSE Cedex 9Midi-Pyrénées - France)
- Airbus [France] (France)
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.
Document type :
Conference papers
Domain :
Complete list of metadatas
https://hal.inria.fr/hal-01419735
Contributor : Liliana Cucu-Grosjean <>
Submitted on : Monday, December 19, 2016 - 7:11:54 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:57 PM
Contributor : Liliana Cucu-Grosjean <>
Submitted on : Monday, December 19, 2016 - 7:11:54 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:57 PM
Links full text
Identifiers
- HAL Id : hal-01419735, version 1
- DOI : 10.1109/DSD.2016.22
Collections
CNRS | 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. ⟨10.1109/DSD.2016.22⟩. ⟨hal-01419735⟩
Metrics
Record views