Integrated Development Framework for Safety-Critical Embedded Systems.

Luca Santinelli 1 Frédéric Boniol 1 Eric Noulard 1 Claire Pagetti 1 W. Puffitsch 2
1 Toulouse - ONERA - The French Aerospace Lab
2 DTU - Technical University of Denmark [Lyngby]
Abstract : This paper presents an integrated framework for designing and implementing safety-critical embedded systems. The development begins with the speci cation of the system using the Prelude language. Then there is the compilation step, where the Prelude compiler translates the program into a set of communicating periodic tasks that preserve the semantics of the original program. The necessary schedulability analysis is performed with the SchedMCore analyzer that explores the timing requirements of the periodic tasks concluding about the program schedulability. Finally, the task set can be executed on the singleor multi-core architecture target using the SchedMCore execution environment. We outline the bene ts of an integrated development framework by applying it to the task mapping problem, the functional requirement and non-functional requirement co-scheduling problem, and the measurement-based probabilistic timing analysis problem.
Keywords : EMBEDDED SYSTEMS REAL-TIME SCHEDULING
Type de document :
Communication dans un congrès
19th International Symposium on Formal Methods (FM 2014), May 2014, SINGAPOUR, Indonesia
Liste complète des métadonnées

Littérature citée [46 références]  Voir  Masquer  Télécharger
https://hal-onera.archives-ouvertes.fr/hal-01070546
Contributeur : Véronique Soullier <>
Soumis le : mercredi 1 octobre 2014 - 15:57:38
Dernière modification le : mercredi 28 mars 2018 - 14:16:10
Document(s) archivé(s) le : vendredi 2 janvier 2015 - 11:16:46

Fichier

DTIM14047.1405608559.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01070546, version 1

Collections

ONERA

Citation

Luca Santinelli, Frédéric Boniol, Eric Noulard, Claire Pagetti, W. Puffitsch. Integrated Development Framework for Safety-Critical Embedded Systems.. 19th International Symposium on Formal Methods (FM 2014), May 2014, SINGAPOUR, Indonesia. 〈hal-01070546〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

153

Téléchargements de fichiers

151

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD