| Abstract: | Stochastic models are extensively used in quantifying the reliability of safety critical systems. These models use the state‐space model for reliability quantification. Markov chain is comprehensively used in describing a sequence of possible events of any system in which the probability of each event depends only on the state attained in the previous event. Markov chains are convenient to model the software system of the SCS with the help of Petri Nets, a directed bipartite graph widely used for the verification and validation of real‐time systems. However, the stochastic model suffers from the state‐space explosion problem. In this paper, we proposed a technique for reliability analysis of safety critical systems, excavating into the coherent optimization of Markov chain. The approach has been validated on 17 safety critical systems of nuclear power plants. |
