[发明专利]一种异构的多平台系统控制逻辑一致性校验的方法

摘要

本发明公开了一种异构的多平台系统控制逻辑一致性校验的方法。本发明主要解决工业控制系统中相同的控制逻辑在不同的控制系统平台上逻辑执行一致性的问题，例如同一控制逻辑在PowerPC架构的CPU下和Arm架构的CPU下实际的控制流程是否一致；本发明包括4个阶段：(1)定义中间符号集；(2)识别不同架构控制器的机器指令；(3)生成控制逻辑对应的中间符号文件；(4)对不同架构下生成的控制逻辑的中间符号文件进行对比。

主权项

一种异构的多平台系统控制逻辑一致性校验的方法，首先用户使用基于IEC‑61131‑3标准的逻辑组态语言编写逻辑页，然后由编写的逻辑页组成完整的控制逻辑，最后控制逻辑经过编译生成不同CPU架构下的逻辑二进制文件；其特征在于，所述控制逻辑一致性校验的方法包括以下步骤：(1)根据控制逻辑生成部分选择的CPU架构定义中间符号集，中间符号集中的符号应能满足所选的多个CPU架构的二进制指令解析，中间符号集是一组与平台架构无关的符号的集合，中间符号集中的符号对不同CPU架构下的二进制指令提供一种统一的描述方法，控制逻辑二进制文件中的二进制指令最终被中间符号替换，变为统一的可读性更强的文件；(2)二进制指令识别，读取逻辑二进制文件从文件中读取架构信息，确定文件中的二进制数据属于何种CPU架构，根据不同平台的机器指令的编码规则对控制逻辑二进制文件中的控制逻辑二进制指令进行解码，并根据对应CPU架构下的二进制指令描述方法生成控制逻辑操作码文件；(3)读取步骤(2)中生成的控制逻辑操作码文件，使用步骤(1)中定义的中间符号集中的符号对文件中的操作码进行等效替换，从而生成中间符号文件；(4)在经过步骤(3)之后，不同CPU架构下的控制逻辑二进制文件被等效生成了中间符号文件，此时可以通过对比中间符号文件的方法来对控制逻辑一致性进行对比，最终确定不同CPU架构下的控制逻辑是否一致。