Advanced

Handling New and Changing Requirements with Guarantees in Self-Adaptive Systems using SimCA

Shevtsov, Stepan; Weyns, Danny and Maggio, Martina LU (2017) The 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems In Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017 p.12-23
Abstract
Self-adaptation provides a principled way to deal with change during operation. As more systems with strict goals require self-adaptation, the need for guarantees in self-adaptive systems is becoming a high-priority concern. Designing adaptive software using principles from control theory has been identified as one of the approaches to provide guarantees. However, current solutions can only handle pre-specified requirements either in the form of setpoint values (S-reqs) or values to be optimized (O-reqs). This paper presents SimCA∗ that makes two contributions to control-based self-adaptation: (a) it allows the user to specify a third type of requirement that keeps a value above/below a threshold (T-reqs), and (b) it can deal with... (More)
Self-adaptation provides a principled way to deal with change during operation. As more systems with strict goals require self-adaptation, the need for guarantees in self-adaptive systems is becoming a high-priority concern. Designing adaptive software using principles from control theory has been identified as one of the approaches to provide guarantees. However, current solutions can only handle pre-specified requirements either in the form of setpoint values (S-reqs) or values to be optimized (O-reqs). This paper presents SimCA∗ that makes two contributions to control-based self-adaptation: (a) it allows the user to specify a third type of requirement that keeps a value above/below a threshold (T-reqs), and (b) it can deal with requirement sets that change at runtime (i.e., requirements can be adjusted, activated, and deactivated on the fly). SimCA∗ offers robustness to disturbances and provides adaptation guarantees. We evaluate SimCA∗ for two systems with strict goals from different domains: an underwater vehicle system used for oceanic surveillance, and a tele-assistance system for health care support. The test results demonstrate that SimCA∗ can deal with the three types of requirements (STO-reqs) operating under various types of dynamics and the set of requirements can be changed on the fly. (Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
keywords
software, SimCA, self-adaptation, control theory
in
Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017
pages
12 pages
publisher
Institute of Electrical and Electronics Engineers Inc.
conference name
The 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
external identifiers
  • scopus:85027154401
ISBN
9781538615508
DOI
10.1109/SEAMS.2017.3
language
English
LU publication?
yes
id
87f36d05-c2c5-4a40-9138-3f6bf04bb9d9
date added to LUP
2017-03-02 13:53:01
date last changed
2018-03-12 19:26:01
@inproceedings{87f36d05-c2c5-4a40-9138-3f6bf04bb9d9,
  abstract     = {Self-adaptation provides a principled way to deal with change during operation. As more systems with strict goals require self-adaptation, the need for guarantees in self-adaptive systems is becoming a high-priority concern. Designing adaptive software using principles from control theory has been identified as one of the approaches to provide guarantees. However, current solutions can only handle pre-specified requirements either in the form of setpoint values (S-reqs) or values to be optimized (O-reqs). This paper presents SimCA∗ that makes two contributions to control-based self-adaptation: (a) it allows the user to specify a third type of requirement that keeps a value above/below a threshold (T-reqs), and (b) it can deal with requirement sets that change at runtime (i.e., requirements can be adjusted, activated, and deactivated on the fly). SimCA∗ offers robustness to disturbances and provides adaptation guarantees. We evaluate SimCA∗ for two systems with strict goals from different domains: an underwater vehicle system used for oceanic surveillance, and a tele-assistance system for health care support. The test results demonstrate that SimCA∗ can deal with the three types of requirements (STO-reqs) operating under various types of dynamics and the set of requirements can be changed on the fly.},
  author       = {Shevtsov, Stepan and Weyns, Danny and Maggio, Martina},
  booktitle    = {Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017},
  isbn         = {9781538615508},
  keyword      = {software,SimCA,self-adaptation,control theory},
  language     = {eng},
  pages        = {12--23},
  publisher    = {Institute of Electrical and Electronics Engineers Inc.},
  title        = {Handling New and Changing Requirements with Guarantees in Self-Adaptive Systems using SimCA},
  url          = {http://dx.doi.org/10.1109/SEAMS.2017.3},
  year         = {2017},
}