Thèse : Variation dynamique des systèmes complexes adaptables dirigée par les modèles.

Contexte et problématique

Un système adaptable est un système qui est capable de s'adapter automatiquement en

fonction de son environnement. On se place dans le cadre de systèmes complexes tels que les

systèmes de gestion de crises qui intègrent plusieurs sous-systèmes autonomes et les systèmes

de gestion d'infrastructure de télécommunication qui doivent automatiquement configurer et

modifier des milliers de noeuds d'équipement pour les clients. Les systèmes complexes se

caractérisent par leur grande taille, leur dynamisme et l'hétérogénéité des sous-systèmes

qu'ils incluent. Ils sont typiquement déployés sur des plates-formes distribuées hétérogènes

allant d'un réseau d'ordinateurs à un terminal portable. Ils intègrent des composants ayant des

configurations variables et des dépendances pouvant être résolues lors de l'adaptation.

La gestion et l'analyse de la variabilité de tels systèmes est complexe. Elle nécessite

l'utilisation d'une approche dirigée par les modèles qui facilite leur abstraction, leur

compréhension et l'automatisation de leur vérification et leur validation.

Sujet

La modélisation de systèmes adaptables complexes nécessite la définition de nouveaux

paradigmes qui traitent l'aspect dynamique et la nature complexe de ces systèmes. L'objectif

de la thèse consiste à proposer un cadriciel pour la modélisation des systèmes variables et

reconfigurables. Ce cadriciel définit un langage pour la modélisation de la variabilité, gère les

règles d'adaptation et raisonne sur la validité d'une solution d'adaptation potentielle. L'idée

clé se base sur la gestion de l'adaptation au cours de l'exécution à travers les modèles de

variabilité. La variabilité dirigée par le modèle se base sur une composition de modèles qui

combine les techniques de modélisation par aspects et l'ingénierie dirigée par les modèles.

Contact et encadrement :

Dhouha Ayed, Dhouha.ayed@thalesgroup.com, Tél : 01 69 41 59 71

Abdelhak-Djamel Seriai, seriai@ensm-douai.fr, Tél: 03 27 71 23 81