%0 Conference Proceedings
%T Component-Based Autonomic Managers for Coordination Control
%+ Laboratoire d'Informatique de Grenoble (LIG)
%+ Efficient and Robust Distributed Systems (ERODS)
%A Gueye, Soguy Mak-Karé
%A de Palma, Noel
%A Rutten, Eric
%Z Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 15th International Conference on Coordination Models and Languages (COORDINATION)
%C Florence, Italy
%Y Rocco De Nicola
%Y Christine Julien
%I Springer
%3 Coordination Models and Languages
%V 7890
%P 75-89
%8 2013-06-03
%D 2013
%R 10.1007/978-3-642-38493-6_6
%K Software management and engineering
%K Discrete control
%K Adaptive and autonomic systems
%K Coordination models and paradigms
%Z Computer Science [cs]
%Z Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
%Z Computer Science [cs]/Operating Systems [cs.OS]
%Z Computer Science [cs]/Performance [cs.PF]Conference papers
%X The increasing complexity of computing systems has motivated the automation of their administration functions in the form of autonomic managers. The state of the art is that many autonomic managers have been designed to address specific concerns, but the problem remains of coordinating them for a proper and effective global administration. In this paper, we define controllable autonomic managers encapsulated into components, and we approach coordination as their synchronization and logical control. We show that the component-based approach supports building such systems with introspection, adaptivity and reconfiguration. We investigate the use of reactive models and discrete control techniques, and build a hierarchical controller, enforcing coherency properties on the autonomic managers at runtime. One specificity and novelty of our approach is that discrete controller synthesis performs the automatic generation of the control logic, from the specification of an objective, and automata-based descriptions of possible behaviors. Experimental validation is given by a case-study where we coordinate two self-optimization autonomic managers and self-repair in a replicated web-server system.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-00949562/document
%2 https://inria.hal.science/hal-00949562/file/978-3-642-38493-6_6_Chapter.pdf
%L hal-00949562
%U https://inria.hal.science/hal-00949562
%~ UGA
%~ CNRS
%~ UNIV-GRENOBLE1
%~ UNIV-PMF_GRENOBLE
%~ INPG
%~ LIG
%~ LIG_SRCPR
%~ LIG_SRCPR_ERODS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-7890
%~ IFIP-DISCOTEC
%~ LIG_SIDCH