10.07.2015 Views

Safety and Reliability of Embedded Systems - Software Engineering ...

Safety and Reliability of Embedded Systems - Software Engineering ...

Safety and Reliability of Embedded Systems - Software Engineering ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Calculation Method 1: Minimal Cut Sets The top-event is the union <strong>of</strong> all intersection-free minimal cut sets If cut-set probabilities are small (below 0.1), then intersectionprobabilities are even smaller The top-event probability is the sum <strong>of</strong> all MCS probabilities∑P top= P MCSall MCS The probability <strong>of</strong> each MCS is the product <strong>of</strong> the probabilities <strong>of</strong> theincluded basic events∏P MCS= P iall events ∈MCSi This algorithm leads to an approximation. It does not work for NOT gates<strong>Safety</strong> <strong>and</strong> <strong>Reliability</strong> <strong>of</strong> <strong>Embedded</strong> <strong>Systems</strong>© Pr<strong>of</strong>. Dr. Liggesmeyer, 10Finding Minimal Cut Sets Decompose the tree recursively For each OR gate• Generate as many entries as there are inputs {(i1), (i2), (i3)...} For each AND gate• Generate one entry containing all inputs {(i1, i2, i3,...)} Repeat until all gates are resolved Cancel cut sets that are not minimal (redundant)<strong>Safety</strong> <strong>and</strong> <strong>Reliability</strong> <strong>of</strong> <strong>Embedded</strong> <strong>Systems</strong>© Pr<strong>of</strong>. Dr. Liggesmeyer, 116

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!