Thèse soutenue

Guider et contrôler les reconfigurations de systèmes à composants : Reconfigurations dynamiques : modélisation formelle et validation automatique
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Jean-Francois Weber
Direction : Olga Kouchnarenko
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 05/10/2017
Etablissement(s) : Bourgogne Franche-Comté
Ecole(s) doctorale(s) : École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; 1991-....)
Partenaire(s) de recherche : Laboratoire : FEMTO-ST : Franche-Comté Electronique Mécanique Thermique et Optique - Sciences et Technologies (Besançon)
Jury : Président / Présidente : Gwen Salaün
Examinateurs / Examinatrices : Olga Kouchnarenko, Gwen Salaün, Régine Laleau, Philippe Merle, Frédéric Dadeau
Rapporteurs / Rapporteuses : Régine Laleau, Philippe Merle

Mots clés

FR  |  
EN

Résumé

FR  |  
EN

Notre objectif principal est de permettre l’utilisation de propriétés temporelles dans une politique d’adaptation en tenant compte des spécificités de la vérification à l’exécution.Pour y répondre, nous définissons un modèle de système à composants supportant les reconfigurations dynamiques. Nous introduisons les reconfigurations gardées qui nous permettent d’utiliser des opérations primitives en tant que “briques” pour construire des reconfigurations plus élaborées impliquant des constructions, non seulement, séquentielles, mais aussi alternatives ou répétitives, tout en garantissant la consistance des configurations du système.En outre, nous étendons (aux événements externes) la logique temporelle utilisée précédemment pour exprimer des contraintes architecturales sur des configurations. Avec une sémantique, dite progressive, nous pouvons, dans la plupart des cas, évaluer (de fac¸on centralisée ou décentralisée)une expression temporelle pour une configuration donnée `a partir d’ évaluations déjà réalisées à la seule configuration précédente. Nous utilisons cette logique dans des politiques d’adaptation permettant de guider et contrôler les reconfigurations de systèmes à composants à l’exécution.Enfin, l’implémentation de politiques d’adaptation a été expérimentée dans divers cas d’ études sur les plateformes Fractal et FraSCAti. Nous utilisons notamment le fuzzing comportemental afin de pouvoir tester des aspects spécifiques d’une politique d’adaptation.