Designing Autonomic Management Systems by using Reactive Control Techniques

Nicolas Berthier 1, 2 Éric Rutten 3 Noël De Palma 1 Soguy Mak-Karé Gueye 1
1 ERODS - Efficient and Robust Distributed Systems
LIG - Laboratoire d'Informatique de Grenoble, UJF - Université Joseph Fourier - Grenoble 1
2 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : The ever growing complexity of software systems has led to the emergence of automated solutions for their management. The software assigned to this work is usually called an Autonomic Management System (AMS). It is ordinarily designed as a composition of several managers, which are pieces of software evaluating the dynamics of the system under management through measurements (e.g., workload, memory usage), taking decisions, and acting upon it so that it stays in a set of acceptable operating states. However, careless combination of managers may lead to inconsistencies in the taken decisions, and classical approaches dealing with these coordination problems often rely on intricate and ad hoc solutions. To tackle this problem, we take a global view and underscore that AMSs are intrinsically reactive, as they react to flows of monitoring data by emitting flows of reconfiguration actions. Therefore we propose a new approach for the design of AMSs, based on synchronous programming and discrete controller synthesis techniques. They provide us with high-level languages for modeling the system to manage, as well as means for statically guaranteeing the absence of logical coordination problems. Hence, they suit our main contribution, which is to obtain guarantees at design time about the absence of logical inconsistencies in the taken decisions. We detail our approach, illustrate it by designing an AMS for a realistic multi-tier application, and evaluate its practicality with an implementation.
Type de document :
Article dans une revue
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2016, 42 (7), pp.18. <http://dx.doi.org/10.1109/TSE.2015.2510004>


https://hal.inria.fr/hal-01242853
Contributeur : Nicolas Berthier <>
Soumis le : lundi 14 décembre 2015 - 11:35:18
Dernière modification le : dimanche 15 janvier 2017 - 01:05:29

Fichier

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

Identifiants

  • HAL Id : hal-01242853, version 1

Citation

Nicolas Berthier, Éric Rutten, Noël De Palma, Soguy Mak-Karé Gueye. Designing Autonomic Management Systems by using Reactive Control Techniques. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2016, 42 (7), pp.18. <http://dx.doi.org/10.1109/TSE.2015.2510004>. <hal-01242853>

Partager

Métriques

Consultations de
la notice

229

Téléchargements du document

136