Dynamic Software Update for Component-based Distributed Systems.

Dynamic evolution is a key aspect of the design, development, and maintenance of complex and distributed software systems built by integrating components. Evolution, traditionally obtained by producing software upgrades, may derive from changes in the requirements or in the environment, from the need to incorporate new implemented versions and optimizations. Upgrades typically require the software system to be shutdown, updated and restarted. However a large number of applications require to offer a continuous service. The goal of this research is to support online software reconfiguration without service interruption by analyzing the conditions of substitutability of components and their interactions and by producing automatic methods for dynamic update