Automated generation of time-predictable executables on multi-core

Pagetti, Claire; Forget, Julien; Falk, Heiko; Oehlert, Dominic; Luppold, Arno

Document type :

Communication dans un congrès avec actes

Title :

Automated generation of time-predictable executables on multi-core

Author(s) :

Pagetti, Claire [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Forget, Julien [Auteur]

Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Falk, Heiko [Auteur]
Hamburg University of Technology [TUHH]
Oehlert, Dominic [Auteur]
Hamburg University of Technology [TUHH]
Luppold, Arno [Auteur]
Hamburg University of Technology [TUHH]

Conference title :

RTNS 2018

City :

POITIERS

Country :

France

Start date of the conference :

2018-10-10

Journal title :

Proceedings of the 26th International Conference on Real-Time Networks and Systems

Publication date :

2018-10-10

English keyword(s) :

SYNCHRONOUS LANGUAGES
COMPILATION
TIME-PREDICTABLE
WCET

HAL domain(s) :

Informatique [cs]/Langage de programmation [cs.PL]

English abstract : [en]

In this paper, we are interested in the implementation of control- command applications, such as the flight control system of an aircraft for instance, on multi-core hardware. Due to certification and safety issues, ...
Show more >In this paper, we are interested in the implementation of control- command applications, such as the flight control system of an aircraft for instance, on multi-core hardware. Due to certification and safety issues, time-predictability – in the sense that the timing behavior must be analysable and validable off-line – is a mandatory feature. We present a complete framework, from high-level system specification in synchronous languages, to implementation on a multi-core hardware platform, which enforces time-predictability at every step of the development process. The framework is based on automated code generation tools to speed-up the development process and to eliminate error-prone human-made translation steps.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL

Files

https://hal.archives-ouvertes.fr/hal-01888728/document
Open access
Access the document

https://hal.archives-ouvertes.fr/hal-01888728/document
Open access
Access the document

https://hal.archives-ouvertes.fr/hal-01888728/document
Open access
Access the document

document
Open access
Access the document

DTIS18226.1539159139.pdf
Open access
Access the document

Automated generation of time-predictable ... BibTeX CSV Excel RIS

Files

Automated generation of time-predictable ...

BibTeX

CSV

Excel

RIS