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 Access content directly
Journal Articles ACM Transactions on Architecture and Code Optimization Year : 2019

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

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

Dates and versions

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

Identifiers

Cite

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⟩
104 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More