Date : 2011
Editeur / Publisher : [S.l.] : [s.n.] , 2011
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Résumé / Abstract : Dans cette thèse, nous nous interessons aux systèmes à composants dont les architectures évoluent dans le temps en fonction des ressources disponibles et des besoins d'adaptation à l'environnement [...] Notre objectif principal est de définir un cadre formel nous permettant de spécifier et vérifier les reconfigurations dynamiques de systèmes à composants. [...] Les contributuions de cette thèses ont été expérimentées sur la plateforme Fractal qui offre un modèle supportant les configurations dynamiques. Nous illustrons les différentes démarches proposées grace au développement des prototypes dans cette plateforme.
Résumé / Abstract : In this thesis, we are interested in component systems whose architectures evolve over time according to the available resources and the needs of adaptation to the environment [...] Our main objective is to define a formal framework allowing us to specify and verify dynamic reconfigurations of component systems. [...] The contributions of this thesis were tested on the Fractal platform which offers a model supporting dynamic configurations. We illustrate the different approaches offered thanks to the development of prototypes in this platform.