A Fault Tree Module Analysis (FTMA) based on. depth-first left-most traversals and BDD was presented to solve large complicated FTA problems.

• 为解决大型复杂故障树的简化分析问题，提出并实现了基于深度优先最左遍历和BDD相结合的故障树模块分析法。