Contributions à la spécificification et à la vérification des reconfigurations dynamiques dans les systèmes à composants

par Julien Dormoy

Thèse de doctorat en Informatique

Sous la direction de Olga Kouchnarenko et de Hassan Mountassir.

Soutenue en 2011

à Besançon , en partenariat avec Université de Franche-comté. UFR des sciences et techniques (autre partenaire) .


  • Résumé

    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.

  • Titre traduit

    Contributions to spécification and verification of dynamic reconfigurations in component systems


  • Résumé

    Résumé non communiqué

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (174 p)
  • Annexes : Bibliogr. P.163-174

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Bibliothèque universitaire Sciences Sport Claude Oytana (Besançon).
  • Disponible pour le PEB
  • Cote : SCI.BESA2011.37
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.