Sciweavers

Share
ATVA
2008
Springer

Model Based Importance Analysis for Minimal Cut Sets

9 years 11 months ago
Model Based Importance Analysis for Minimal Cut Sets
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Based on standard design notations (Statecharts) annotated with fault occurrence distributions we compute to what extent certain fault configurations contribute to the probability of reaching a safety-critical state.
Eckard Böde, Thomas Peikenkamp, Jan Rakow, Sa
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where ATVA
Authors Eckard Böde, Thomas Peikenkamp, Jan Rakow, Samuel Wischmeyer
Comments (0)
books