Change search
ReferencesLink to record
Permanent link

Direct link
Assuring System Goals Under Uncertainty with Active Formal Models of Self-adaptation
Linnaeus University, Faculty of Technology, Department of Computer Science. Linnaeus University.
Linnaeus University, Faculty of Technology, Department of Computer Science.
2014 (English)In: Companion Proceedings of the 36th International Conference on Software Engineering, ACM Press, 2014, 604-605 p.Conference 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 Press, 2014. 604-605 p.
Keyword [en]
Self-adaptive systems, formal models at runtime, verification
National Category
Computer Science Software Engineering
URN: urn:nbn:se:lnu:diva-44780DOI: 10.1145/2591062.2591137ISBN: 978-1-4503-2768-8OAI: diva2:823518
International Conference on Software Engineering (ICSE 04)
Available from: 2015-06-18 Created: 2015-06-18 Last updated: 2015-09-17Bibliographically approved

Open Access in DiVA

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

Other links

Publisher's full text

Search in DiVA

By author/editor
Iftikhar, Mohammad UsmanWeyns, Danny
By organisation
Department of Computer Science
Computer ScienceSoftware Engineering

Search outside of DiVA

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

Altmetric score

Total: 128 hits
ReferencesLink to record
Permanent link

Direct link