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.

• Type: Conference
• Year: 2008
• Where: ATVA
• Authors: Eckard Böde, Thomas Peikenkamp, Jan Rakow, Samuel Wischmeyer
• Keywords: ATVA 2008, Extent Certain Fault, Fault Injection, Fault Occurrence Distributions, Hardware