Automated Multi-Objective Control for Self-Adaptive Software Design
(2015) 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the 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:
https://lup.lub.lu.se/record/5434257
- author
- Filieri, Antonio ; Hoffmann, Hank and Maggio, Martina LU
- organization
- publishing date
- 2015
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- host publication
- Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering
- pages
- 13 - 24
- publisher
- Association for Computing Machinery (ACM)
- conference name
- 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
- conference location
- Bergamo, Italy
- conference dates
- 2015-08-31
- external identifiers
-
- scopus:84960379897
- wos:000382568700002
- 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
- 2016-04-04 14:40:24
- date last changed
- 2024-05-17 12:44:11
@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 = {{Association for Computing Machinery (ACM)}}, title = {{Automated Multi-Objective Control for Self-Adaptive Software Design}}, url = {{http://dx.doi.org/10.1145/2786805.2786833}}, doi = {{10.1145/2786805.2786833}}, year = {{2015}}, }