Automatic Parallelization from Lustre Models in Avionics - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Automatic Parallelization from Lustre Models in Avionics

(1) , (2) , (2) , (3, 4, 5) , (5, 4, 3) , (3, 4, 5) , (4, 3)
1
2
3
4
5

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.
Fichier principal
Vignette du fichier
ERTS_2018_paper_65.pdf (621.34 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01714054 , version 1 (21-02-2018)

Identifiers

  • HAL Id : hal-01714054 , version 1

Cite

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⟩
282 View
251 Download

Share

Gmail Facebook Twitter LinkedIn More