Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees
(2014) 36th International Conference on Software Engineering (ICSE)- Abstract
- Self-adaptation enables software to execute successfully in dynamic, unpredictable, and uncertain environments. Control theory provides a broad set of mathematically grounded techniques for adapting the behavior of dynamic systems. While it has been applied to specific software control problems, it has proved difficult to define methodologies allowing non-experts to systematically apply control techniques to create adaptive software. These difficulties arise because computer systems are usually non-linear, with varying workloads and heterogeneous components, making it difficult to model software as a dynamic system; i.e., by means of differential or difference equations.
This paper proposes a broad scope methodology for... (More) - Self-adaptation enables software to execute successfully in dynamic, unpredictable, and uncertain environments. Control theory provides a broad set of mathematically grounded techniques for adapting the behavior of dynamic systems. While it has been applied to specific software control problems, it has proved difficult to define methodologies allowing non-experts to systematically apply control techniques to create adaptive software. These difficulties arise because computer systems are usually non-linear, with varying workloads and heterogeneous components, making it difficult to model software as a dynamic system; i.e., by means of differential or difference equations.
This paper proposes a broad scope methodology for automatically constructing both an approximate dynamic model of a software system and a suitable controller for managing its non-functional requirements. Despite its generality, this methodology provides formal guarantees concerning the system's dynamic behavior by keeping its model continuously updated to compensate for changes in the execution environment and effects of the initial approximation.
We apply the methodology to three case studies, demonstrating its generality by tackling different domains (and different non-functional requirements) with the same approach. Being broadly applicable and fully automated, this methodology may allow the adoption of control theoretical solutions (and their formal properties) for a wide range of software adaptation problems. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/4249347
- author
- Filieri, Antonio ; Hoffmann, Henry and Maggio, Martina LU
- organization
- publishing date
- 2014
- type
- Contribution to conference
- publication status
- in press
- subject
- conference name
- 36th International Conference on Software Engineering (ICSE)
- conference location
- Hyderabad, India
- conference dates
- 2014-05-31
- language
- English
- LU publication?
- yes
- additional info
- Accepted for publication at ICSE 2014.
- id
- 3f4274c6-28c0-41d8-b283-9e52a5e01f6d (old id 4249347)
- date added to LUP
- 2016-04-04 13:43:33
- date last changed
- 2019-04-30 20:36:39
@misc{3f4274c6-28c0-41d8-b283-9e52a5e01f6d,
abstract = {{Self-adaptation enables software to execute successfully in dynamic, unpredictable, and uncertain environments. Control theory provides a broad set of mathematically grounded techniques for adapting the behavior of dynamic systems. While it has been applied to specific software control problems, it has proved difficult to define methodologies allowing non-experts to systematically apply control techniques to create adaptive software. These difficulties arise because computer systems are usually non-linear, with varying workloads and heterogeneous components, making it difficult to model software as a dynamic system; i.e., by means of differential or difference equations.<br/><br>
<br/><br>
This paper proposes a broad scope methodology for automatically constructing both an approximate dynamic model of a software system and a suitable controller for managing its non-functional requirements. Despite its generality, this methodology provides formal guarantees concerning the system's dynamic behavior by keeping its model continuously updated to compensate for changes in the execution environment and effects of the initial approximation.<br/><br>
<br/><br>
We apply the methodology to three case studies, demonstrating its generality by tackling different domains (and different non-functional requirements) with the same approach. Being broadly applicable and fully automated, this methodology may allow the adoption of control theoretical solutions (and their formal properties) for a wide range of software adaptation problems.}},
author = {{Filieri, Antonio and Hoffmann, Henry and Maggio, Martina}},
language = {{eng}},
title = {{Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees}},
year = {{2014}},
}