Automatic Parallelization from Lustre Models in Avionics

Abstract : This poster presents ongoing research on automatic generation and execution of embedded parallel C code. We target safety-critical avionics programs specified in the synchronous language Lustre. The work described is part of the ITEA 3 project ASSUME (September 2015 - August 2018). ASSUME focuses mainly on embedded software engineering for multi-/many-core platforms. Both synthesis, e.g., automatic code generation, and verification, e.g., static analysis, of programs are addressed in the project. ASSUME is driven by the use cases of its industrial partners. One of these use cases consists in the parallelization of an avionics application comprising about 5500 Lustre nodes. After an overview of the ASSUME project, both parallel code generation and execution on a many-core platform will be presented and demonstrated.
Type de document :
Communication dans un congrès
ERTS2 2018 - 9th European Congress Embedded Real-Time Software and Systems, Jan 2018, Toulouse, France. pp.1-4, 2018, Proceedings of the 9th European Congress on Embedded Real-Time Software and Systems (ERTS2). 〈https://www.erts2018.org〉
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01714054
Contributeur : Timothy Bourke <>
Soumis le : mercredi 21 février 2018 - 11:20:54
Dernière modification le : mercredi 12 septembre 2018 - 11:46:40
Document(s) archivé(s) le : mardi 22 mai 2018 - 13:20:55

Fichier

ERTS_2018_paper_65.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01714054, version 1

Collections

Citation

Jean Souyris, Keryan Didier, Dumitru Potop, Guillaume Iooss, Timothy Bourke, et al.. Automatic Parallelization from Lustre Models in Avionics. ERTS2 2018 - 9th European Congress Embedded Real-Time Software and Systems, Jan 2018, Toulouse, France. pp.1-4, 2018, Proceedings of the 9th European Congress on Embedded Real-Time Software and Systems (ERTS2). 〈https://www.erts2018.org〉. 〈hal-01714054〉

Partager

Métriques

Consultations de la notice

246

Téléchargements de fichiers

81