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.
Introduction to Combinatorics: Truth ValuesAND: A ∧ BOR: A∨ BProposition A FalseTrueProposition B FalseFalseFalseTrueFalseFalseTrueTrueTrueTrue True <strong>and</strong> False are <strong>of</strong>ten represented by 0 <strong>and</strong> 1 The propositions are usually <strong>of</strong> the type "Component X is in a failed state"<strong>Safety</strong> <strong>and</strong> <strong>Reliability</strong> <strong>of</strong> <strong>Embedded</strong> <strong>Systems</strong>© Pr<strong>of</strong>. Dr. Liggesmeyer, 6Introduction to Combinatorics: ProbabilitiesA is true with probability P1, B with probability P2Proposition A 1-P1P1Proposition B 1-P2(1-P1) * (1-P2)P1 * (1-P2)P2(1–P1) * P2P1 * P2AND:OR:P(A ∧ B)= P1 * P2P(A∨ B) = P1 * (1-P2) + (1–P1) * P2 + P1 * P2= 1- [(1-P1)*(1-P2)]= P1 + P2 – P1*P2<strong>Safety</strong> <strong>and</strong> <strong>Reliability</strong> <strong>of</strong> <strong>Embedded</strong> <strong>Systems</strong>© Pr<strong>of</strong>. Dr. Liggesmeyer, 74