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
ActivFORMS: Active Formal Models for Self-adaptation
Linnaeus University, Faculty of Technology, Department of Computer Science. Linnaeus University.ORCID iD: 0000-0002-1343-5834
Linnaeus University, Faculty of Technology, Department of Computer Science. (AdaptWise)ORCID iD: 0000-0002-1162-0817
2014 (English)In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, ACM Press, 2014, 125-134 p.Conference paper, Published paper (Refereed)
Abstract [en]

Self-adaptation enables a software system to deal autonomously with uncertainties, such as dynamic operating conditions that are difficult to predict or changing goals. A common approach to realize self-adaptation is with a MAPE-K feedback loop that consists of four adaptation components: Monitor, Analyze, Plan, and Execute. These components share Knowledge models of the managed system, its goals and environment. To provide guarantees of the adaptation goals, state of the art approaches propose using formal models of the knowledge. However, less attention is given to the formalization of the adaptation components themselves, which is important to provide guarantees of correctness of the adaptation behavior (e.g., does the execute component execute the plan correctly?). We propose Active FORmal Models for Self-adaptation (ActivFORMS) that uses an integrated formal model of the adaptation components and knowledge models. The formal model is directly executed by a virtual machine to realize adaptation, hence active model. The contributions of ActivFORMS are: (1) the approach assures that the adaptation goals that are verified offline are guaranteed at runtime, and (2) it supports dynamic adaptation of the active model to support changing goals. We show how we have applied ActivFORMS for a small-scale robotic system

Place, publisher, year, edition, pages
ACM Press, 2014. 125-134 p.
Keyword [en]
Self-adaptive systems, formal models at runtime, verification
National Category
Software Engineering Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-44779DOI: 10.1145/2593929.2593944Scopus ID: 2-s2.0-84903737752ISBN: 978-1-4503-2864-7 (print)OAI: oai:DiVA.org:lnu-44779DiVA: diva2:823523
Conference
9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 04)
Available from: 2015-06-18 Created: 2015-06-18 Last updated: 2017-01-16Bibliographically approved

Open Access in DiVA

fulltext(3649 kB)257 downloads
File information
File name FULLTEXT01.pdfFile size 3649 kBChecksum SHA-512
bb89c0e919a97fe46efe3b22b7475ff85d92a48b3b66d32f6700589c4d343203ba2495452830c2c1954e6d381eee9ba9ab2f09632bfe2e21b2b59bdeb5425b4b
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopushttp://doi.acm.org/10.1145/2593929.2593944

Search in DiVA

By author/editor
Iftikhar, Muhammad UsmanWeyns, Danny
By organisation
Department of Computer Science
Software EngineeringComputer Science

Search outside of DiVA

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