A fast BDD algorithm for large coherent fault trees analysis

Jung, Woo Sik; Han, Sang Hoon; Ha, Jinjin

doi:10.1016/j.ress.2003.10.009

Cited by 96 publications

(39 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Mission P needs two components, 1 A and 2 A . Mission Q needs three components, 1 A , 3 A , and 4 A . During different time periods, component 1 A participates in mission P and mission Q .…”

Section: Bdd Examplementioning

confidence: 99%

“…The second phase consists of 2 Q . The third phase consists of 3 P and 3 Q . The input parameters of each component are shown in Table 1, which shows the computed conditional reliability for each component at each phase, and all the components fail exponentially with constant failure rate.…”

Section: Bdd Examplementioning

confidence: 99%

“…7 shows the BDD model about 1 Q . In mission Q of the phase 2, three are three components: 1 A , 3 A ,…”

Section: Bdd Examplementioning

confidence: 99%

“…Zang et al [24] established a method based on binary decision diagram (BDD) to analyze the reliability of PMS. Jung et al [3] proposed a BDD algorithm for coherent fault tree, where the truncated if-then-else (ite) connectives and subsuming could be performed in the progress of the BDD structure construction.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

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

Zhang¹,

Sun²,

Si³

et al. 2017

EiN

View full text Add to dashboard Cite

A decision diAgrAm bAsed reliAbility evAluAtion method for multiple phAsed-mission systems metodA oceny niezAwodności systemów wielofAzowych w opArciu o diAgrAmy decyzyjne IntroductionPhased-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. Eksploatacja i niezawodnosc - Maintenance and Reliability 2017; 19 (3): 485-492, http://dx

show abstract

Section: Bdd Examplementioning

confidence: 99%

Section: Bdd Examplementioning

confidence: 99%

“…7 shows the BDD model about 1 Q . In mission Q of the phase 2, three are three components: 1 A , 3 A ,…”

Section: Bdd Examplementioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

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

Zhang¹,

Sun²,

Si³

et al. 2017

EiN

View full text Add to dashboard Cite

show abstract

“…A BDD is widely and efficiently used in reliability analysis [14,15,16,28]. Methods for transformation of a Fault Tree to the ordered BDD (OBDD) are proposed in papers [17,28]. These methods permit to substantiate the correct application of OBDD in reliability analysis.…”

Section: Introductionmentioning

confidence: 99%

Application of logical differential calculus and binary decision diagramin importance analysis

Zaitseva¹,

Levashenko²,

Kostolny³

2015

EiN

View full text Add to dashboard Cite

ApplicAtion of logicAl differentiAl cAlculus And binAry decision diAgrAmin importAnce AnAlysisZAstosowAnie logicZnego rAchunku różnicZkowego orAZ binArnego diAgrAmu decyZyjnego w AnAliZie wAżności ZAitsEvA E, LEvAshEnko v, kostoLny J. Application of logical differential calculus and binary decision diagramin importance analysis. Eksploatacja i niezawodnosc -Maintenance and Reliability 2015; 17 (3): 379-388, http://dx

show abstract

A review on the realization methods of dynamic fault tree

Zhu

Zhang

2022

Quality & Reliability Eng

View full text Add to dashboard Cite

Dynamic fault tree (DFT) is an extended technology of Fault tree analysis (FTA). It has been widely used in many fields and plays an important role in improving the security performance of the system. Although DFT has developed for many years, new research in recent years is still worthy of attention. In this study, the research status of different realization methods/analysis techniques of DFT is comprehensively reviewed. First, the development and research trend of DFT are described. Second, the research on dynamic gates and components in the analysis techniques is introduced in detail. Third, the mainstream realization methods of DFT, such as Markov chain, Bayesian network (BN) and so on, are summarized. At the same time, the application of other auxiliary analysis techniques is also introduced. Then, based on the research progress of different realization methods, the future development direction and challenges of DFT are prospected. The realization methods of DFT not only need the rigorous theoretical foundation. Moreover, it is also necessary to consider the combination of real‐time data and system modeling technology to realize dynamic assessment and smart system in the future.

show abstract

A fast BDD algorithm for large coherent fault trees analysis

Cited by 96 publications

References 15 publications

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

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

Application of logical differential calculus and binary decision diagramin importance analysis

A review on the realization methods of dynamic fault tree

Contact Info

Product

Resources

About