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 metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-01714054
Contributor : Timothy Bourke <>
Submitted on : Wednesday, February 21, 2018 - 11:20:54 AM
Last modification on : Thursday, February 7, 2019 - 3:49:42 PM
Long-term archiving on : Tuesday, May 22, 2018 - 1:20:55 PM

File

ERTS_2018_paper_65.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01714054, version 1

Citation

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⟩

Share

Metrics

Record views

384

Files downloads

224