Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach

05/06/2019
by   Gabriela Félix Solano, et al.
0

Goals are first-class entities in a self-adaptive system (SAS) as they guide the self-adaptation. A SAS often operates in dynamic and partially unknown environments, which cause uncertainty that the SAS has to address to achieve its goals. Moreover, besides the environment, other classes of uncertainty have been identified. However, these various classes and their sources are not systematically addressed by current approaches throughout the life cycle of the SAS. In general, uncertainty typically makes the assurance provision of SAS goals exclusively at design time not viable. This calls for an assurance process that spans the whole life cycle of the SAS. In this work, we propose a goal-oriented assurance process that supports taming different sources (within different classes) of uncertainty from defining the goals at design time to performing self-adaptation at runtime. Based on a goal model augmented with uncertainty annotations, we automatically generate parametric symbolic formulae with parameterized uncertainties at design time using symbolic model checking. These formulae and the goal model guide the synthesis of adaptation policies by engineers. At runtime, the generated formulae are evaluated to resolve the uncertainty and to steer the self-adaptation using the policies. In this paper, we focus on reliability and cost properties, for which we evaluate our approach on the Body Sensor Network (BSN) implemented in OpenDaVINCI. The results of the validation are promising and show that our approach is able to systematically tame multiple classes of uncertainty, and that it is effective and efficient in providing assurances for the goals of self-adaptive systems.

READ FULL TEXT
research
04/03/2018

A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems

The assurance of real-time properties is prone to context variability. P...
research
08/29/2019

ActivFORMS: A Model-Based Approach to Engineer Self-Adaptive Systems

Handling change is an increasingly important challenge for software engi...
research
11/04/2022

Dealing with Drift of Adaptation Spaces in Learning-based Self-Adaptive Systems using Lifelong Self-Adaptation

Recently, machine learning (ML) has become a popular approach to support...
research
12/12/2021

Report on A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems

Self-adaptive systems manage themselves to deal with uncertainties that ...
research
04/05/2022

Towards Digital Twin-enabled DevOps for CPS providing Architecture-Based Service Adaptation Verification at Runtime

Industrial Product-Service Systems (IPSS) denote a service-oriented (SO)...
research
07/22/2019

Feature-Model-Guided Online Learning for Self-Adaptive Systems

A self-adaptive system can modify its own structure and behavior at runt...
research
02/16/2019

Neuromodulated Goal-Driven Perception in Uncertain Domains

In uncertain domains, the goals are often unknown and need to be predict...

Please sign up or login with your details

Forgot password? Click here to reset