SEAMS 2019
Sat 25 - Sun 26 May 2019 Montreal, QC, Canada
co-located with ICSE 2019
Sat 25 May 2019 16:25 - 16:50 at Duluth - Requirements Chair(s): Betty Cheng

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.

Sat 25 May

seams-2019-papers
16:00 - 17:30: SEAMS 2019 - Requirements at Duluth
Chair(s): Betty ChengMichigan State University
seams-2019-papers16:00 - 16:25
Talk
Amel BennaceurThe Open University, Andrea ZismanThe Open University, Ciaran MccormickThe Open University, Danny BarthaudThe Open University, Bashar NuseibehThe Open University (UK) & Lero (Ireland)
seams-2019-papers16:25 - 16:50
Talk
Gabriela Félix SolanoUniversity of Brasília, Ricardo CaldasUniversity of Brası́lia, Genaína Nunes RodriguesUniversity of Brasília, Thomas VogelHumboldt-Universität zu Berlin, Patrizio PelliccioneChalmers | University of Gothenburg and University of L'Aquila
Pre-print
seams-2019-papers16:50 - 16:55
Talk
Gabriela Félix SolanoUniversity of Brasília, Ricardo CaldasUniversity of Brası́lia, Genaina RodriguesUniversity of Brasilia, Thomas VogelHumboldt-Universität zu Berlin, Patrizio PelliccioneChalmers | University of Gothenburg and University of L'Aquila
seams-2019-papers16:55 - 17:10
Talk
Christos TsigkanosTechnische Universität Wien, Laura NenziUniversity of Trieste, Michele LoretiUniversity of Camerino, Martin Garriga, Schahram DustdarTU Wien, Carlo GhezziPolitecnico di Milano
seams-2019-papers17:10 - 17:25
Talk
Paulo MaiaState University of Ceará, Lucas VieiraState University of Ceará, Matheus ChagasState University of Ceará, Yijun YuThe Open University, UK, Andrea ZismanThe Open University, Bashar NuseibehThe Open University (UK) & Lero (Ireland)