Abstract:Markov Chain method for Dynamic Fault Tree with reparable components is discussed. The complexity of the problem and definition of dynamic gates is considered. Significant simplification of the method is suggested based on joining and truncation of Markov Chain states. The accuracy of approximation is based on assumption that Mean Time to Repair is much less than Mean Time to Failure. Several examples are studied.The second, joining approach is based on combining together states with the same set of failure ev… Show more
“…However, for a medium‐scale or large‐scale DFT, its quantitative analysis turns out to be a very challengeable job. Initially, the researchers adopted a Markov state space‐based method to quantify systems modeled by DFT. This method requires the whole DFT converted into a Markov chain model completely, which would suffer from the notorious problem of ‘state space explosion’.…”
Dynamic fault tree (DFT) is a commonly used method to model systems having sequence-dependent and function-dependent failure behaviors. The failure structure function of a DFT can be expressed by logic OR of all minimal cut sequences, that is, minimal cut sequence set (MCSS). The occurrence probability to the top event of a DFT can be calculated using inclusionexclusion (IE) principle based on enumerating the MCSS. However, the IE-based approach would have exponential evaluation complexity. Then, a sequential binary decision diagram (SBDD)-based method is proposed and successfully applied to analyze simple dynamic systems. This method is more efficient than IE-based method in asymptotic analysis. But this method cannot handle complex systems modeled by different highly coupled dynamic gates. In this paper, we put forward using Independent Random Variable Probabilistic Model-based plus SBDD-based methods to quantify an MCSS to obtain the failure probability of a complex DFT. The results obtained by the proposed method are exactly matched with those obtained by the existing methods. In addition, this method enhances the analyzing ability of the original SBDD and retains the advantage of high computational efficiency. The application and advantage of our proposed method is demonstrated by a case study.
“…However, for a medium‐scale or large‐scale DFT, its quantitative analysis turns out to be a very challengeable job. Initially, the researchers adopted a Markov state space‐based method to quantify systems modeled by DFT. This method requires the whole DFT converted into a Markov chain model completely, which would suffer from the notorious problem of ‘state space explosion’.…”
Dynamic fault tree (DFT) is a commonly used method to model systems having sequence-dependent and function-dependent failure behaviors. The failure structure function of a DFT can be expressed by logic OR of all minimal cut sequences, that is, minimal cut sequence set (MCSS). The occurrence probability to the top event of a DFT can be calculated using inclusionexclusion (IE) principle based on enumerating the MCSS. However, the IE-based approach would have exponential evaluation complexity. Then, a sequential binary decision diagram (SBDD)-based method is proposed and successfully applied to analyze simple dynamic systems. This method is more efficient than IE-based method in asymptotic analysis. But this method cannot handle complex systems modeled by different highly coupled dynamic gates. In this paper, we put forward using Independent Random Variable Probabilistic Model-based plus SBDD-based methods to quantify an MCSS to obtain the failure probability of a complex DFT. The results obtained by the proposed method are exactly matched with those obtained by the existing methods. In addition, this method enhances the analyzing ability of the original SBDD and retains the advantage of high computational efficiency. The application and advantage of our proposed method is demonstrated by a case study.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.