Definition:
Markov Models use a mathematical state transition matrix to model complex system reliability and availability with dependent failures.
Key Points:
- Handles common cause and repairable faults.
- Useful in advanced SIL verification.
Example:
A Markov model analyzes the availability of a 2oo3 voting logic system under maintenance conditions.
Cited Source:
- IEC 61508-6:2010, Annex B.