lnu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A Control-based Approach for Self-adaptive Software Systems with Formal Guarantees
Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap och medieteknik (DM), Institutionen för datavetenskap (DV). KU Leuven, Belgium. (Adaptwise)ORCID-id: 0000-0003-0098-9376
2017 (Engelska)Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
Abstract [en]

 

Ort, förlag, år, upplaga, sidor
Växjö: Linnaeus University Press, 2017. , s. 172
Serie
Lnu Licentiate ; 5
Nationell ämneskategori
Datorsystem
Forskningsämne
Data- och informationsvetenskap, Datavetenskap
Identifikatorer
URN: urn:nbn:se:lnu:diva-69338ISBN: 978-91-88357-95-3 (tryckt)OAI: oai:DiVA.org:lnu-69338DiVA, id: diva2:1166840
Presentation
2017-12-15, D1136A, 13:00 (Engelska)
Opponent
Handledare
Tillgänglig från: 2017-12-18 Skapad: 2017-12-16 Senast uppdaterad: 2022-03-08Bibliografiskt granskad
Delarbeten
1. Control-Theoretical Software Adaptation: A Systematic Literature Review
Öppna denna publikation i ny flik eller fönster >>Control-Theoretical Software Adaptation: A Systematic Literature Review
2018 (Engelska)Ingår i: IEEE Transactions on Software Engineering, ISSN 0098-5589, E-ISSN 1939-3520, Vol. 44, nr 8, s. 784-810Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

Modern software applications are subject to uncertain operating conditions, such as dynamics in the availability of services and variations of system goals. Consequently, runtime changes cannot be ignored, but often cannot be predicted at design time. Control theory has been identified as a principled way of addressing runtime changes and it has been applied successfully to modify the structure and behavior of software applications. Most of the times, however, the adaptation targeted the resources that the software has available for execution (CPU, storage, etc.) more than the software application itself. This paper investigates the research efforts that have been conducted to make software adaptable by modifying the software rather than the resource allocated to its execution. This paper aims to identify: the focus of research on control-theoretical software adaptation; how software is modeled and what control mechanisms are used to adapt software; what software qualities and controller guarantees are considered. To that end, we performed a systematic literature review in which we extracted data from 42 primary studies selected from 1512 papers that resulted from an automatic search. The results of our investigation show that even though the behavior of software is considered non-linear, research efforts use linear models to represent it, with some success. Also, the control strategies that are most often considered are classic control, mostly in the form of Proportional and Integral controllers, and Model Predictive Control. The paper also discusses sensing and actuating strategies that are prominent for software adaptation and the (often neglected) proof of formal properties. Finally, we distill open challenges for control-theoretical software adaptation.

Ort, förlag, år, upplaga, sidor
IEEE, 2018
Nyckelord
self-adaptive software, control theory, software adaptation
Nationell ämneskategori
Datorsystem
Forskningsämne
Data- och informationsvetenskap, Datavetenskap
Identifikatorer
urn:nbn:se:lnu:diva-69336 (URN)10.1109/TSE.2017.2704579 (DOI)000441791100004 ()2-s2.0-85052241956 (Scopus ID)
Tillgänglig från: 2017-12-16 Skapad: 2017-12-16 Senast uppdaterad: 2021-04-13Bibliografiskt granskad
2. SimCA vs ActivFORMS: comparing control- and architecture-based adaptation on the TAS exemplar
Öppna denna publikation i ny flik eller fönster >>SimCA vs ActivFORMS: comparing control- and architecture-based adaptation on the TAS exemplar
2015 (Engelska)Ingår i: Proceedings of the 1st International Workshop on Control Theory for Software Engineering, New York, NY, USA: ACM Press, 2015, s. 1-8Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Today customers require software systems to provide particular levels of qualities, while operating under dynamically changing conditions. These requirements can be met with different self-adaptation approaches. Recently, we developed two approaches that are different in nature - control theory-based SimCA and architecture-based ActivFORMS - to endow software systems with self-adaptation, providing guarantees on desired behavior. However, it is unclear which of the two approaches should be used in different adaptation scenarios and how effective they are in comparison to each other. In this paper, we apply SimCA and ActivFORMS to the Tele Assistance System (TAS) exemplar and compare obtained results, demonstrating the difference in achieved qualities and formal guarantees.

Ort, förlag, år, upplaga, sidor
New York, NY, USA: ACM Press, 2015
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
urn:nbn:se:lnu:diva-51287 (URN)10.1145/2804337.2804338 (DOI)2-s2.0-84960465280 (Scopus ID)978-1-4503-3814-1 (ISBN)
Konferens
CTSE 2015
Tillgänglig från: 2016-03-23 Skapad: 2016-03-23 Senast uppdaterad: 2018-01-10Bibliografiskt granskad
3. Keep It SIMPLEX: Satisfying Multiple Goals with Guarantees in Control-Based Self-Adaptive Systems
Öppna denna publikation i ny flik eller fönster >>Keep It SIMPLEX: Satisfying Multiple Goals with Guarantees in Control-Based Self-Adaptive Systems
2016 (Engelska)Ingår i: FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, ACM Publications, 2016, s. 229-241Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
ACM Publications, 2016
Nyckelord
Self-adaptive system, control theory, simplex, multiple goals
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Data- och informationsvetenskap, Datavetenskap
Identifikatorer
urn:nbn:se:lnu:diva-60255 (URN)10.1145/2950290.2950301 (DOI)000391133400025 ()2-s2.0-84997501213 (Scopus ID)978-1-4503-4218-6 (ISBN)
Konferens
24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), NOV 13-18, 2016, Seattle, WA
Tillgänglig från: 2017-01-26 Skapad: 2017-01-26 Senast uppdaterad: 2018-01-13Bibliografiskt granskad
4. Handling New and Changing Requirements with Guarantees in Self-Adaptive Systems using SimCA*
Öppna denna publikation i ny flik eller fönster >>Handling New and Changing Requirements with Guarantees in Self-Adaptive Systems using SimCA*
2017 (Engelska)Ingår i: 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, s. 12-23, artikel-id 7968128Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
IEEE, 2017
Nyckelord
self-adaptation, software, control theory
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Data- och informationsvetenskap, Datavetenskap
Identifikatorer
urn:nbn:se:lnu:diva-62009 (URN)10.1109/SEAMS.2017.3 (DOI)2-s2.0-85027154401 (Scopus ID)9781538615508 (ISBN)
Konferens
The 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 22-23, 2017, Buenos Aires
Tillgänglig från: 2017-03-31 Skapad: 2017-03-31 Senast uppdaterad: 2021-01-13Bibliografiskt granskad

Open Access i DiVA

Licentiate Thesis (Full Text)(2867 kB)1485 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 2867 kBChecksumma SHA-512
81b175b4b6bcc1543c35daee01d125dbe66586c00fb23197ab1ec90502fa118a2642ff005aaf315b995afae02d3b91e99db954fa9adbd1c87e0dcbfeba304859
Typ fulltextMimetyp application/pdf

Person

Shevtsov, Stepan

Sök vidare i DiVA

Av författaren/redaktören
Shevtsov, Stepan
Av organisationen
Institutionen för datavetenskap (DV)
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 1485 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 754 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf