Reconfiguration dynamique des architectures logicielles
No Thumbnail Available
Date
2018
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
En réponse au besoin croissant d’évolutivité des systèmes et en parallèle au besoin de
fiabilité, le travail de recherche effectué dans cette thèse s’inscrit dans le cadre du domaine
de l’évolution d’architecture logicielle. Il a comme objectif principal l’introduction d’une
approche permettant d’assurer la fiabilité d’une architecture à base de composants tout
au long de son évolution. Le langage de description d’architectures Acme est au cœur de
notre travail. C’est un langage déclaratif basé sur la logique de prédicat de premier ordre,
qui prend en charge le paradigme des composants et des connecteurs avec les types, ainsi
que les invariants et les styles architecturaux, et il supporte également les contraintes.
Notre démarche peut se résumer en deux étapes. La première étape consiste en la défi nition de la cohérence des systèmes et de leur architecture (ou configuration). La deuxième
étape est la définition de la cohérence de leurs évolutions (ou reconfigurations), pour la
mise en œuvre des mécanismes de reconfigurations fiables. Nous avons d’abord exprimé
ces contraintes dans la logique de prédicat de premier ordre, puis, dans un second temps,
nous les avons traduites dans le formalisme Acme/Armani, pour assurer la conformité
syntaxique et de composition, et afin de rendre la configuration aussi fiable et cohérente
que la conception. L’objectif final est de fournir un continuum complet de la configuration
statique à la reconfiguration dynamique, grâce à la conception d’un canevas logiciel dédié
à une plateforme d’exécution propre à Acme, muni d’un ensemble d’objets de contrôle
suffisamment riches et flexibles