Une approche intégrée pour la validation et la génération de systèmes critiques par raffinement incrémental de modèles architecturaux

Abstract : The increasing complexity of distributed realtime and embedded (DRE) systems and their implication in various domains imply new design and development methods. In safety- criticial domains such as space, aeronautical, transport or medicine, their failure could result in the failure of the mission, or in dramatic damages such as human losses. This particular class of systems comes with strong requirements to satisfy safety, reliability and security properties. The Model-driven Engineering (MDE) introduces the concept of «model» - an abstract description of the system and a set of tools (editor, transformation engine, code generator) to simplify and automatize the design, the validation and the implementation of the system. Thus, various abstractions are realized using different domain-specific modeling languages in order to assess one particular aspect of the system and to re-use model-based analysis tools and generative technologies. These various representations may share some commonalities but the consistency between them is hard to validate (for example : Is the analyzed system the same as the generated one ?).This PhD thesis leverages MDE concepts and mechanisms, to enhance the reliability of the model-based development process of DRE systems. Our approach is based on the definition of the architectural and behavioral modeling language AADLHI Ravenscar, a restriction of AADL (Architecture Analysis & Design Language) and its behavioral annex. This subset of AADL constructs, comes up with a semantic close to the one of an imperative programming language, to drive both the analysis and the code generation of the application components and its relying execution platform (middleware) components...
Complete list of metadatas

Cited literature [78 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/tel-01136580
Contributor : Abes Star <>
Submitted on : Friday, March 27, 2015 - 3:32:07 PM
Last modification on : Wednesday, February 20, 2019 - 2:38:29 PM
Long-term archiving on : Thursday, July 2, 2015 - 8:40:35 AM

File

TheseLasnierV2.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01136580, version 1

Collections

Citation

Gilles Lasnier. Une approche intégrée pour la validation et la génération de systèmes critiques par raffinement incrémental de modèles architecturaux. Autre [cs.OH]. Télécom ParisTech, 2012. Français. ⟨NNT : 2012ENST0036⟩. ⟨tel-01136580⟩

Share

Metrics

Record views

245

Files downloads

568