Monographie

Reconfiguration dynamique d¹une architecture logicielle à l¹aide de BZR ; BATISTA, Thais ; BUISSON, Jérémy ; SLT SENELLART de VRIERE, Eric

Type de contenu
  • Texte
Titre(s)
  • Reconfiguration dynamique d¹une architecture logicielle à l¹aide de BZR ; BATISTA, Thais ; BUISSON, Jérémy ; SLT SENELLART de VRIERE, Eric
Autre(s) responsabilité(s)
Editeur, producteur
  • Ecoles Militaires de Saint-Cyr Coëtquidan
Description matérielle
  • 1 CD
Note sur le contenu
  • mémoire
Note de thèses et écrits académiques
  • Filière Scientifique - Option Informatique Promotion Chef de bataillon Bulle Date de soutenance : 01/01/2013
Résumé ou extrait
  • PRESENTATION : Lorsqu¹un logiciel est modifié, il est souvent nécessaire de redémarrer l¹application associée afin de s¹assurer que tous les changements effectués sont pris en compte et respectent les contraintes imposées au programme. Or, redémarrer n¹est souvent pas pratique, et même parfois très déconseillé comme pour les systèmes de sécurité. Notre objectif est donc de chercher à optimiser une reconfiguration logicielle à l¹aide d¹un contrôleur afin de s¹assurer qu¹elle se fasse correctement. Ce contrôleur doit vérifier que la mise à jour soit compatible et possible au niveau architecture du système. CONTRAINTES : Nous avons travaillé avec deux langages qui jusque là n¹ont pas été conçus pour fonctionner dans un même programme. Aussi, le problème consiste à faire interagir un programme écrit en ACME avec un contrôleur BZR par l¹intermédiaire de variables communes.Ceci est réalisé avec l¹aide d¹un compilateur qui permettra d¹insérer le code générer dans un middleware. Bien que ce dernier soit toujours en développement, nous voulons arriver au code compilé. RESULTATS OBTENUS : En recoupant les prédicats des deux scripts (ACME et Heptagon) tout en respectant les contraintes imposées à l¹architecture du logiciel, il devient possible de les faire communiquer et ainsi de s¹assurer que le contrôleur a effectivement une main mise sur les reconfigurations. Enfin, on s¹aperçoit de la possibilité de mettre en parallèle ces deux langages à l¹aide du compilateur hec, ce qui permettrait ultérieurement d¹accroitre le domaine d¹utilisation de Heptagon/BZR dans les reconfigurations logicielles. LIMITE : La principale limite rencontrée lors de notre travail est que le middleware avec lequel le code généré par le compilateur devait être utilisé n¹était pas encore au point. Aussi, il n¹a pas été possible d¹implémenter le script obtenu. CONCLUSION : Grace à ce projet, nous avons pu constater la possibilité de faire en sorte qu¹un langage de programmation réactive puisse contrôler le bon déroulement d¹une reconfiguration d¹une architecture logicielle. Bien qu¹il nous manque le middleware nécessaire, il est clair qu¹une fois compilé, les automates Heptagon et le contrat BZR peuvent effectivement s¹assurer que toute erreur puisse être évitée. Avec un contrôleur suffisamment complexe (contrairement à l¹exemple simplifié employé pour illustrer notre argumentation), une architecture bien plus complexe pourra voir ses reconfigurations prise en compte par le contrôleur seul.
Sujet(s)
Lien copié.
Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)