2017
DOI: 10.1007/978-3-319-74183-3_2
|View full text |Cite
|
Sign up to set email alerts
|

Perpetual Assurances for Self-Adaptive Systems

Abstract: Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplete knowledge to sensor noise and uncertain behavior of humans in the loop. Providing assurances that the self-adaptive system complies with its requirements calls for an enduring process spanning the whole lifetime of the system. In this process, humans and the system jointly derive and integrate new evidence and arguments, which we c… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
37
0

Year Published

2017
2017
2020
2020

Publication Types

Select...
6
2
1

Relationship

1
8

Authors

Journals

citations
Cited by 61 publications
(37 citation statements)
references
References 67 publications
0
37
0
Order By: Relevance
“…Runtime verification of this stochastic model enables to calculate expected quality properties (e.g., likelihood of failures, expected response times) for different adaptation options, allowing the system to identify system configurations that comply with the required goals and to adapt itself accordingly. Simulation-based techniques for providing guarantees for self-adaptive systems at runtime have not been well studied yet [72]. A representative work of such a category is the modular approach presented in [73] for decision making in self-adaptive systems.…”
Section: Related Workmentioning
confidence: 99%
See 1 more Smart Citation
“…Runtime verification of this stochastic model enables to calculate expected quality properties (e.g., likelihood of failures, expected response times) for different adaptation options, allowing the system to identify system configurations that comply with the required goals and to adapt itself accordingly. Simulation-based techniques for providing guarantees for self-adaptive systems at runtime have not been well studied yet [72]. A representative work of such a category is the modular approach presented in [73] for decision making in self-adaptive systems.…”
Section: Related Workmentioning
confidence: 99%
“…Probabilistic, nondeterministic and realtime characteristics seem to be essential for modeling self-adaptive systems; however probabilistic models are known to be computationally expensive for execution, which makes them unsuitable for use at runtime, where often decisions have to be made very fast [74]. Runtime simulation-based techniques, such as the approach in [73], have not been well studied yet [72].…”
Section: A Comparison Of Framework For Timed Samentioning
confidence: 99%
“…In the past few years, research in this area has particularly been focussing on how to provide assurances for the adaptation goals of self-adaptive systems that operate under uncertain operating conditions [14,31]. This is particularly important for systems with strict quality goals.…”
Section: Background On Self-adaptationmentioning
confidence: 99%
“…To deal with change, software systems must adapt their structure, behaviour, and security mechanisms [11]. Incomplete knowledge of the physical environment, the uncertainty of human behaviour, the multitude of stakeholders, and changing goals make such adaptation particularly challenging [35].…”
Section: Interoperability One Of the Fundamental Challenges Of Thementioning
confidence: 99%