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 sonthétérogènes, distribués et adaptatifs (p. ex., systèmes de gestion des transports, bâtimentsintelligents). La conception et le déploiement de ces systèmes sont rendus difficiles par leurnature hétérogène et distribuée mais aussi le risque de décisions d’adaptation conflictuelleset d’inconsistances à l’exécution. Les inconsistances sont causées par des pannes matériellesou des erreurs de communication. Elles surviennent lorsque des actions correspondant auxdé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 ledé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 estbasé sur le calcul autonomique. Il permet de concevoir et de déployer un système adaptatifsous la forme d’une boucle autonomique qui est constituée d’une couche d’abstraction, d’unmécanisme d’exécution transactionnelle et d’un contrôleur. SICODAF supporte trois typesde 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 quisurviennent dans le système considéré, et l’intégration d’un système de détection de pannesmatérielles. Enfin, SICODAF permet la conception de boucles multiples pour des systèmesqui 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’environnementd’abstraction PUTUTU et du langage Heptagon/BZR qui est basé sur des systèmesde transitions. SICODAF a été également évalué à l’aide de trois études de cas.
Type de document :
Thèse
Performance et fiabilité [cs.PF]. Université Grenoble Alpes, 2017. Français. 〈NNT : 2017GREAM095〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/tel-01671747
Contributeur : Abes Star <>
Soumis le : jeudi 11 octobre 2018 - 15:29:08
Dernière modification le : jeudi 18 octobre 2018 - 01:04:26

Fichier

SYLLA_2017_archivage.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01671747, version 2

Collections

Citation

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

Partager

Métriques

Consultations de la notice

60

Téléchargements de fichiers

15