Back to results
US 11,144,379 B2Granted
Ring-closures in fault trees
AssigneeSiemens Industry Software Inc.
InventorsKai Höfig, Jonathan Menu, Marc Zeller
Life of this patent
Estimating the term…
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.
Claims16
A computer-implemented method, comprising:
- modeling, by at least one computer processor, a multi-component control or actuator system using a fault tree, the fault tree comprising a plurality of elements associated with components of the system and a plurality of interconnections between elements of the plurality of elements associated with functional dependencies between the components,
- back-tracing, by the at least one computer processor, a plurality of failure propagation paths from an output of the fault tree towards one or more inputs of the fault tree, and
- for each one of the plurality of failure propagation paths:
- checking, by the at least one computer processor, if the respective failure propagation path forms a ring closure and, in the affirmative, replacing the ring closure by a predefined expression.
1 more element
A device comprising at least one processor configured to perform a method comprising:
- modeling a multi-component control or actuator system using a fault tree, the fault tree comprising a plurality of elements associated with components of the system and a plurality of interconnections between elements of the plurality of elements associated with functional dependencies between the components,
- back-tracing a plurality of failure propagation paths from an output of the fault tree towards one or more inputs of the fault tree, and
- for each one of the plurality of failure propagation paths:
- checking if the respective failure propagation path forms a ring closure and, in the affirmative, replacing the ring closure by a predefined expression.
1 more element
Dependencies are inferred from the claim text.