Skip to Main content Skip to Navigation
Theses

Vers une prise en compte fine de la plate-forme cible dans la construction des systèmes temps réel embarqués critiques par ingénierie des modèles

Abstract : A common usage in model-driven approach (MDA) consist in modeling a problem, then generate the associated source code. This developping process had been successfully applied to real-time systems and reduces signi cantly the number of failure. The designed model generaly follows a functional cut of the problem which is usualy not optimal in terms of resources consumption. Although real-time systems can bear this limitation, it is not the case for embedded real-time (ERT) systems. This thesis advocates for associating the bene ts of MDA with an optimization process of the system model, in order to applied it to ERT systems. To do so, we use togeither three solutions : First, AADL, an language for architectural modeling allowing to specify non-fonctional aspects of the application. Then, REAL, a language for expressing constraints on the AADL models. Finally, an optimization process which allows to turn a naïve , fonctionnaly-cut model into a model actually meeting the resources constraints, using greedy heuristics. We show how this approach allows to automate all the developping process, limiting the designer role to translating the constraints expressed in the initial specification and modeling the corresponding naïve model.     
Complete list of metadatas

Cited literature [75 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/pastel-00006222
Contributor : Ecole Télécom Paristech <>
Submitted on : Sunday, July 4, 2010 - 8:00:00 AM
Last modification on : Friday, July 31, 2020 - 10:44:07 AM
Long-term archiving on: : Thursday, March 30, 2017 - 5:55:37 AM

Identifiers

  • HAL Id : pastel-00006222, version 1

Collections

Citation

Olivier Gilles. Vers une prise en compte fine de la plate-forme cible dans la construction des systèmes temps réel embarqués critiques par ingénierie des modèles. Réseaux et télécommunications [cs.NI]. Télécom ParisTech, 2010. Français. ⟨pastel-00006222⟩

Share

Metrics

Record views

337

Files downloads

524