Skip to Main content Skip to Navigation
Theses

Coordination Modulaire de Gestionnaires Autonomes par Contrôle Discret

Soguy Mak-Karé Gueye 1, 2
1 CTRL-A - Control for Autonomic computing systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble [2007-2015]
2 ERODS - Efficient and Robust Distributed Systems
LIG - Laboratoire d'Informatique de Grenoble [2007-2015]
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.
Complete list of metadatas

Cited literature [54 references]  Display  Hide  Download

https://hal.inria.fr/tel-01091302
Contributor : Éric Rutten <>
Submitted on : Friday, December 5, 2014 - 9:55:39 AM
Last modification on : Thursday, July 9, 2020 - 9:45:13 AM
Document(s) archivé(s) le : Monday, March 9, 2015 - 6:02:16 AM

Identifiers

  • HAL Id : tel-01091302, version 1

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⟩

Share

Metrics

Record views

419

Files downloads

843