Fiabilité des reconfigurations dynamiques dans les architectures à composants

Marc Léger 1, 2, 3
2 ASCOLA - Aspect and composition languages
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Résumé : L'ingénierie logicielle doit faire face à un besoin toujours croissant en évolutivité des systèmes informatiques pour faciliter leur maintenance et de manière générale leur administration. Cependant, l'évolution d'un système, et plus spécifiquement l'évolution dynamique, ne doit pas se faire au dépend de sa fiabilité, c'est à dire de sa capacité à délivrer correctement les fonctionnalités attendues au cours de sa vie. En effet, des modifications dans un système peuvent laisser ce dernier dans un état incohérent et donc remettre en cause son caractère fiable. L'objectif de cette thèse est de garantir la fiabilité des reconfigurations dynamiques utilisées pour faire évoluer les systèmes pendant leur exécution tout en préservant leur disponibilité, c'est à dire leur continuité de service. Nous nous intéressons plus particulièrement aux systèmes à base de composants logiciels, potentiellement distribués, dont l'architecture peut être le support de reconfigurations dynamiques non anticipées et concurrentes. Nous proposons une définition de la cohérence des configurations et des reconfigurations dans le modèle de composants Fractal à travers une modélisation basée sur des contraintes d'intégrité tels que des invariants structurels. La fiabilité des reconfigurations est garantie par une approche transactionnelle permettant à la fois de réaliser du recouvrement d'erreurs et de gérer la concurrence des reconfigurations dans les applications. Nous proposons enfin une architecture à composants modulaire pour mettre en oeuvre nos mécanismes transactionnels adaptés aux reconfigurations dynamiques dans des applications à base de composants Fractal.
Type de document :
Thèse
Génie logiciel [cs.SE]. École Nationale Supérieure des Mines de Paris, 2009. Français. <NNT : 2009ENMP1618>


https://pastel.archives-ouvertes.fr/tel-00485033
Contributeur : Thomas Ledoux <>
Soumis le : mercredi 19 mai 2010 - 18:57:31
Dernière modification le : jeudi 29 septembre 2016 - 01:22:15
Document(s) archivé(s) le : jeudi 16 septembre 2010 - 15:06:53

Identifiants

  • HAL Id : tel-00485033, version 1

Citation

Marc Léger. Fiabilité des reconfigurations dynamiques dans les architectures à composants. Génie logiciel [cs.SE]. École Nationale Supérieure des Mines de Paris, 2009. Français. <NNT : 2009ENMP1618>. <tel-00485033>

Exporter

Partager

Métriques

Consultations de
la notice

572

Téléchargements du document

931