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 :
Theses
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-02080119
Contributor : Abes Star <>
Submitted on : Tuesday, March 26, 2019 - 2:53:09 PM
Last modification on : Wednesday, March 27, 2019 - 1:02:06 AM

File

2018ESMA0020_bui_long.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02080119, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

60

Files downloads

26