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

International audienceWe 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 wa