Handling New and Changing Requirements with Guarantees in Self-Adaptive Systems using SimCA
(2017) The 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems 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:
https://lup.lub.lu.se/record/87f36d05-c2c5-4a40-9138-3f6bf04bb9d9
- author
- Shevtsov, Stepan ; Weyns, Danny and Maggio, Martina LU
- organization
- publishing date
- 2017
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- keywords
- software, SimCA, self-adaptation, control theory
- host publication
- Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017
- article number
- 7968128
- pages
- 12 pages
- publisher
- IEEE - Institute of Electrical and Electronics Engineers Inc.
- conference name
- The 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
- conference location
- Buenos Aires, Argentina
- conference dates
- 2017-05-22 - 2017-05-23
- external identifiers
-
- scopus:85027154401
- ISBN
- 9781538615508
- DOI
- 10.1109/SEAMS.2017.3
- project
- Power Control for Computing Infrastructures
- language
- English
- LU publication?
- yes
- id
- 87f36d05-c2c5-4a40-9138-3f6bf04bb9d9
- date added to LUP
- 2017-03-02 13:53:01
- date last changed
- 2022-05-02 18:09:40
@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}},
keywords = {{software; SimCA; self-adaptation; control theory}},
language = {{eng}},
pages = {{12--23}},
publisher = {{IEEE - 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}},
doi = {{10.1109/SEAMS.2017.3}},
year = {{2017}},
}