发明名称 Generating a fault tree
摘要 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.
申请公布号 US9588837(B2) 申请公布日期 2017.03.07
申请号 US201414321010 申请日期 2014.07.01
申请人 International Business Machines Corporation 发明人 Ishii Sugio
分类号 G06F11/00;G06F11/07;G05B23/02 主分类号 G06F11/00
代理机构 代理人 Dobson Scott S.
主权项 1. 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 processor of a computer system storing a configuration information of the object to be analyzed, wherein the configuration information identifies the plurality of functional blocks and further identifies a plurality of signal lines that each connect two or more blocks of the plurality of functional blocks; the processor acquiring an exclusion target information that identifies a part to be excluded from the fault tree, wherein the part to be excluded comprises at least one of a first functional block of the plurality of functional blocks and a first signal line of the plurality of signal lines; and the processor creating from the configuration information and from the exclusion target information a fault tree of a part to be analyzed, wherein the creating comprises excluding the part to be excluded from the plurality of functional blocks and from the plurality of signal lines.
地址 Armonk NY US