Support intergiciel pour la conception et le déploiement adaptatifs fiables, application aux bâtiments intelligents

Résumé : Dans le contexte de l’informatique pervasive et de l’internet des objets, les systèmes sont hétérogènes, distribués et adaptatifs (p. ex., systèmes de gestion des transports, bâtiments intelligents). La conception et le déploiement de ces systèmes sont rendus difficiles par leur nature hétérogène et distribuée mais aussi le risque de décisions d’adaptation conflictuelles et d’inconsistances à l’exécution. Les inconsistances sont causées par des pannes matérielles ou des erreurs de communication. Elles surviennent lorsque des actions correspondant aux décisions d’adaptation sont supposées être effectuées alors qu’elles ne le sont pas. Cette thèse propose un support intergiciel, appelé SICODAF, pour la conception et le déploiement de systèmes adaptatifs fiables. SICODAF combine une fiabilité comportementale (absence de décisions conflictuelles) au moyen de systèmes de transitions et une fiabilité d’exécution (absence d’inconsistances) à l’aide d’un intergiciel transactionnel. SICODAF est basé sur le calcul autonomique. Il permet de concevoir et de déployer un système adaptatif sous la forme d’une boucle autonomique qui est constituée d’une couche d’abstraction, d’un mécanisme d’exécution transactionnelle et d’un contrôleur. SICODAF supporte trois types de contrôleurs (basés sur des règles, sur la théorie du contrôle continu ou discret). Il permet également la reconfiguration d’une boucle, afin de gérer les changements d’objectifs qui surviennent dans le système considéré, et l’intégration d’un système de détection de pannes matérielles. Enfin, SICODAF permet la conception de boucles multiples pour des systèmes qui sont constitués de nombreuses entités ou qui requièrent des contrôleurs de types différents. Ces boucles peuvent être combinées en parallèle, coordonnées ou hiérarchiques. SICODAF a été mis en oeuvre à l’aide de l’intergiciel transactionnel LINC, de l’environnement d’abstraction PUTUTU et du langage Heptagon/BZR qui est basé sur des systèmes de transitions. SICODAF a été également évalué à l’aide de deux études de cas.
Type de document :
Thèse
Informatique [cs]. Université Grenoble - Alpes, 2017. Français
Liste complète des métadonnées

Littérature citée [235 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/tel-01671747
Contributeur : Adja Ndeye Sylla <>
Soumis le : vendredi 22 décembre 2017 - 15:35:32
Dernière modification le : mercredi 11 avril 2018 - 01:52:11

Fichier

these_Adja_SYLLA.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : tel-01671747, version 1

Collections

Citation

Adja Ndeye Sylla. Support intergiciel pour la conception et le déploiement adaptatifs fiables, application aux bâtiments intelligents. Informatique [cs]. Université Grenoble - Alpes, 2017. Français. 〈tel-01671747〉

Partager

Métriques

Consultations de la notice

235

Téléchargements de fichiers

101