Safety and Reliability of Embedded Systems - Software Engineering ...
Safety and Reliability of Embedded Systems - Software Engineering ...
Safety and Reliability of Embedded Systems - Software Engineering ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Impact <strong>of</strong> Variable Order The variable order may have considerable influence on the size <strong>of</strong> theOBDDs Same function, different variable order:x 3x 2x 1© Pr<strong>of</strong>. Dr. Liggesmeyer, 150 1 Finding the best variable order is NP-complete (= unachievable for large FTs)<strong>Safety</strong> <strong>and</strong> <strong>Reliability</strong> <strong>of</strong> <strong>Embedded</strong> <strong>Systems</strong>© Pr<strong>of</strong>. Dr. Liggesmeyer, 14Calculation <strong>of</strong> Top-Event Probability via BDDs Annotate probabilities fromFT to true branches0.90.1 Annotate 1-P to falsebranches0.80.70.20.3 For each path multiply branchprobabilities Sum up all paths that lead toterminal 1P = 0.1 * 0.3 + 0.9 * 0.2 * 0.3 = 0,084<strong>Safety</strong> <strong>and</strong> <strong>Reliability</strong> <strong>of</strong> <strong>Embedded</strong> <strong>Systems</strong>8