Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees

Filieri, Antonio ; Hoffmann, Henry and Maggio, Martina LU (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:
author
; and
organization
publishing date
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},
}