Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware

Keryan Didier 1 Dumitru Potop-Butucaru 2 Guillaume Iooss 3 Albert Cohen 4 Jean Souyris 5 Philippe Baufreton 6 Amaury Graillat 7
2 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
4 Parkas - Parallélisme de Kahn Synchrone
Inria de Paris, DI-ENS - Département d'informatique de l'École normale supérieure, CNRS - Centre National de la Recherche Scientifique
Abstract : We present the first end-to-end modeling and compilation flow to parallelize hard real-time control applica-tions while fully guaranteeing the respect of real-time requirements on off-the-shelf hardware. It scales tothousands of dataflow nodes and has been validated on two production avionics applications. Unlike classicaloptimizing compilation, it takes as input non-functional requirements (real time, resource limits). To enforcethese requirements, the compiler follows a static resource allocation strategy, from coarse-grain tasks com-municating over an interconnection network all the way to individual variables and memory accesses. Itcontrols timing interferences resulting from mapping decisions in a precise, safe, and scalable way
Complete list of metadatas

https://hal.inria.fr/hal-02422789
Contributor : Dumitru Potop-Butucaru <>
Submitted on : Monday, December 23, 2019 - 10:46:07 AM
Last modification on : Saturday, January 11, 2020 - 1:24:30 AM

Links full text

Identifiers

Collections

Citation

Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, et al.. Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware. ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2019, 16 (3), pp.1-27. ⟨10.1145/3328799⟩. ⟨hal-02422789⟩

Share

Metrics

Record views

31