Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

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.
Fichier principal
Vignette du fichier
cordovilla-RTNS11.pdf (226.01 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00618587 , version 1 (02-09-2011)

Identifiers

  • HAL Id : inria-00618587 , version 1

Cite

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⟩
1374 View
367 Download

Share

Gmail Facebook X LinkedIn More