Coordination Modulaire de Gestionnaires Autonomes par Contrôle Discret

Soguy Mak Karé Gueye 1, 2
1 Erods
LIG - Laboratoire d'Informatique de Grenoble, UJF - Université Joseph Fourier - Grenoble 1
Résumé : Les systèmes informatiques sont devenus de plus en plus distribués et hétérogènes, ce qui rend leur administration manuelle difficile et source d’erreurs. L’administration autonome a été proposée comme solution à ce problème. Elle consiste à automatiser l’administration des systèmes informatiques à l’aide de boucles de contrôle appelées gestionnaires autonomes. De nombreux travaux de recherche se sont intéressés à l’automatisation des fonctions d’administration de systèmes informatiques et aujourd’hui, beaucoup de gestionnaires autonomes sont disponibles. Toutefois, les gestionnaires autonomes existants sont, la plupart, spécialisés dans la gestion de quelques aspects d’administration. Cela rend nécessaire la coexistence de plusieurs gestionnaires autonomes pour atteindre une gestion globale des systèmes. La coexistence de plusieurs gestionnaires permet la gestion de plusieurs aspects, mais nécessite des mécanismes de coordination afin d’éviter des décisions incohérentes. Nous étudions l’utilisation de techniques de contrôle pour la conception de contrôleurs de coordination, nous utilisons la programmation synchrone qui fournit des méthodes formelles, et la synthèse de contrôleur discret pour automatiser la construction de contrôleur. Nous suivons une approche à base de composants, et utilisons le contrôle discret modulaire qui permet de décomposer la complexité combinatoire inhérente à la technique d’exploration d’espace d’états. Cela améliore le passage à l’échelle de notre approche et permet la construction d’un contrôle hiérarchique. Notre approche permet la réutilisation de gestionnaires complexes dans des contextes différents, sans modifier leurs spécifications de contrôle. Nous construisons une coordination de gestionnaires basée sur le modèle à composants offrant introspection, adaptabilité et reconfiguration. Cette thèse présente notre méthodologie et des études de cas. Nous évaluons et démontrons les avantages de notre approche par la coordination de gestionnaires autonomes dédiés à la gestion de la disponibilité, et à la gestion de la performance et l’optimisation de ressources.
Type de document :
Thèse
Calcul parallèle, distribué et partagé [cs.DC]. Universite de Grenoble, 2014. Français
Liste complète des métadonnées

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

https://hal.inria.fr/tel-01091302
Contributeur : Eric Rutten <>
Soumis le : vendredi 5 décembre 2014 - 09:55:39
Dernière modification le : jeudi 11 janvier 2018 - 06:27:08
Document(s) archivé(s) le : lundi 9 mars 2015 - 06:02:16

Identifiants

  • HAL Id : tel-01091302, version 1

Collections

Citation

Soguy Mak Karé Gueye. Coordination Modulaire de Gestionnaires Autonomes par Contrôle Discret. Calcul parallèle, distribué et partagé [cs.DC]. Universite de Grenoble, 2014. Français. 〈tel-01091302〉

Partager

Métriques

Consultations de la notice

290

Téléchargements de fichiers

324