Temporal isolation of hard real-time applications on many-core processors - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

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

Résumé

Many-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.
Fichier principal
Vignette du fichier
perret_16888.pdf (358.24 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01585055 , version 1 (11-09-2017)

Identifiants

Citer

Quentin Perret, Pascal Maurere, Eric Noulard, Claire Pagetti, Pascal Sainrat, et al.. Temporal isolation of hard real-time applications on many-core processors. RTAS 2016 - IEEE Real-Time Embedded Technology & Applications Symposium, Apr 2016, Vienne, Austria. pp. 1-11, ⟨10.1109/RTAS.2016.7461363⟩. ⟨hal-01585055⟩
547 Consultations
1606 Téléchargements

Altmetric

Partager

More