lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Handling New and Changing Requirements with Guarantees in Self-Adaptive Systems using SimCA*
Linnaeus University, Faculty of Technology, Department of Computer Science. (Adaptwise)ORCID iD: 0000-0003-0098-9376
Linnaeus University, Faculty of Technology, Department of Computer Science. KU Leuven, Belgium. (Adaptwise)ORCID iD: 0000-0002-1162-0817
Lund University.
2017 (English)In: Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017, 3 July 2017 -  23 May 2017, Buenos Aires, IEEE, 2017, p. 12-23, article id 7968128Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
IEEE, 2017. p. 12-23, article id 7968128
Keyword [en]
self-adaptation, software, control theory
National Category
Computer Sciences
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-62009DOI: 10.1109/SEAMS.2017.3ISBN: 9781538615508 (print)OAI: oai:DiVA.org:lnu-62009DiVA: diva2:1086048
Conference
The 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 22-23, 2017, Buenos Aires
Available from: 2017-03-31 Created: 2017-03-31 Last updated: 2018-01-13Bibliographically approved
In thesis
1. A Control-based Approach for Self-adaptive Software Systems with Formal Guarantees
Open this publication in new window or tab >>A Control-based Approach for Self-adaptive Software Systems with Formal Guarantees
2017 (English)Licentiate thesis, comprehensive summary (Other academic)
Place, publisher, year, edition, pages
Växjö: Linnaeus University Press, 2017. p. 172
Series
Lnu Licentiate ; 5
National Category
Computer Systems
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
urn:nbn:se:lnu:diva-69338 (URN)978-91-88357-95-3 (ISBN)
Presentation
2017-12-15, D1136A, 13:00 (English)
Opponent
Supervisors
Available from: 2017-12-18 Created: 2017-12-16 Last updated: 2017-12-18Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Shevtsov, StepanWeyns, Danny

Search in DiVA

By author/editor
Shevtsov, StepanWeyns, Danny
By organisation
Department of Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 164 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf