Modèles à la Conception et à l'Exécution pour Gérer la Variability Dynamique

Brice Morin 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Society's increasing dependence on software-intensive systems is driving the need for dependable, robust, continuously available adaptive systems. Such systems often propose many variability dimensions with many possible variants, leading to an explosion of the number of configurations that is impossible to fully specify and validate at design-time because of time and resource constraints. This thesis presents a Model-Driven and Aspect-Oriented approach to tame the complexity of Dynamically Adaptive Systems (DAS). At design-time, we capture the different facets of a DAS (variability, environment/context, reasoning and architecture) using dedicated metamodels. Each feature of the variability model describing a DAS is refined into an aspect model. We leverage these design models at runtime to drive the dynamic adaptation process. Both the running system and its execution context are abstracted as models. Depending on the current context (model) a reasoner interprets the reasoning model to determine a well fitted selection of features. We then use Aspect-Oriented Modeling techniques to automatically compose the aspect models (associated to the selected features) together in order to automatically derive the corresponding architecture. This way, there is no need to specify the whole set of possible configurations at design-time: each configuration is automatically built when needed. We finally rely on model comparison to fully automate the reconfiguration process in order to actually adapt the running system, with no need to write low-level reconfiguration scripts. An important point is that models embedded at runtime are really mirrors of what really happens in the running system. It is however possible to work on copies of these models, independently of the running system and resynchronize these copies with the reality to actually adapt the running system. In other words, our approach makes it possible to perform offline activities such as continuous design or prediction, while the system is running, but independently from it.
keyword : MDE IDM TRISKELL
Document type :
Theses
Complete list of metadatas

Cited literature [161 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00538548
Contributor : Loïc Lesage <>
Submitted on : Monday, November 22, 2010 - 5:17:28 PM
Last modification on : Friday, November 16, 2018 - 1:30:06 AM
Long-term archiving on : Friday, October 26, 2012 - 4:22:02 PM

Identifiers

  • HAL Id : tel-00538548, version 1

Citation

Brice Morin. Modèles à la Conception et à l'Exécution pour Gérer la Variability Dynamique. Software Engineering [cs.SE]. Université Rennes 1, 2010. English. ⟨tel-00538548⟩

Share

Metrics

Record views

506

Files downloads

621