Home > Research > Publications & Outputs > Understanding the Scope of Uncertainty in Dynam...

Associated organisational unit

View graph of relations

Understanding the Scope of Uncertainty in Dynamically Adaptive Systems

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Publication date1/06/2010
Host publicationRequirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings
EditorsRoel Wieringa, Anne Persson
Place of PublicationBerlin
PublisherSpringer
Pages2-16
Number of pages15
ISBN (print)978-3-642-14191-1
<mark>Original language</mark>English
EventRequirements Engineering Foundation for Software Quality (REFSQ) 2010 - Essen, Germany
Duration: 30/06/20102/07/2010

Conference

ConferenceRequirements Engineering Foundation for Software Quality (REFSQ) 2010
Country/TerritoryGermany
CityEssen
Period30/06/102/07/10

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume6182
ISSN (Print)0302-9743
ISSN (electronic)1611-3349

Conference

ConferenceRequirements Engineering Foundation for Software Quality (REFSQ) 2010
Country/TerritoryGermany
CityEssen
Period30/06/102/07/10

Abstract

[Context and motivation] Dynamically adaptive systems are increasingly conceived as a means to allow operation in changeable or poorly understood environments. [Question/problem] This can result in the selection of solution strategies based on assumptions that may not be well founded. [Principle ideas/results] This paper proposes the use of claims in goal models as a means to reason about likely sources of uncertainty in dynamically adaptive systems. Accepting that such claims can’t be easily validated at design-time, we should instead evaluate how the system will behave if a claim is proven false by developing a validation scenario. [Contribution] Validation scenarios may be costly to evaluate so the approach we advocate is designed to carefully select only those claims that are less certain, or whose falsification would have serious consequences.