Environnement de développement d'applications multipériodiques sur plateforme multicoeur. La boîte à outil SchedMCore

Mikel Cordovilla 1
1 LAPS
ONERA - The French Aerospace Lab [Toulouse]
Abstract : A real-time control-command embedded system is subject to strong constraints such as determinism, logical and temporal correctness. We assume that the specifications are expressed using the formal software architecture description language Prelude, dedicated to real-time multiperiodic applications. The goal of this thesis is, given a Prelude program or dependent real-time taskset, to generate a multithreaded executable code over a multicore architecture while respecting the original semantic. To do so we have developed a toolbox, SchedMcore, that allows: 1- the formal verification of schedulability. The verification is based on the exhaustive exploration of the behaviour with a discret time frame. It is possible to analyse on-line policies (FP, gEDF, gLLF et LLREF), as well as to compute a fixed valid priority assignment and a valid off-line sequence. 2- the multithreaded execution over a multicore target. The framework encodes the same policies as those studied in the first part (the four on-line policies and the generated sequences). The framework provides three usage modes, from temporal simulation to time accurate execution. The executive is compatible with Posix and easily portable on several OS.
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00720709
Contributor : Eric Noulard <>
Submitted on : Wednesday, July 25, 2012 - 2:33:06 PM
Last modification on : Tuesday, March 26, 2019 - 2:28:04 PM
Long-term archiving on : Friday, December 16, 2016 - 3:16:31 AM

Identifiers

  • HAL Id : tel-00720709, version 1

Collections

Citation

Mikel Cordovilla. Environnement de développement d'applications multipériodiques sur plateforme multicoeur. La boîte à outil SchedMCore. Calcul parallèle, distribué et partagé [cs.DC]. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨tel-00720709⟩

Share

Metrics

Record views

465

Files downloads

674