Abstract: A computer-implemented method for resolving closed loops in automatic fault tree analysis of a multi-component system includes: a. modeling the multi-component system using a fault tree; b. back-tracing failure propagation paths from an output element of the fault tree; c. checking if the respective failure propagation path contains a closed loop by identifying a downstream element of the respective failure propagation path having a dependency of its output value on an output value of an upstream element; d. setting the input value corresponding to a loop interconnection of each such downstream element to Boolean TRUE; e. identifying any Boolean AND-gate having no Boolean TRUE as output value; cutting off any Boolean TRUE input to any identified Boolean AND-gate between the respective downstream element and the respective upstream element; and f. setting the input value of each respective downstream element corresponding to the loop interconnection to Boolean FALSE.

Abstract: Modeling a multi-component control or actuator system using a fault tree is provided, which solves the problem of ring closures included in a fault tree. To identify ring closures, failure propagation paths are back-traced and is checked if the respective failure propagation path forms a ring closure.

Abstract: Modeling a multi-component control or actuator system using a fault tree is provided, which solves the problem of ring closures included in a fault tree. To identify ring closures, failure propagation paths are back-traced and is checked if the respective failure propagation path forms a ring closure.