Abstract FR:

Dans cette thèse, nous nous interessons aux systèmes à composants dont les architectures évoluent dans le temps en fonction des ressources disponibles et des besoins d'adaptation à l'environnement [. . . ] Notre objectif principal est de définir un cadre formel nous permettant de spécifier et vérifier les reconfigurations dynamiques de systèmes à composants. [. . . ] Les contributuions de cette thèses ont été expérimentées sur la plateforme Fractal qui offre un modèle supportant les configurations dynamiques. Nous illustrons les différentes démarches proposées grace au développement des prototypes dans cette plateforme.