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, 2017, 12-23 p., 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
2017. 12-23 p., 7968128
Keyword [en]
self-adaptation, software, control theory
National Category
Computer Science
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: 2017-09-14

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 142 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