Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolsetReport as inadecuate




Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset - Download this document for free, or read online. Document in PDF available to download.

1 Toulouse - ONERA - The French Aerospace Lab 2 ENSEEIHT - Ecole Nationale Supérieure d-Electrotechnique, d-Electronique, d-Informatique, d-Hydraulique et de Télécommunications 3 LIFL - Laboratoire d-Informatique Fondamentale de Lille 4 LIFL - DART - LIFL - DART 5 DART - Contributions of the Data parallelism to real time LIFL - Laboratoire d-Informatique Fondamentale de Lille, Inria Lille - Nord Europe

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.

Keywords : multicore embedded systems scheduling developing framework





Author: Mikel Cordovilla - Frédéric Boniol - Julien Forget - Eric Noulard - Claire Pagetti -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents