lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Keep It SIMPLEX: Satisfying Multiple Goals with Guarantees in Control-Based Self-Adaptive Systems
Linnaeus University, Faculty of Technology, Department of Computer Science.ORCID iD: 0000-0003-0098-9376
Linnaeus University, Faculty of Technology, Department of Computer Science. Katholieke Univ Leuven, Belgium.ORCID iD: 0000-0002-1162-0817
2016 (English)In: FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, ACM Publications, 2016, p. 229-241Conference paper, Published paper (Refereed)
Abstract [en]

An increasingly important concern of software engineers is handling uncertainties at design time, such as environment dynamics that may be difficult to predict or requirements that may change during operation. The idea of self-adaptation is to handle such uncertainties at runtime, when the knowledge becomes available. As more systems with strict requirements require self-adaptation, providing guarantees for adaptation has become a high-priority. Providing such guarantees with traditional architecture-based approaches has shown to be challenging. In response, researchers have studied the application of control theory to realize self-adaptation. However, existing control-theoretic approaches applied to adapt software systems have primarily focused on satisfying only a single adaptation goal at a time, which is often too restrictive for real applications. In this paper, we present Simplex Control Adaptation, SimCA, a new approach to self-adaptation that satisfies multiple goals, while being optimal with respect to an additional goal. SimCA offers robustness to measurement inaccuracy and environmental disturbances, and provides guarantees. We evaluate SimCA for two systems with strict requirements that have to deal with uncertainties: an underwater vehicle system used for oceanic surveillance, and a tele-assistance system for health care support.

Place, publisher, year, edition, pages
ACM Publications, 2016. p. 229-241
Keywords [en]
Self-adaptive system, control theory, simplex, multiple goals
National Category
Computer Sciences
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-60255DOI: 10.1145/2950290.2950301ISI: 000391133400025Scopus ID: 2-s2.0-84997501213ISBN: 978-1-4503-4218-6 (print)OAI: oai:DiVA.org:lnu-60255DiVA, id: diva2:1068947
Conference
24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), NOV 13-18, 2016, Seattle, WA
Available from: 2017-01-26 Created: 2017-01-26 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)
Abstract [en]

 

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: 2022-03-08Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

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: 253 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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