Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l’ordonnancement dans la conception des systèmes temps réel

Abstract : Real-time embedded systems need to be analyzed at an early stage in order to detect temporal vulnerabilities. Indeed,software development costs are sharply impacted by wrong design choices made in the early stages of development, inparticular during the design phase, but often detected after the implementation. The schedulability analysis is one of themain analyses required to ensure the timing correctness of a real-time system. Indeed, the real-time scheduling theoryhas been devoted to propose different models providing several levels of expressiveness, and different analytical methodswith different levels of accuracy. The utilization of the real-time scheduling theory in practical cases could be profitable.Unfortunately, it is not sufficiently applied and research results have been exploited in an industrial context only to amodest extent to date. Actually, a difficulty faced by the real-time designers is to find the appropriate analysis testshelping to validate properly the system and also to reduce the over-dimensioning. This thesis is interested in the chasmexisting between real-time design community and real-time analysis community. The purpose of our work is to fill thegap between the modeling of real-time systems and the scheduling analysis. Then, we propose a decision aiding solutionbased on model-driven engineering. Our solution is dedicated (i) to increase the usage of the real-time scheduling theory,(ii) to facilitate the scheduling analysis tests choice and (iii) to reduce the pessimism during the design phase of real-timesystems.Our proposal is embodied as a framework unifying the designers and analysts efforts. The framework called MoSaRToffers a design language very close to the taxonomy of real-time scheduling theory. Moreover, MoSaRT provides ananalysis repository concept to enhance the applicability of the scheduling theory and also to improve the way designerscheck their designs.
Document type :
Theses
Complete list of metadatas

Cited literature [120 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00954468
Contributor : Abes Star <>
Submitted on : Monday, March 3, 2014 - 8:25:16 AM
Last modification on : Wednesday, September 5, 2018 - 1:30:09 PM
Long-term archiving on : Saturday, May 31, 2014 - 11:00:34 AM

File

YassineOUHAMMOU_ThesisReport.p...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00954468, version 1

Collections

Citation

Yassine Ouhammou. Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l’ordonnancement dans la conception des systèmes temps réel. Autre [cs.OH]. ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2013. Français. ⟨NNT : 2013ESMA0029⟩. ⟨tel-00954468⟩

Share

Metrics

Record views

430

Files downloads

525