Bayesian Networks based approach to enhance GO methodology for reliability modeling of multi-state consecutive-k-out-of-n: F system

As a success-oriented system reliability and safety analysis technique, GO methodology is widely used in the modeling and analysis scenarios of critical safety engineering systems with signal flow, such as nuclear, chemical industry, electric power transportation, wireless network and microwave communication network. Consecutive -k-out-of -n systems are also widely applied in these fields, but due to their relatively complex logic, there are no corresponding graphical modeling and calculation methods. In this paper, the basic GO methodology is extended to support the modeling and analysis of multi-state linear and circular consecutive -k-out-of -n: F system (MLC(k,n) &MCC(k,n)) models. Two new operators are defined in graphical modeling to represent the two types of complex system logic. The multi-state logic semantics of the new operators and mapping rules to Bayesian networks (BN) are given. And the programmable process is presented to transform the extended GO model into BN, and the reliability of the MLC(k,n)/MCC(k,n) is calculated. Finally, three cases are used to verify i) the correctness of the method supporting multi-state model, ii) the efficiency and ability of the algorithm, and iii) the forward calculation and reverse diagnosis of the MLC(k,n) and MCC(k,n) systems with external shared components.