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
A Control-theoretic Approach to Realize Self-adaptive Software Systems with Guarantees
Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM). KU Leuven, Belgium. (Adaptwise)ORCID iD: 0000-0003-0098-9376
2019 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

Engineering modern software systems is a challenging task as these systems are subject to different types of uncertainties. Examples of such uncertainties are disturbances in the environment that are difficult to predict and goals that may change during operation. The idea of self-adaptation is to handle these uncertainties at runtime, when the knowledge becomes available to resolve them. As more software systems with strict requirements are designed to be self-adaptive, the need for adaptation guarantees is becoming a high-priority concern. Providing such guarantees with traditional architecture-based approaches has shown to be challenging, calling for new approaches to engineer self-adaptive systems. To tackle this challenge, this thesis studies control-based software adaptation (CBSA). CBSA applies principles from control theory to design self-adaptive software systems. More specifically, we address the following research problem using CBSA: how to realize self-adaptive software systems that satisfy multiple stakeholder requirements with guarantees in the presence of uncertainties.

The thesis addresses the research problem in two subsequent stages. The first stage focuses on satisfying multiple stakeholder requirements of different types, and providing adaptation guarantees. This stage starts with a systematic literature review of CBSA, which provides a comprehensive overview of the field, including existing CBSA approaches, applied models and controllers, and analyzed guarantees. From the review, we identify a number of gaps in the existing research and concrete challenges in addressing the research problem. Then, we devise SimCA, a control-theoretic approach to realize self-adaptive software systems that satisfy multiple requirements with guarantees. SimCA combines mathematical models of software system, a control-based adaptation mechanism, and formal analysis of the required guarantees. SimCA is also reusable, meaning that it can be applied to a family of cooperative software systems with strict requirements. The second research stage focuses on handling different types of uncertainty.We first discuss the types of uncertainty and study whether existing CBSA approaches try to deal with these types. We then introduce an enhanced approach called SimCA* that includes components to deal with uncertainty in software parameters, addition or removal of requirements at runtime and software component interactions. In order to obtain evidence about the applicability and reusability of SimCA and SimCA*, we apply informal exploratory case studies with three software systems with strict requirements from different domains.

Place, publisher, year, edition, pages
Växjö: Linnaeus University Press, 2019.
National Category
Computer Sciences
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-81037Libris ID: fpbxl5dkccfnk082ISBN: 978-91-88898-49-4 (print)ISBN: 978-91-88898-50-0 (electronic)OAI: oai:DiVA.org:lnu-81037DiVA, id: diva2:1295460
Public defence
2019-03-29, D1136, Universitetsplatsen 1, Hud B/D, Vaxjo, 13:00 (English)
Opponent
Supervisors
Funder
Swedish Research CouncilAvailable from: 2019-03-12 Created: 2019-03-11 Last updated: 2019-09-16Bibliographically approved

Open Access in DiVA

Doctoral Thesis (Fulltext)(3175 kB)70 downloads
File information
File name FULLTEXT01.pdfFile size 3175 kBChecksum SHA-512
fde1431fca5e02346b2baed00faf3e9de5c9b90500c51bfbdb946cade03bb34e9b8fa091e50b1d949992c908c1bdc022b22f8a1e419e3528c888a28e8ac37152
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Shevtsov, Stepan
By organisation
Department of computer science and media technology (CM)
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 70 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 411 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