Search

Your search keyword '"Francis Vatrinet"' showing total 4 results
Start Over Author "Francis Vatrinet"
4 results on '"Francis Vatrinet"'

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

Author

Francisco J. Cazorla, Jaume Abella 0001, 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 0001, Code Lo, Cristian Maxim, David Morales, Eduardo Quiñones, Enrico Mezzetti, Leonidas Kosmidis, Irune Agirre, Mikel Fernández, Mladen Slijepcevic, Philippa Conmy, and Walid Talaboulma

Published
2016
Full Text
View/download PDF

3. Industrial experiences with resource management under software randomization in ARINC653 avionics environments

Author

Francisco J. Cazorla, Francis Vatrinet, Victor Jegu, Cristian Maxim, Leonidas Kosmidis, and Barcelona Supercomputing Center

Subjects
Computer systems organization, Programari, Computer science, 02 engineering and technology, Real-time systems software, 01 natural sciences, Real-time system specification, Task (project management), Software, Informàtica [Àrees temàtiques de la UPC], Avionics, 0103 physical sciences, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, Resource management, Computer software, Real-time operating systems, Resilience (network), Real-time systems, Real-time operating system, 010302 applied physics, business.industry, Embedded and cyber-physical systems, Applied computing, Embedded computer systems, 020202 computer hardware & architecture, Embedded software, Software bug, Allocation / deallocation strategies, Software engineering, business
Abstract

Injecting randomization in different layers of the computing platform has been shown beneficial for security, resilience to software bugs and timing analysis. In this paper, with focus on the latter, we show our experience regarding memory and timing resource management when software randomization techniques are applied to one of the most stringent industrial environments, ARINC653-based avionics. We describe the challenges in this task, we propose a set of solutions and present the results obtained for two commercial avionics applications, executed on COTS hardware and RTOS. The work leading to these results has been funded by the European Community’s Seventh Framework Programme (FP7/2007-2013) un- der the PROXIMA Project (grant agreement 611085). Moreover, it has been partially supported by the Spanish Ministry of Science and Innovation under grant TIN2015-65316-P and the HiPEAC Network of Excellence.

Published
2018
Full Text
View/download PDF

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

Catalog

Books, media, physical & digital resources
See catalog results