Developing critical embedded systems on ...
Document type :
Communication dans un congrès avec actes
Title :
Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset
Author(s) :
Cordovilla, Mikel [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Boniol, Frédéric [Auteur]
Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications [ENSEEIHT]
ONERA - The French Aerospace Lab [Toulouse]
Forget, Julien [Auteur]
Contributions of the Data parallelism to real time [DART]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Noulard, Eric [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Pagetti, Claire [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
ONERA - The French Aerospace Lab [Toulouse]
Boniol, Frédéric [Auteur]
Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications [ENSEEIHT]
ONERA - The French Aerospace Lab [Toulouse]
Forget, Julien [Auteur]

Contributions of the Data parallelism to real time [DART]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Noulard, Eric [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Pagetti, Claire [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Conference title :
19th International Conference on Real-Time and Network Systems
Conference organizers(s) :
Irccyn
City :
Nantes
Country :
France
Start date of the conference :
2011-09-29
Publication date :
2011-09-29
English keyword(s) :
multicore
embedded systems
scheduling
developing
framework
embedded systems
scheduling
developing
framework
HAL domain(s) :
Informatique [cs]/Systèmes embarqués
English abstract : [en]
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 ...
Show more >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.Show less >
Show more >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.Show less >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Files
- https://hal.inria.fr/inria-00618587/document
- Open access
- Access the document
- https://hal.inria.fr/inria-00618587/document
- Open access
- Access the document
- document
- Open access
- Access the document
- cordovilla-RTNS11.pdf
- Open access
- Access the document