[发明专利]一种故障注入与仿真验证方法

权利要求书

1.一种故障注入与仿真验证方法，其特征在于，包括：

建立信号流模型，对信号流模型进行解析得到系统的依赖矩阵，对信号流模型进行分析得到故障树模型，对信号流模型进行逻辑推理和状态仿真，得到系统的状态；

对信号流模型进行故障输入，获取系统的状态数据。

2.根据权利要求1所述的故障注入与仿真验证方法，其特征在于：所述信号流模型包括组件节点、测试点节点、AND节点以及开关节点，输入结构模型、原理图或概念方框图生成测试信号。

3.根据权利要求2所述的故障注入与仿真验证方法，其特征在于：所述对信号流模型进行解析得到系统的依赖矩阵包括：将系统按照功能划分成顶系统以及各级子系统，分层运算各级子系统以及统级的可达性矩阵，依次逐层合并得到各层次子系统的依赖矩阵，得到顶系统的依赖矩阵，将依赖矩阵传递至模型分析模块，在模型分析模块中找到测试信号和故障源之间的关系，确定故障的类型和点位。

4.根据权利要求3所述的故障注入与仿真验证方法，其特征在于：所述对信号流模型进行分析得到故障树模型包括：将故障树抽象为五类对象，所述五类对象分别为：底事件、结果事件、顶事件、中间事件以及逻辑门，其中，顶事件表示故障或风险发生，确定割集和最小割集，据故障树的结构，生成结构函数，并将结构函数展开，用布尔运算的方式进行简化，使之成为具有最小项积之和的形式，其中每一个最小项为一个最小割集，在依赖矩阵中，解析出来测试信号和故障源之间的关系，在指定位置输入参数，测得故障结果。

5.根据权利要求4所述的故障注入与仿真验证方法，其特征在于：所述对信号流模型进行逻辑推理和状态仿真，得到系统的状态包括：根据故障树模型，从底事件开始，分层进行逻辑推理，若干个底事件通过逻辑门运算得到中间事件，中间事件再重复执行运算出顶事件的结果，得出顶事件的状态，按照故障树模型的推理结果，对故障树模型进行状态仿真，确定故障发生的点位以及故障类型。

6.根据权利要求5所述的故障注入与仿真验证方法，其特征在于：底事件通过逻辑门运算包括与门只要有故障输入，输出结果就为故障；或门的全部输入为故障时，输出结果才为故障；非门的输出结果状态和输入结果状态相反。

7.根据权利要求1所述的故障注入与仿真验证方法，其特征在于：所述对信号流模型进行故障输入包括：数字信号故障注入、模拟信号故障注入、电源信号故障注入、总线信号故障注入、探针故障注入以及软件故障注入。