Automated generation of time-predictable executables on multi-core

Claire Pagetti (1) , Julien Forget (2) , Heiko Falk (3) , Dominic Oehlert (3) , Arno Luppold (3)

1 ONERA - The French Aerospace Lab [Toulouse]
2 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
3 TUHH - Hamburg University of Technology

In this paper, we are interested in the implementation of control- command applications, such as the flight control system of an aircraft for instance, on multi-core hardware. Due to certification and safety issues, time-predictability – in the sense that the timing behavior must be analysable and validable off-line – is a mandatory feature. We present a complete framework, from high-level system specification in synchronous languages, to implementation on a multi-core hardware platform, which enforces time-predictability at every step of the development process. The framework is based on automated code generation tools to speed-up the development process and to eliminate error-prone human-made translation steps.

Mots clés: SYNCHRONOUS LANGUAGES; COMPILATION; TIME-PREDICTABLE; WCET

Domaines: Langage de programmation [cs.PL]

Claire Pagetti, Julien Forget, Heiko Falk, Dominic Oehlert, Arno Luppold. Automated generation of time-predictable executables on multi-core. RTNS 2018, Oct 2018, POITIERS, France. ⟨hal-01888728⟩