HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle

Abstract : The timing validation of real-time systems is mandatory for critical applications such as aeronautics,aerospace or automotive systems. The aim is to guarantee tasks response time and messages transmission time on networks. As for the criticality of these complex systems, it is necessary to implement a design process that reduces the development time therefore the time-to-market while reducing design errors risks.This context makes model-driven engineering well adapted for the development of critical real-time systems.The contributions of this thesis rely on the following observations. First of all, despite the existence of various analysis models, they often cannot represent perfectly some industrial cases. To analyze these cases,an adaptation is required to make them analyzable with existing tests. However, the adaptation is not quite easy especially in case of a semantic gap between systems description languages and analysis models. Also,several difficulties have been noticed to design and analyze an entire distributed complex system in one-shot unless knowing well the full system.In this PhD thesis, tools and methods are proposed to ease and improve the modeling and analysis processes of real-time systems. The first thesis contribution consists of implementing a rule-based endogenous transformation repository dedicated to adapt conservatively industrial models to the analysis models. The second contribution is focused on real-time networks and is dedicated to reduce the semantic gap between description languages and analysis models by proposing artefacts allowing to design networks on an incremental way. Moreover, this thesis proposes to reduce modeling artifacts using extraction and meta-models pruning inorder to retrieve useful elements referring to chosen analysis viewpoints.All these contributions are implemented in modeling frameworks integrating real-time analyses processes such as Time4Sys and MoSaRT, and used in a collaborative project by industrial partners.
Document type :
Complete list of metadata

Cited literature [257 references]  Display  Hide  Download

Contributor : Abes Star :  Contact
Submitted on : Tuesday, March 26, 2019 - 2:53:09 PM
Last modification on : Wednesday, November 3, 2021 - 5:55:17 AM
Long-term archiving on: : Thursday, June 27, 2019 - 4:41:19 PM


Version validated by the jury (STAR)


  • HAL Id : tel-02080119, version 1



Anh Toan Bui Long. Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle. Autre [cs.OH]. ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2018. Français. ⟨NNT : 2018ESMA0020⟩. ⟨tel-02080119⟩



Record views


Files downloads