Advanced

Automated Multi-Objective Control for Self-Adaptive Software Design

Filieri, Antonio; Hoffmann, Hank and Maggio, Martina LU (2015) 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering p.13-24
Abstract
While software is becoming more complex everyday, the requirements on its behavior are not getting any easier to satisfy. An application should offer a certain quality of service, adapt to the current environmental conditions and withstand runtime variations that were simply unpredictable during the design phase. To tackle this complexity, control theory has been proposed as a technique for managing software’s dynamic behavior, obviating the need for human intervention. Control-theoretical solutions, however, are either tailored for the specific application or do not handle the complexity of multiple interacting components and multiple goals. In this paper, we develop an automated control synthesis methodology that takes, as input, the... (More)
While software is becoming more complex everyday, the requirements on its behavior are not getting any easier to satisfy. An application should offer a certain quality of service, adapt to the current environmental conditions and withstand runtime variations that were simply unpredictable during the design phase. To tackle this complexity, control theory has been proposed as a technique for managing software’s dynamic behavior, obviating the need for human intervention. Control-theoretical solutions, however, are either tailored for the specific application or do not handle the complexity of multiple interacting components and multiple goals. In this paper, we develop an automated control synthesis methodology that takes, as input, the configurable software components (or knobs) and the goals to be achieved. Our approach automatically constructs a control system that manages the specified knobs and guarantees the goals are met. These claims are backed up by experimental studies on three different software applications, where we show how the proposed automated approach handles the complexity of multiple knobs and objectives. (Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
in
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering
pages
13 - 24
publisher
ACM
conference name
10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
external identifiers
  • Scopus:84960379897
ISBN
978-1-4503-3675-8
DOI
10.1145/2786805.2786833
language
English
LU publication?
yes
id
60d21222-3730-4140-a32f-832f7a52a5a4 (old id 5434257)
date added to LUP
2015-06-01 09:28:50
date last changed
2017-01-15 04:41:36
@inproceedings{60d21222-3730-4140-a32f-832f7a52a5a4,
  abstract     = {While software is becoming more complex everyday, the requirements on its behavior are not getting any easier to satisfy. An application should offer a certain quality of service, adapt to the current environmental conditions and withstand runtime variations that were simply unpredictable during the design phase. To tackle this complexity, control theory has been proposed as a technique for managing software’s dynamic behavior, obviating the need for human intervention. Control-theoretical solutions, however, are either tailored for the specific application or do not handle the complexity of multiple interacting components and multiple goals. In this paper, we develop an automated control synthesis methodology that takes, as input, the configurable software components (or knobs) and the goals to be achieved. Our approach automatically constructs a control system that manages the specified knobs and guarantees the goals are met. These claims are backed up by experimental studies on three different software applications, where we show how the proposed automated approach handles the complexity of multiple knobs and objectives.},
  author       = {Filieri, Antonio and Hoffmann, Hank and Maggio, Martina},
  booktitle    = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering},
  isbn         = {978-1-4503-3675-8},
  language     = {eng},
  pages        = {13--24},
  publisher    = {ACM},
  title        = {Automated Multi-Objective Control for Self-Adaptive Software Design},
  url          = {http://dx.doi.org/10.1145/2786805.2786833},
  year         = {2015},
}