[发明专利]双模冗余的故障检测装置的故障检测方法

权利要求书

1.一种双模冗余的故障检测装置的故障检测方法，所述双模冗余的故障检测装置用于检测胚胎电子细胞阵列的故障，包括信号输入端、功能输出端和检测信号输出端，还包括功能电路、双模冗余电路和检测器；所述功能电路、双模冗余电路和检测器均包括所述胚胎电子细胞阵列中的多个胚胎电子细胞；

所述功能电路的输入端和所述双模冗余电路的输入端均与所述信号输入端相连；所述功能电路的输出端与所述功能输出端相连；

所述双模冗余电路的输出端与所述检测器的输入端相连；

所述检测器的输入端还与所述功能电路的输出端相连；所述检测器的输出端与所述检测信号输出端相连；

所述检测器用于检测所述功能电路的输出信号和所述双模冗余电路的输出信号是否相同：若不同，则所述检测器输出故障信息；否则，所述检测器输出正常信息；其特征在于，所述故障检测方法包括：

根据待测电路生成待验证电路；

对所述待验证电路中的所有节点依次进行单固定型故障注入；

将故障注入后的所述待验证电路与故障注入前的所述待验证电路进行等价性验证，并记录等价性验证结果；

在所述待验证电路的所有节点均完成故障注入和等价验证后，根据所述等价验证结果得出所述待测电路的故障检测率。

2.根据权利要求1所述的故障检测方法，其特征在于，所述待测电路包括第一功能电路和第一错误检测电路，所述第一错误检测电路包括第一双模冗余电路和第一检测器；所述根据待测电路生成待验证电路具体为：

复制所述待测电路；复制所述待测电路生成的电路包括第二功能电路和第二错误检测电路，所述第二错误检测电路包括第二双模冗余电路和第二检测器；所述待验证电路包括所述待测电路和复制所述待测电路生成的电路；所述待验证电路的输入端与所述第一功能电路的输入端、第一错误检测电路的输入端、第二功能电路的输入端和第二错误检测电路的输入端相连；

在所述第一错误检测电路的输出端串联第一附加检测器，以及在所述第二错误检测电路的输出端串联第二附加检测器；其中，所述第一附加检测器具有第一特征信号输出端和第一自检信号输出端；所述第二附加检测器具有第二特征信号输出端和第二自检信号输出端；

将所述第一功能电路和所述第二功能电路连接成为miter电路；

将所述第一附加检测器的特征信号输出端和所述第二附加检测器的特征信号输出端异或相连，形成第一异或输出端；

将所述miter电路和所述第一异或输出端异或连接，形成第二异或输出端；

将所述第一附加检测器的自检信号输出端和所述第二附加检测器的自检信号输出端同或相连，形成第一同或输出端；

将所述第二异或输出端和所述第一同或输出端与连接，形成第一与输出端，且所述第一与输出端与所述待验证电路的输出端相连。

3.根据权利要求2所述的故障检测方法，其特征在于，所述第一附加检测器和所述第二附加检测器均包括N个与门、一个N输入的第一或门和一个N输入的第二或门；

所述第一或门的输入端与所述错误检测电路的各个输出端相连；所述第一或门的输出端与所述特征信号输出端相连；

各个所述与门的输入端与所述检测器的相邻三个输出端相连，各个所述与门的输出端与所述第二或门的输入端相连；所述第二或门的输出端与所述自检信号输出端相连。

4.根据权利要求1所述的故障检测方法，其特征在于，所述双模冗余的故障检测装置的检测器包括多个并行的查找表单元；

所述查找表单元，用于检测所述功能电路的两路输出信号与所述双模冗余电路的两路输出信号是否对应相同：若全相同，所述查找表单元输出正常信息；否则，所述查找表单元输出故障信息；

且所有的所述查找表单元均输出正常信息时，表示所述检测器没有检测到故障；否则，表示检测器检测到故障。

5.根据权利要求4所述的故障检测方法，其特征在于，所述双模冗余的故障检测装置的检测器包括N个所述查找表单元，每个所述查找表单元具有两个逻辑相邻的查找表单元；N大于等于2的整数；

对于第i个查找表单元，所述功能电路的两路输出信号分别为Ii和Ii+1，所述双模冗余电路的两路输出信号分别为I'i和I'i+1，第i个查找表单元的输出值记为Yi；且Ii和I'i的比较结果为Xi，Ii+1和I'i+1的比较结果为Xi+1；

则第i个查找表单元的输入和输出之间的逻辑关系为：

I i ⊕ I ′ i = X i I i + 1 ⊕ I ′ i + 1 = X i + 1 X i + X i + 1 = Y i ]]>

所述检测器的输入和输出的关系为：

X 1 + X 2 = Y 1 X 2 + X 3 = Y 2 ............ X N + X 1 = Y N ]]>

则通过输出值Y1，Y2，…，YN求解X1，X2，…，XN时，若X1，X2，…，XN都有解，则所述检测器无故障；否则，所述检测器存在故障。