Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Architecture and Code Optimization Année : 2019

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

Résumé

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

Dates et versions

hal-02422789 , version 1 (23-12-2019)

Identifiants

Citer

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, 2019, 16 (3), pp.1-27. ⟨10.1145/3328799⟩. ⟨hal-02422789⟩
110 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More