Systematic approach of Markov modeling for system dependability analysis is proposed based on the independent subsystem set, its failure rate and unavailability rate.
As an application example, we construct the Markov model for the digital reactor protection system configured with four identical and independent channels, and various fault-tolerant architectures.
The result shows that the proposed method treats complex architecture of the system in an efficient manner with Markov model's merits such as time dependent and sequential analysis.