Model Based Importance Analysis for Minimal Cut Sets

13 years 6 months ago

Download ftp.inrialpes.fr

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

Real-time Traffic

ATVA 2008 | Extent Certain Fault | Fault Injection | Fault Occurrence Distributions | Hardware |

claim paper

» A New Exact Algorithm for the TwoSided Crossing Minimization Problem

» A Novel 3D Segmentation of Vertebral Bones from Volumetric CT Images Using Graph Cuts

» Lectures on Medical Image Analysis

» Evaluation of gene importance in microarray data based upon probability of selection

» Graph Cut Based Segmentation of Soft Shadows for Seamless Removal and Augmentation

» SegmentationBased Motion with Occlusions Using GraphCut Optimization

» Finding Important People in Large News Video Databases Using Multimodal and Clustering Ana...

» Interactive Image Segmentation Using Level Sets and DempsterShafer Theory of Evidence

Post Info
More Details (n/a)

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)

Sciweavers

Model Based Importance Analysis for Minimal Cut Sets

ATVA 2008 | Extent Certain Fault | Fault Injection | Fault Occurrence Distributions | Hardware |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers