Designing Autonomic Management Systems by Using Reactive Control Techniques

Berthier, Nicolas ORCID: 0000-0002-0933-8193, Rutten, Eric, De Palma, Noel and Gueye, Soguy Mak-Kare (2016) Designing Autonomic Management Systems by Using Reactive Control Techniques. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 42 (7). pp. 640-657.

Access the full-text of this item by clicking on the Open Access link.

Official URL: http://dx.doi.org/10.1109/tse.2015.2510004

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.

Item Type:	Article
Uncontrolled Keywords:	Autonomic computing, coordination, discrete control, reactive programming
Depositing User:	Symplectic Admin
Date Deposited:	12 Jul 2017 07:53
Last Modified:	16 Mar 2024 15:53
DOI:	10.1109/TSE.2015.2510004
Open Access URL:	https://hal.inria.fr/hal-01242853/file/article.pdf
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3008409