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
Abstract : 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.
Document type :
Theses
Software Engineering [cs.SE]. École Nationale Supérieure des Mines de Paris, 2009. French. <NNT : 2009ENMP1618>


https://pastel.archives-ouvertes.fr/tel-00485033
Contributor : Thomas Ledoux <>
Submitted on : Wednesday, May 19, 2010 - 6:57:31 PM
Last modification on : Friday, March 27, 2015 - 4:02:23 PM

Identifiers

  • HAL Id : tel-00485033, version 1

Citation

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

Export

Share

Metrics

Consultation de
la notice

405

Téléchargement du document

468