Paper Info
Title
Safety and Dependability Analysis of Self-Adaptive Systems
Abstract
In this paper we present a technique for safety analysis of self-adaptive systems with formal methods. Self- adaptive systems are characterized by the ability to dynamically (self-)adapt and reorganize. The aim of this approach is to make the systems more dependable. But in general it is unclear how big the benefit is - compared to a traditional design. We propose a dependability analysis based on the results of safety analysis to measure the quality of self-x capabilities of an adaptive system with formal methods. This is important for unbiased and evidence-based decision making in early design phases. To illustrate the results we show the application of the method to a case study from the domain of production automation.
Year
DOI
Venue
2006
10.1109/ISoLA.2006.38
Paphos
Keywords
Field
DocType
traditional design,formal method,evidence-based decision,self-adaptive system,safety analysis,self-adaptive systems,adaptive system,production automation,dependability analysis,case study,early design phase,dependence analysis
Dependability analysis,Dependability,Adaptive system,Computer science,Automation,Self adaptive,Formal methods,Reliability engineering
Conference
ISBN
Citations 
PageRank 
978-0-7695-3071-0
10
0.73
References 
Authors
8
3
Name
Order
Citations
PageRank
Matthias Güdemann112811.15
Frank Ortmeier238647.95
Wolfgang Reif391595.46