Temporal isolation of hard real-time applications on many-core processors

International audienceMany-core processors offer massively parallel computation power representing a good opportunity for the design of highly integrated avionics systems. Such designs must face several challenges among which 1) temporal isolation must be ensured between applications and 2) bounds of WCET must be computed for real-time safety critical applications. In order to partially address those issues, we propose an appropriate execution model, that restricts the applications behaviours, which has been implemented on the Kalray MPPA-256. We tested the correctness of the approach through a series of benchmarks and the implementation of a case study.Les processeurs pluri-coeurs offrent une puissance de calcul massivement parallèle représentant une opportunité pour la conception de systèmes avioniques hautement intégrés. Ces systèmes impliquent plusieurs problèmes parmi lesquels: 1) une isolation temporelle doit être assurée entre les applications et 2) des bornes sur les WCETs des programmes temps-réel critiques doivent être calculées. Afin de résoudre partiellement ces problèmes, nous proposons un modèle d'exécution restreignant le comportement des applications exécutées sur le MPPA-256 de Kalray. De plus, nous montrons que l'approche est correcte au travers des plusieurs benchmarks et l'implémentation d'un cas d'étude