Abstract:
In order to solve the problem of the existing dynamic fault tree analysis method, such as state space explosion, low computational efficiency and limited application range, a method for dynamic fault tree analysis based on sequential binary decision diagram is proposed. First, dynamic logic gates ar...