Generating a fault tree
AssigneeInternational Business Machines Corporation
InventorSugio Ishii
Life of this patent
Estimating the term…
Loading patent…
AssigneeInternational Business Machines Corporation
InventorSugio Ishii
Estimating the term…
A method, computer program product, and system that discards unneeded elements when generating a fault tree of an object to be analyzed. Configuration information identifies a plurality of functional blocks comprised by the object and a plurality of signal lines that connect the functional blocks in logical relationships. Exclusion target information identifies a signal line that may be excluded from the plurality of signal lines without loss of information or a functional block that may be excluded from the plurality of functional blocks without loss of information. Exclusion of a block or signal line may be determined by detecting a redundant functional block or by detecting a circular signal path traversed by two or more signal lines. The generated fault tree omits the excluded block or signal line and identifies the existence of a redundant block or of a circular signal path.
A method for generating a fault tree of an object to be analyzed, wherein the object to be analyzed comprises a plurality of functional blocks, the method comprising:
A computer program product, comprising a computer-readable hardware storage device having a computer-readable program code stored therein, said program code configured to be executed by a processor of a computer system to implement a method for generating a fault tree of an object to be analyzed, wherein the object to be analyzed comprises a plurality of functional blocks, the method comprising:
A computer system comprising a processor, a memory coupled to said processor, and a computer-readable hardware storage device coupled to said processor, said storage device containing program code configured to be run by said processor via the memory to implement a method for generating a fault tree of an object to be analyzed, wherein the object to be analyzed comprises a plurality of functional blocks, the method comprising:
Dependencies are inferred from the claim text.