Automated generation of time-predictable ...
Type de document :
Communication dans un congrès avec actes
Titre :
Automated generation of time-predictable executables on multi-core
Auteur(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]
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]
Titre de la manifestation scientifique :
RTNS 2018
Ville :
POITIERS
Pays :
France
Date de début de la manifestation scientifique :
2018-10-10
Titre de la revue :
Proceedings of the 26th International Conference on Real-Time Networks and Systems
Date de publication :
2018-10-10
Mot(s)-clé(s) en anglais :
SYNCHRONOUS LANGUAGES
COMPILATION
TIME-PREDICTABLE
WCET
COMPILATION
TIME-PREDICTABLE
WCET
Discipline(s) HAL :
Informatique [cs]/Langage de programmation [cs.PL]
Résumé en anglais : [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, ...
Lire la suite >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.Lire moins >
Lire la suite >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.Lire moins >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Fichiers
- https://hal.archives-ouvertes.fr/hal-01888728/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-01888728/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-01888728/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- DTIS18226.1539159139.pdf
- Accès libre
- Accéder au document