Contributions à la spécificification et à la vérification des reconfigurations dynamiques dans les systèmes à composants / Julien Dormoy ; sous la direction de Olga Kouchnarenko et de Hassan Mountassir

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2011

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Composants dentaires

Kouchnarenko, Olga (19..-.... ; auteure en informatique) (Directeur de thèse / thesis advisor)

Mountassir, Hassan (Directeur de thèse / thesis advisor)

Université de Franche-Comté. UFR des sciences et techniques (Autre partenaire associé à la thèse / thesis associated third party)

Université de Franche-Comté (1971-....) (Organisme de soutenance / degree-grantor)

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.