Taming uncertainty in the assurance process of self-adaptive systems: A goal-oriented approach
Paper in proceeding, 2019

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.

goal modelling

markov decision process

adaptation policy

Self-adaptive systems

symbolic model checking



Gabriela Felix Solano

University of Brasilia

Ricardo Diniz Caldas

University of Brasilia

Genaina Nunes Rodrigues

University of Brasilia

Thomas Vogel

Humboldt University of Berlin

Patrizio Pelliccione

University of L'Aquila

University of Gothenburg

ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems

21572305 (ISSN) 21567891 (eISSN)

Vol. 2019-May 89-99 8787060
9781728133683 (ISBN)

14th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019
Montreal, Canada,

Subject Categories

Computer Engineering

Embedded Systems

Computer Science



More information

Latest update