1. PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis
- Author
-
Fabrice Cros, Carles Hernandez, Mikel Fernandez, Franck Wartel, Leonidas Kosmidis, Ian Broster, Cristian Maxim, Francisco J. Cazorla, Irune Aguirre, Benoit Triquet, Jan Andersson, Tullio Vardanega, Mladen Slijepcevic, Francis Vatrinet, Adriana Gogonel, Andrea Gianarro, Glenn Ashley Farrall, Liliana Cucu, David Corrales Morales, Mikel Azkarate-Askasua, Eduardo Quinones, Jaume Abella, Iain Bate, Code Lo, Philippa Conmy, Enrico Mezzetti, Walid Talaboulma, Barcelona Supercomputing Center, Barcelona Supercomputing Center - Centro Nacional de Supercomputacion (BSC - CNS), Spanish National Research Council (CSIC), Universitat Politècnica de Catalunya [Barcelona] (UPC), Cobham Gaisler [Göteborg], Dipartimento di Matematica Pura e Applicata [Padova], Universita degli Studi di Padova, SYSGO [Le Pecq], Department of Computer Science [York] (CS-YORK), University of York [York, UK], Rapita Systems Ltd [York], IK4 - IKERLAN [Mondragón], Airbus [France], Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Airbus Defence and Space [Saint-Médard-en-Jalles], Airbus Defence and Space [Toulouse], Infineon Technologies AG [München], Airbus Operation S.A.S., European Project: 611085,EC:FP7:ICT,FP7-ICT-2013-10,PROXIMA(2013), Università degli Studi di Padova = University of Padua (Unipd), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)
- Subjects
certification ,Probabilistic exchange algorithm ,Programari ,Computer science ,measurement-based timing analysis ,probability ,Jitter ,02 engineering and technology ,Certification ,Randomization ,01 natural sciences ,time-and-effort-intensive step ,Probabilistic Analysis ,probabilistic real-time control of mixed-criticality multicore systems ,Software ,Hardware ,Supercomputadors ,0103 physical sciences ,0202 electrical engineering, electronic engineering, information engineering ,timing behaviour ,Probabilistic analysis of algorithms ,Software verification and validation ,Timing ,Supercomputers--Programming ,Software measurement ,PROXIMA ,randomisation ,Probabilistic logic ,010302 applied physics ,business.industry ,Measurement Based Timing Analysis ,Principal (computer security) ,Software architecture ,Enginyeria electrònica [Àrees temàtiques de la UPC] ,Static timing analysis ,probabilistic analysis ,system qualification ,020202 computer hardware & architecture ,multiprocessing systems ,Multicore processing ,real-time systems ,Embedded system ,[INFO.INFO-ES]Computer Science [cs]/Embedded Systems ,business ,Software engineering - 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. The research leading to these results has received funding from the European Community’s Seventh Framework Programme [FP7/2007-2013] under the PROXIMA Project (grant agreement 611085). Carles Hern´andez is jointly funded by the Spanish Ministry of Economy and Competitiveness (MINECO) and FEDER funds through grant TIN2014-60404-JIN. Jaume Abella has been partially supported by the MINECO under Ramon y Cajal postdoctoral fellowship number RYC-2013-14717.
- Published
- 2016
- Full Text
- View/download PDF