[发明专利]故障树中的闭环

权利要求书

1.一种计算机实现的方法，包括：

-使用故障树(101、102)对多部件控制或致动器系统(230)建模，所述故障树(101、102)包括与所述系统的部件(231-1、232-1、233-1、231-233)相关联的多个元件(130-132、401-411)和与所述部件之间的功能依赖性相关联的所述多个元件(130-132、401-411)的元件(130-132、401-411)之间的多个互连，

-从所述故障树(101、102)的输出(117、118、118A)朝向所述故障树(101、102)的一个或多个输入(111-114、113A)反向追踪多个故障传播路径(170)，和

-对于所述多个故障传播路径(170)中的每一个：检查相应的故障传播路径(170)是否形成闭环(601)，并且在肯定的情况下，由预定义表达式来替换所述闭环(601)。

2.根据权利要求1所述的方法，

其中，所述反向追踪包括：跨所述故障树(101、102)的至少一个另外的互连来迭代地扩展所述多个故障传播路径(170)的每个故障传播路径(170)的链路(501-510)，并且对于所述迭代地扩展的每个迭代，执行相应的链路(501-510)是否形成所述闭环(601)的所述检查。

3.根据权利要求2所述的方法，还包括：

-将每个链路(501-510)的输出(117、118、118A)表达为相应链路(501-510)的输入元件的至少一个输入值与相应链路(501-510)的至少一个输出值之间的方程，和

-将扩展链路(501-510)的方程与在先前迭代中扩展的所述链路(501-510)的相应方程互链接，以产生用于相应故障传播路径(170)的组合方程。

4.根据权利要求3所述的方法，

其中所述检查包括检查所述组合方程是否包括在所述组合方程的两侧上的至少一个值。

5.根据前述权利要求中任一项所述的方法，

其中所述检查包括对于所述多个故障传播路径(170、550)中的每一个：识别所述故障传播路径(170、550)的下游元件，所述下游元件具有其输出值对所述故障传播路径(170、550)的上游元件的输出值的依赖性。

6.根据权利要求5所述的方法，

其中，替换所述闭环(601)包括：通过预定义布尔表达式和所述下游元件的输入值的逻辑组合来替换所述下游元件的所述输出值的依赖性。

7.根据权利要求6所述的方法，还包括：

-取决于所述下游元件的所述输出值对所述上游元件的所述输出值的进一步逻辑组合，选择所述逻辑组合和所述预定义布尔表达式中的至少一个。

8.根据前述权利要求1-4和6-7中任一项所述的方法，还包括：

-取决于所述闭环(601)与所述故障传播路径(170、550)的耦合类型，从多个候选表达式中选择预定义表达式。

9.根据前述权利要求1-4和6-7中任一项所述的方法，

其中，所述多部件控制或致动器系统包括与所述故障树(101、102)的闭环(601)相关联的闭环控制电路。

10.一种包括至少一个处理器的设备，所述至少一个处理器被配置成执行：

-使用故障树(101、102)对多部件控制或致动器系统建模，所述故障树(101、102)包括与所述系统的部件相关联的多个元件(130-132、401-411)和与所述部件之间的功能依赖性相关联的所述多个元件(130-132、401-411)的元件(130-132、401-411)之间的多个互连，

-从所述故障树(101、102)的输出(117、118、118A)朝向所述故障树(101、102)的一个或多个输入(111-114、113A)反向追踪多个故障传播路径(170、550)，和

-对于所述多个故障传播路径(170、550)中的每一个：检查相应的故障传播路径(170、550)是否形成闭环(601)，并且在肯定的情况下，由预定义表达式来替换所述闭环(601)。