Designing Autonomic Management Systems by using Reactive Control Techniques

Nicolas Berthier 1, 2 Eric 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
2 SUMO - SUpervision of large MOdular and distributed systems
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
3 CTRL-A - Control techniques for Autonomic, adaptive and Reconfigurable Computing systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [46 references]  Display  Hide  Download
Contributor : Nicolas Berthier <>
Submitted on : Monday, December 14, 2015 - 11:35:18 AM
Last modification on : Tuesday, April 2, 2019 - 2:52:09 AM
Long-term archiving on : Saturday, April 29, 2017 - 12:54:03 PM


Files produced by the author(s)


  • HAL Id : hal-01242853, version 1


Nicolas Berthier, Eric 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. ⟨hal-01242853⟩



Record views


Files downloads