[发明专利]确定技术系统占优模糊故障树的方法、计算机程序和设备

权利要求书

1.一种用于测试技术系统、尤其是软件、硬件或嵌入式系统的以计算机实现的方法（100），所述方法尤其是用于确定技术系统的可靠性，所述方法包括以下步骤：

为所述技术系统提供（110）模糊故障树（200）的集合，其中相应模糊故障树（200）包括一个模糊顶事件（210）和多个模糊基本事件（220），并且所述模糊故障树（200）通过所述模糊基本事件（220）的模糊隶属函数相互区分；

在包括水平和垂直布置的元胞的元胞结构（400）中布置（120）所述模糊故障树（200）；

基于相应模糊故障树（200）的可靠性值而给所述相应模糊故障树（200）初始分派（130）相应状态值，其中所述状态值为零或一；

提供（140）冲突规则，其中冲突规则基于水平和垂直的相邻元胞的状态值而给所述元胞结构（400）的元胞分派新的状态值；

对于所述元胞结构（400）的所有元胞一直重复地同时并行应用（150）冲突规则，直至仅还存在具有状态值1的模糊故障树（200）为止。

2.根据权利要求1所述的以计算机实现的方法（100），其中从能量守恒定律和对流扩散微分方程的最大解中导出所述冲突规则。

3.根据前述权利要求中至少一项所述的以计算机实现的方法（100），其中如果模糊顶事件（210）的可靠性值、尤其是所述可靠性值的平均值小于可预先给定的可靠性值、尤其是10^-8，则给所述模糊故障树（200）初始分派状态值零，而否则给所述模糊故障树（200）初始分派状态值1。

4.根据前述权利要求中至少一项所述的以计算机实现的方法（100），其中模糊故障树（200）包括数量m个模糊基本事件（220）。

5.根据前述权利要求中至少一项所述的以计算机实现的方法（100），其中所述模糊故障树（200）的集合包括数量n个模糊故障树（200），其中n对应于数量m！，并且m是模糊基本事件（220）的数量。

6.根据前述权利要求中至少一项所述的以计算机实现的方法（100），其中为每个模糊基本事件（220）产生模糊隶属函数。

7.根据前述权利要求中一项或多项所述的以计算机实现的方法（100），其中根据蒙特卡罗方法产生模糊故障树的集合中的所述模糊故障树。

8.根据前述权利要求中至少一项所述的以计算机实现的方法（100），其中通过冲突规则表格提供所述冲突规则，其中根据所述冲突规则表格基于所述元胞的水平和垂直的相邻元胞的状态值给所述元胞分派状态值。

9.一种用于测试技术系统的计算机程序（PRG1），其中所述计算机程序（PRG1）包括计算机可读指令，在通过计算机执行所述计算机可读指令时，执行根据权利要求1至8中至少一项所述的以计算机实现的方法（100）。

10.一种用于测试技术系统、尤其是软件、硬件或嵌入式系统的设备（300），其中所述设备被构造用于执行根据权利要求1至9中至少一项所述的以计算机实现的方法（100）。

11.一种用于测试技术系统、尤其是软件、硬件或嵌入式系统的方法（100），所述方法尤其是用于确定技术系统的可靠性，其中在使用占优模糊故障树的情况下确定所述技术系统的可靠性，其中借助根据权利要求1至8中至少一项所述的方法（100）和/或借助根据权利要求9所述的计算机程序（PRG1）和/或根据权利要求10所述的设备（300）确定所述占优模糊故障树。