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
SimCA vs ActivFORMS: comparing control- and architecture-based adaptation on the TAS exemplar
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. (Adaptwise)ORCID iD: 0000-0002-1343-5834
Linnaeus University, Faculty of Technology, Department of Computer Science.ORCID iD: 0000-0002-1162-0817
2015 (English)In: Proceedings of the 1st International Workshop on Control Theory for Software Engineering, New York, NY, USA: ACM Press, 2015, p. 1-8Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
New York, NY, USA: ACM Press, 2015. p. 1-8
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:lnu:diva-51287DOI: 10.1145/2804337.2804338Scopus ID: 2-s2.0-84960465280ISBN: 978-1-4503-3814-1 (print)OAI: oai:DiVA.org:lnu-51287DiVA, id: diva2:914017
Conference
CTSE 2015
Available from: 2016-03-23 Created: 2016-03-23 Last updated: 2018-01-10Bibliographically 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

fulltext(781 kB)60 downloads
File information
File name FULLTEXT01.pdfFile size 781 kBChecksum SHA-512
d69b82e6fa3ce507ea0e92484010d48ac52c294326b41a43062193825827c1c4ba062e24295f05d155b29c5f4263b14b923eb9ec5082b158e5d84ce982207efa
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopusSimCA vs activFORMS

Authority records BETA

Shevtsov, StepanIftikhar, Muhammad UsmanWeyns, Danny

Search in DiVA

By author/editor
Shevtsov, StepanIftikhar, Muhammad UsmanWeyns, Danny
By organisation
Department of Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 60 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

doi
isbn
urn-nbn

Altmetric score

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