[发明专利]安全计算机平台热备控制逻辑安全分析方法

权利要求书

1.一种安全计算机平台热备控制逻辑安全分析方法，其特征在于，包括：

建立基于着色Petri网的正常行为模型；

建立基于着色Petri网的故障行为模型；

建立基于着色Petri网的综合行为模型；

进行基于着色Petri网的安全平台的综合行为模型危险故障组合检验；

所述的基于着色Petri网的正常行为模型，包括：

存放表示组件当前状态颜色的库所；

存放输入流颜色的输入库所；

存放输出流颜色的输出库所；

表示组件会不断检查各自输入流是否满足当前状态的转移条件，并判断是否发生的两个变迁；

其中，输入流颜色代表了与该组件交互的其它组件的状态变化情况；输出流则将该组件的状态变化以颜色的形式传递给其它交互的组件，该组件的输出流是其它组件的输入流；

所述的基于着色Petri网的故障行为模型，包括：

分别表示故障模式未发生和发生的两个变迁；

存放当前故障模式的状态颜色的库所；

作为输出端口向系统中注入故障信息的输出库所；

所述的基于着色Petri网的综合行为模型，指：对正常行为模型和故障行为模型分别综合和修正之后，得到基于着色Petri网的安全平台的综合行为模型；

所述的进行基于着色Petri网的安全平台的综合行为模型危险故障组合检验，包括：

对安全平台的综合行为模型进行正常行为模型检验，当得到无故障下系统不可达危险状态，进行下一步，否则表示系统功能性设计不正确；

对安全平台的综合行为模型进行故障行为模型检验，考虑各种故障及其组合，当得到故障组合使得系统行为进入危险状态，即是割集；否则，根据最小割集定义完成割集最小化处理，得到所有最小割集。