Advanced

Control strategies for self-adaptive software systems

Filieri, Antonio; Maggio, Martina LU ; Angelopoulos, Konstantinos; D'Ippolito, Nicolás; Gerostathopoulos, Ilias; Hempel, Andreas Berndt; Hoffmann, Henry; Jamshidi, Pooyan; Kalyvianaki, Evangelia and Klein, Cristian, et al. (2017) In ACM Transactions on Autonomous and Adaptive Systems 11(4).
Abstract
The pervasiveness and growing complexity of software systems are challenging software engineering to design systems that can adapt their behavior to withstand unpredictable, uncertain, and continuously changing execution environments. Control theoretical adaptation mechanisms have received growing interest from the software engineering community in the last few years for their mathematical grounding, allowing formal guarantees on the behavior of the controlled systems. However, most of these mechanisms are tailored to specific applications and can hardly be generalized into broadly applicable software design and development processes.

This article discusses a reference control design process, from goal identification to the... (More)
The pervasiveness and growing complexity of software systems are challenging software engineering to design systems that can adapt their behavior to withstand unpredictable, uncertain, and continuously changing execution environments. Control theoretical adaptation mechanisms have received growing interest from the software engineering community in the last few years for their mathematical grounding, allowing formal guarantees on the behavior of the controlled systems. However, most of these mechanisms are tailored to specific applications and can hardly be generalized into broadly applicable software design and development processes.

This article discusses a reference control design process, from goal identification to the verification and validation of the controlled system. A taxonomy of the main control strategies is introduced, analyzing their applicability to software adaptation for both functional and nonfunctional goals. A brief extract on how to deal with uncertainty complements the discussion. Finally, the article highlights a set of open challenges, both for the software engineering and the control theory research communities. (Less)
Please use this url to cite or link to this publication:
author
, et al. (More)
(Less)
organization
publishing date
type
Contribution to journal
publication status
published
subject
keywords
Control theory, Formal methods, Non-functional properties, Self-adaptive software
in
ACM Transactions on Autonomous and Adaptive Systems
volume
11
issue
4
publisher
Assoc Computing Machinery
external identifiers
  • scopus:85017638966
  • scopus:85017638966
  • wos:000395848000005
ISSN
1556-4665
DOI
10.1145/3024188
language
English
LU publication?
yes
id
d5f0befe-4648-4a2e-a00f-2bd8a9e79cf5
date added to LUP
2017-03-02 18:08:00
date last changed
2018-04-29 04:36:50
@article{d5f0befe-4648-4a2e-a00f-2bd8a9e79cf5,
  abstract     = {The pervasiveness and growing complexity of software systems are challenging software engineering to design systems that can adapt their behavior to withstand unpredictable, uncertain, and continuously changing execution environments. Control theoretical adaptation mechanisms have received growing interest from the software engineering community in the last few years for their mathematical grounding, allowing formal guarantees on the behavior of the controlled systems. However, most of these mechanisms are tailored to specific applications and can hardly be generalized into broadly applicable software design and development processes.<br/><br/>This article discusses a reference control design process, from goal identification to the verification and validation of the controlled system. A taxonomy of the main control strategies is introduced, analyzing their applicability to software adaptation for both functional and nonfunctional goals. A brief extract on how to deal with uncertainty complements the discussion. Finally, the article highlights a set of open challenges, both for the software engineering and the control theory research communities.},
  articleno    = {24},
  author       = {Filieri, Antonio and Maggio, Martina and Angelopoulos, Konstantinos and D'Ippolito, Nicolás and Gerostathopoulos, Ilias and Hempel, Andreas Berndt and Hoffmann, Henry and Jamshidi, Pooyan and Kalyvianaki, Evangelia and Klein, Cristian and Krikava, Filip and Misailovic, Sasa and Papadopoulos, Alessandro V. and Ray, Suprio and Sharifloo, Amir M. and Shevtsov, Stepan and Ujma, Mateusz and Vogel, Thomas},
  issn         = {1556-4665},
  keyword      = {Control theory,Formal methods,Non-functional properties,Self-adaptive software},
  language     = {eng},
  month        = {02},
  number       = {4},
  publisher    = {Assoc Computing Machinery},
  series       = {ACM Transactions on Autonomous and Adaptive Systems},
  title        = {Control strategies for self-adaptive software systems},
  url          = {http://dx.doi.org/10.1145/3024188},
  volume       = {11},
  year         = {2017},
}