27 articles  [english version]
Fiche concise Thèses
Fiabilité des reconfigurations dynamiques dans les architectures à composants
Léger M.
Thèses. École Nationale Supérieure des Mines de Paris (19/05/2009), Pierre Cointe (Dir.)
[oai:tel.archives-ouvertes.fr:tel-00485033] - http://tel.archives-ouvertes.fr/tel-00485033
Liste des fichiers attachés à ce document : 
PDF
these-MarcLeger.pdf(3.9 MB)
Marc Léger ()1, 2, 3
1 :  CMA - Centre de Mathématiques Appliquées
http://www.cma.ensmp.fr/
MINES ParisTech - École nationale supérieure des mines de Paris
Centre de Mathématiques Appliquées Rue Claude Daunesse BP 207 06904 Sophia Antipolis Cedex
France
2 :  INRIA - EMN - ASCOLA
http://www.inria.fr/equipes/ascola
INRIA – École Nationale Supérieure des Mines - Nantes
France
3 :  LINA - Laboratoire d'Informatique de Nantes Atlantique
http://www.sciences.univ-nantes.fr/lina
CNRS : UMR6241 – Université de Nantes – École Nationale Supérieure des Mines - Nantes
LINA - Faculté des Sciences 2 rue de la Houssinière - BP 92208 44322 NANTES CEDEX 3
France
Fiabilité des reconfigurations dynamiques dans les architectures à composants
Reliability of dynamic reconfigurations in component-based architectures
19/05/2009
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.
Software engineering must cope with a more and more increasing need for evolutivity of software systems in order to make their maintenance and more generally their administration easier. However, evolution and especially dynamic evolution in a system must not be done at the expense of its reliability, that is to say its ability to deliver the expected functionalities. Actually modifications in a given system may let it in an inconsistent state and so it can have an impact on its reliability. The aim of this thesis is to guarantee reliability of dynamic reconfigurations used to make systems evolve at runtime while preserving their availibility, i.e. their continuity of service. We are especially interested in component based and distributed systems. The system architecture can be used as a support for dynamic, non-anticipated (also called ad-hoc) and concurrent reconfigurations. We propose a definition of consistency for configurations and reconfigurations in the Fractal component model with a model based on integrity constraints like for example structural invariants. Reliability of reconfigurations is ensured thanks to a transactional approach which allows both to deal with error recovery and to manage reconfiguration concurrency in systems. Finally, we propose a modular component-based architecture so as to implement transactional mechanisms adapted to dynamic reconfigurations in Fractal applications.
Informatique/Génie logiciel

École Nationale Supérieure des Mines de Paris
Sciences et Technologies de l'Information et de la Communication
Informatique temps réel, robotique et automatique
2009ENMP1618
Français

Pierre Cointe
Isabelle Demeure (Rapporteur)
Jean-Bernard Stefani (Rapporteur)
Pierre Cointe (Directeur de thèse)
Thierry Coupaye (Examinateur)
Jean-Marc Jezequel (Examinateur)
Thomas Ledoux (Examinateur)
Patrick Valuriez (Président du jury)

Architectures à composants – Reconfigurations dynamiques – Gestion de concurrence – Fiabilité – Tolérance aux fautes – Transactions – Contraintes d'intégrité – Administration autonome – Modèle de composants fractal
Computer system – Fault tolerance – Dynamical evolution – Reconfiguration – Fractal model – Modular architecture – Reliability