Reconfiguration Dynamique des Architectures Logicielles

Cette thèse aborde le besoin croissant en évolutivité et fiabilité des systèmes logiciels. Elle se concentre sur l'évolution des architectures logicielles, visant à introduire une approche pour assurer la fiabilité des architectures basées sur des composants tout au long de leur cycle de vie.

Le travail s'articule autour du langage de description d'architectures Acme, un langage déclaratif basé sur la logique de prédicats du premier ordre, supportant les composants, connecteurs, types, invariants, styles architecturaux et contraintes.

La démarche méthodologique comprend deux étapes : la définition de la cohérence des systèmes et architectures, puis la définition de la cohérence de leurs évolutions (reconfigurations) pour implémenter des mécanismes de reconfiguration fiables. Ces contraintes sont d'abord exprimées en logique de prédicats, puis traduites dans le formalisme Acme/Armani pour assurer la conformité syntaxique et compositionnelle.

L'objectif final est de fournir un continuum complet de la configuration statique à la reconfiguration dynamique, via la conception d'un cadre logiciel dédié à la plateforme d'exécution Acme.