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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/inria-00618587
Contributor : Mister Dart <>
Submitted on : Friday, September 2, 2011 - 11:25:43 AM
Last modification on : Friday, June 14, 2019 - 6:31:00 PM
Long-term archiving on : Tuesday, November 13, 2012 - 9:45:42 AM

File

cordovilla-RTNS11.pdf
Files produced by the author(s)

Identifiers

  • 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, Irccyn, Sep 2011, Nantes, France. ⟨inria-00618587⟩

Share

Metrics

Record views

1562

Files downloads

381