Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset

Abstract : In this paper we present an end-to-end framework for the design and the implementation of embedded systems on a symmetric multicore. The developer first specifies the system using the \prelude language, a formal real-time architecture description language. The Prelude compiler then translates the program into a set of communicating periodic tasks that preserves the semantics of the original program. The schedulability analysis is performed by the SchedMCore analyzer. If the program is schedulable, it can finally be executed on the target multicore architecture using the \schedmcore execution environment.
Type de document :
Communication dans un congrès
19th International Conference on Real-Time and Network Systems, Sep 2011, Nantes, France. 2011
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00618587
Contributeur : Mister Dart <>
Soumis le : vendredi 2 septembre 2011 - 11:25:43
Dernière modification le : jeudi 15 novembre 2018 - 08:38:02
Document(s) archivé(s) le : mardi 13 novembre 2012 - 09:45:42

Fichier

cordovilla-RTNS11.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00618587, version 1

Citation

Mikel Cordovilla, Frédéric Boniol, Julien Forget, Eric Noulard, Claire Pagetti. Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset. 19th International Conference on Real-Time and Network Systems, Sep 2011, Nantes, France. 2011. 〈inria-00618587〉

Partager

Métriques

Consultations de la notice

1411

Téléchargements de fichiers

341