Assuring System Goals Under Uncertainty with Active Formal Models of Self-adaptation
2014 (English)In: Companion Proceedings of the 36th International Conference on Software Engineering, ACM Press, 2014, 604-605 p.Conference paper (Refereed)
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.
Self-adaptive systems, formal models at runtime, verification
Computer Science Software Engineering
IdentifiersURN: urn:nbn:se:lnu:diva-44780DOI: 10.1145/2591062.2591137ISBN: 978-1-4503-2768-8OAI: oai:DiVA.org:lnu-44780DiVA: diva2:823518
International Conference on Software Engineering (ICSE 04)