ABSTRACT
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.
- R. Calinescu et al. Dynamic qos management and optimization in service-based systems. TSE, 37(3), 2011. Google ScholarDigital Library
- R. Calinescu et al. Self-adaptive software needs quantitative verification at runtime. Commun. ACM, 55(9), 2012. Google ScholarDigital Library
- B. Cheng et al. Software engineering for self-adaptive systems: A research roadmap. In Software Engineering for Self-Adaptive Systems, LNCS vol. 5525. Springer, 2009. Google ScholarDigital Library
- I. Epifani et al. Model evolution by run-time parameter adaptation. In ICSE, 2009. Google ScholarDigital Library
- C. Ghezzi et al. Managing non-functional uncertainty via model-driven adaptivity. In ICSE, 2013. Google ScholarDigital Library
- K. Johnson et al. An incremental verification framework for component-based software systems. CBSE, 2013. Google ScholarDigital Library
- J. Kephart and D. Chess. The vision of autonomic computing. Computer, 36(1), 2003. Google ScholarDigital Library
- D. Weyns et al. FORMS: Unifying Reference Model for Formal Specification of Distributed Self-Adaptive Systems. ACM TAAS, 7(1), 2012. Google ScholarDigital Library
Index Terms
- Assuring system goals under uncertainty with active formal models of self-adaptation
Recommendations
ActivFORMS: active formal models for self-adaptation
SEAMS 2014: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing SystemsSelf-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 ...
Adaptation impact and environment models for architecture-based self-adaptive systems
Self-adaptive systems have the ability to adapt their behavior to dynamic operating conditions. In reaction to changes in the environment, these systems determine the appropriate corrective actions based in part on information about which action will ...
Adaptive Knowledge Bases in Self-Adaptive System Design
SEAA '15: Proceedings of the 2015 41st Euromicro Conference on Software Engineering and Advanced ApplicationsSelf-adaptive systems allow for flexible solutions in changing environments. Usually, a fixed set of predefined rules is used to define the adaptation possibilities of a system. The main problem of such systems is to cope with environment behaviours ...
Comments