Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Timothy Bourke Connect in order to contact the contributor
Submitted on : Wednesday, February 21, 2018 - 11:20:54 AM
Last modification on : Friday, January 21, 2022 - 3:19:55 AM
Long-term archiving on: : Tuesday, May 22, 2018 - 1:20:55 PM


Files produced by the author(s)


  • HAL Id : hal-01714054, version 1



Jean Souyris, Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Timothy Bourke, et al.. Automatic Parallelization from Lustre Models in Avionics. ERTS2 2018 - 9th European Congress Embedded Real-Time Software and Systems, 3AF - Association Aéronautique Astronautique de France; SEE - Société de l'électricité, de l'électronique et des technologies de l'information et de la communication; SIA - Société de Ingénieurs de l'Automobile, Jan 2018, Toulouse, France. pp.1-4. ⟨hal-01714054⟩



Les métriques sont temporairement indisponibles