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
Assuring System Goals Under Uncertainty with Active Formal Models of 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.ORCID iD: 0000-0002-1162-0817
2014 (English)In: Companion Proceedings of the 36th International Conference on Software Engineering, ACM/IEEE , 2014, p. 604-605Conference paper, Published paper (Refereed)
Abstract [en]

Designing software systems with uncertainties, such as incomplete knowledge about changing system goals, is challenging. One approach to handle uncertainties is self-adaptation, where a system consists of a managed system and a managing system that realizes a feedback loop. The promise of self-adaptation is to enable a system to adapt itself realizing the system goals, regarding uncertainties. To realize this promise it is critical to provide assurances for the self-adaptive behaviours. Several approaches have been proposed that exploit formal methods to provide these assurances. However, an integrated approach that combines: (1) seamless integration of offline and online verification (to deal with inherent limitations of verification), with (2) support for runtime evolution of the system (to deal with new or changing goals) is lacking. In this paper, we outline a new approach named Active FORmal Models of Self-adaptation (ActivFORMS) that aims to deal with these challenges. In ActivFORMS, the formal models of the managing system are directly deployed and executed to realize self-adaptation, guaranteeing the verified properties. Having the formal models readily available at runtime paves the way for: (1) incremental verification during system execution, and (2) runtime evolution of the self-adaptive system. Experiences with a robotic system show promising results.

Place, publisher, year, edition, pages
ACM/IEEE , 2014. p. 604-605
Series
Proceedings / International Conference of Software Engineering, ISSN 0270-5257, E-ISSN 1558-1225
Keyword [en]
Self-adaptive systems, formal models at runtime, verification
National Category
Computer Sciences Software Engineering
Identifiers
URN: urn:nbn:se:lnu:diva-44780DOI: 10.1145/2591062.2591137ISI: 000380902900101Scopus ID: 2-s2.0-84903639309ISBN: 978-1-4503-2768-8 (print)OAI: oai:DiVA.org:lnu-44780DiVA: diva2:823518
Conference
International Conference on Software Engineering (ICSE 04)
Available from: 2015-06-18 Created: 2015-06-18 Last updated: 2018-02-16Bibliographically approved

Open Access in DiVA

fulltext(541 kB)61 downloads
File information
File name FULLTEXT01.pdfFile size 541 kBChecksum SHA-512
cac9cc74dfbbfcdb30bc68664014e8de7bbde94a3e9a63f33b8765934c02b65a815a292c03c5087d434008730a61ddd75922b11a48b0db8abd70d78fe67fe38e
Type fulltextMimetype application/pdf

Other links

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

Search in DiVA

By author/editor
Iftikhar, Muhammad UsmanWeyns, Danny
By organisation
Department of Computer Science
Computer SciencesSoftware Engineering

Search outside of DiVA

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