BDD-based reliability evaluation of phased-mission systems with internal/external common-cause failures

Application of logical differential calculus and binary decision diagramin importance analysis

“…This approach can be summarized in following characteristics. First characteristic of proposed approach is possibility of calculating IMs using mathematical apparatus Direct Partial Boolean Derivatives, which is based on new equations for IMs (18) - (23).The background of this approach is the computation of non-zero values of derivatives that are used in these equations of IMs. Next aspect is based on development of new algorithms for calculation of Direct Partial Boolean Derivatives based on BDD, which allows analysis of the function of large dimensions.…”

“…For example, new algorithm for the manipulation of series and parallel systems based on BDD are investigated in [31]. The paper authors [18,21,22,23] consider the OBDD application for reliability analysis of dynamic, phased-mission and networking systems.…”

A decision diagram based reliability evaluation method for multiple phased-mission systems

“…Phased-mission systems (PMS) are very common in practical engineering, where the mission of system usually consists of multiple, consecutive, and non-overlapping phases in operation [12,20,21]. A simple example is that the phases of car-driving mission include ZhAng S, Sun S, Si S, WAng P. A decision diagram based reliability evaluation method for multiple phased-mission systems.…”

A Bayesian networks approach for event tree time-dependency analysis on phased-mission system

“…Esary and Ziehams [3] used a set of independent mini-components to replace the component in each phase to deal with the phase-dependency. Over the past decade, researchers have proposed a new algorithms based on BDD for fault tree analysis of PMS by incorporating phase algebra into the generation and traversal of the BDD to deal with phase-dependency [17,21,24]. The other method solves the dependency across the phases using state-based approaches, which are flexible and powerful in modelling complex dynamic systems [12,15].…”

“…PMS reliability attracts substantial attentions, and various techniques have been developed to deal with the phase-dependency. The analytical techniques for the PMS can be classified into two categories: combinatorial models (e.g., mini-components, sum of disjoint phase products, BDD) and state-space transition models (e.g., Markov models, Petri nets) [19,21]. The combinatorial method is based on the …”