TY - GEN
T1 - Software Engineering Meets Control Theory
AU - Filieri, Antonio
AU - Maggio, Martina
AU - Angelopoulos, Konstantinos
AU - D'Ippolito, Nicolas
AU - Gerostathopoulos, Ilias
AU - Hempel, Andreas Berndt
AU - Hoffmann, Henry
AU - Jamshidi, Pooyan
AU - Kalyvianaki, Evangelia
AU - Klein, Cristian
AU - Krikava, Filip
AU - Misailovic, Sasa
AU - Papadopoulos, Alessandro Vittorio
AU - Ray, Suprio
AU - Sharifloo, Amir M.
AU - Shevtsov, Stepan
AU - Ujma, Mateusz
AU - Vogel, Thomas
PY - 2015/8/12
Y1 - 2015/8/12
N2 - The software engineering community has proposed numerous approaches for making software self-adaptive. These approaches take inspiration from machine learning and control theory, constructing software that monitors and modifies its own behavior to meet goals. Control theory, in particular, has received considerable attention as it represents a general methodology for creating adaptive systems. Control-theoretical software implementations, however, tend to be ad hoc. While such solutions often work in practice, it is difficult to understand and reason about the desired properties and behavior of the resulting adaptive software and its controller. This paper discusses a control design process for software systems which enables automatic analysis and synthesis of a controller that is guaranteed to have the desired properties and behavior. The paper documents the process and illustrates its use in an example that walks through all necessary steps for self-adaptive controller synthesis.
AB - The software engineering community has proposed numerous approaches for making software self-adaptive. These approaches take inspiration from machine learning and control theory, constructing software that monitors and modifies its own behavior to meet goals. Control theory, in particular, has received considerable attention as it represents a general methodology for creating adaptive systems. Control-theoretical software implementations, however, tend to be ad hoc. While such solutions often work in practice, it is difficult to understand and reason about the desired properties and behavior of the resulting adaptive software and its controller. This paper discusses a control design process for software systems which enables automatic analysis and synthesis of a controller that is guaranteed to have the desired properties and behavior. The paper documents the process and illustrates its use in an example that walks through all necessary steps for self-adaptive controller synthesis.
KW - Adaptive systems
KW - Control theory
KW - Encoding
KW - Mathematical model
KW - Software engineering
KW - Software systems
UR - http://www.scopus.com/inward/record.url?scp=84953230202&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84953230202&partnerID=8YFLogxK
U2 - 10.1109/SEAMS.2015.12
DO - 10.1109/SEAMS.2015.12
M3 - Conference contribution
AN - SCOPUS:84953230202
T3 - Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015
SP - 71
EP - 82
BT - Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015
Y2 - 18 May 2015 through 19 May 2015
ER -