[发明专利]一种基于逻辑组态产生的Local变量在线监控方法

权利要求书

1.一种基于逻辑组态产生的Local变量在线监控方法，本方法应用于核电站安全级DCS中，其特征在于，所述方法包括：

首先，利用带有逻辑组态软件的上位机对预设逻辑进行编译生成逻辑代码；在生成的代码中，基于逻辑组态软件的自带安全性准则，将逻辑切换为每一步运算均独立的单元；

然后，在下位机的存储区中，当每一步运算的输入和输出分配数据存储区时，同时分配一个同样大小和类型的备份区域；

然后，上位机将独立单元的逻辑代码下发给下位机，下发过程中在逻辑的每一个接口处监测逻辑运行的结果，在每一个输入点对逻辑进行强制，获得逻辑的执行结果；

基于逻辑的执行结果，对组态软件完成的逻辑在具体的环境中运行的正确性以及对运行中出现的异常情况进行监控和定位；

最后以运行结果数据的形式反馈到最先的逻辑图上。

2.根据权利要求1所述的基于逻辑组态产生的Local变量在线监控方法，其特征在于，所述将逻辑切换为每一步运算均独立的单元具体为：每一步逻辑都有可用的、完整的输入和输出。

3.根据权利要求1所述的基于逻辑组态产生的Local变量在线监控方法，其特征在于，所述方法具体包括：

步骤1：利用逻辑组态软件的Simulation模式生成代码，Simulation模式为模仿模式；

步骤2：对生成的执行代码文件的代码逐行进行遍历，找到每个赋值语句中源变量以及源变量对应的数据类型；

步骤3：对生成的头文件的代码进行遍历，在代码中增加一个与输出结构体同样的大小的强制结构体；

步骤4：在头文件中增加所有类型的赋值接口函数；

步骤5：在执行代码文件中实现步骤4中的赋值接口函数；

步骤6：在执行代码文件中遍历所有语句，将每一个赋值语句用步骤5中的接口函数替换，并传入对应的参数；

步骤7：调用下位机的驱动，将头文件中的强制结构体进行存储区域的指定，将所有变量与下位机种指定的存储区域进行关联，对生成的文件，进行再次编译；

步骤8：下位机将指定的存储区数据通过通信上传到上位机，上位机解析出数据，对应到具体的变量，根据变量的值对每一步逻辑的监测；

步骤9：将要强制的标志和强制的值通过通信下发到下位机，并通过下位机驱动写入到指定的存储区域，逻辑在运行的过程在指定区域读出强制的信息，作用于逻辑运算，实现对逻辑的强制功能。

4.根据权利要求3所述的基于逻辑组态产生的Local变量在线监控方法，其特征在于，执行代码文件为*.c文件，头文件为*.h文件。

5.根据权利要求3所 述的基于逻辑组态产生的Local变量在线监控方法，其特征在于，强制结构体的成员为步骤2找到的源变量，强制结构体同时为该变量增加一个bool类型的标志变量。

6.根据权利要求3所 述的基于逻辑组态产生的Local变量在线监控方法，其特征在于，赋值接口函数的参数依次为：目标变量、源变量、强制的源变量、强制的标志。

7.根据权利要求3所述的基于逻辑组态产生的Local变量在线监控方法，其特征在于，在执行代码文件中实现步骤4中的赋值接口函数，具体的实现方法为：根据强制标志的值，如果值为真，则将强制的源变量赋值给目标变量；否则，将原始的源变量赋值给目标变量。