故障树中的环闭合和规范化表示的制作方法

技术特征：
1.一种计算机实施的方法，包括：-使用故障树（101，102）对多部件控制或致动器系统进行建模（1001），所述故障树（101，102）包括与所述系统的部件关联的多个节点（111-114，121-123，131-132）以及与所述部件之间的功能依赖性关联的所述多个节点中的节点之间的多个边（141-147），-检测（1002）所述故障树（101，102）的一个或多个环闭合（180），-对于所述一个或多个环闭合（180）中的每个环闭合（180）：在所述故障树（101，102）中由各变量（611）替换（1003）各环闭合（180）的至少一个各边（146）以获得占位符故障树（601），并且-确定（1004）所述占位符故障树（601）的规范化表示。2.如权利要求1所述的方法，其中所述确定所述占位符故障树（601）的所述规范化表示包括：-确定所述占位符故障树（601）的割集并且基于所述割集确定析取规范化图（701）或合取规范化图作为所述规范化表示。3.如权利要求1或2所述的方法，还包括：-对于所述一个或多个环闭合（180）中的每个环闭合（180）：在所述占位符故障树（601）的所述规范化表示中，由所述至少一个各边（146）替换每个各变量（611），以获得所述故障树（101，102）的规范化表示。4.如前面权利要求中任何一项所述的方法，其中所述检测所述一个或多个环闭合（180）包括从所述故障树（101，102）的输出朝着所述故障树（101，102）的一个或多个输入追溯多个失效传播路径，并且-对于所述多个失效传播路径中的每个失效传播路径：检查各失效传播路径是否形成环闭合，并且在肯定的情况下，由预定义表达式替换所述环闭合。5.如前面权利要求中任何一项所述的方法，其中所述检测所述一个或多个环闭合（180）包括尝试使用参考算法来确定所述故障树（101，102）的规范化表示并且获得所述参考算法的错误反馈。6.如前面权利要求中任何一项所述的方法，其中所述多部件控制或致动器系统包括与所述故障树（101，102）的环闭合关联的闭环控制电路。7.一种计算机程序，包括程序代码，所述程序代码可由至少一个处理器执行，其中当所述至少一个处理器执行所述程序代码时，所述至少一个处理器执行如权利要求1至6中任何一项所述的方法。8.一种装置（501），包括控制电路（503，504），所述控制电路（503，504）被配置为：-使用故障树（101，102）对多部件控制或致动器系统进行建模，所述故障树（101，102）包括与所述系统的部件关联的多个节点（111-114，121-123，131-132）以及与所述部件之间的功能依赖性关联的所述多个节点中的节点之间的多个边（141-147），-检测所述故障树（101，102）的一个或多个环闭合（180），-对于所述一个或多个环闭合（180）中的每个环闭合（180）：在所述故障树（101，102）中由各变量替换各环闭合的至少一个各边以获得占位符故障树（601），并且-确定所述占位符故障树（601）的规范化表示。9.如权利要求8所述的装置（501），其中所述控制电路（503，504）被配置为执行如权利
要求1至6中任何一项所述的方法。

技术总结
检测故障树（101，102）的一个或多个环闭合（180）。对于所述一个或多个环闭合（180）中的每个环闭合（180）：各环闭合（180）的至少一个各边（146）在故障树（101，102）中由各变量（611）替换以获得占位符故障树（601），并且确定占位符故障树（601）的规范化表示。障树（601）的规范化表示。障树（601）的规范化表示。


技术研发人员：K
受保护的技术使用者：西门子工业软件有限责任公司
技术研发日：2020.07.10
技术公布日：2022/2/23