Formulate a Markov model for a Stratus computer system. Include the possibilities of errors of commission and omission in the hardware comparison of the various processors. This could be modeled by a...

Formulate a Markov model for a Stratus computer system. Include the possibilities of errors of commission and omission in the hardware comparison of the various processors. This could be modeled by a coverage factor representing the fraction of processor faults that go undetected by the comparison logic. Discuss, but do not solve.