[发明专利]信号系统安全关键数据一致性验证方法

权利要求书

1.一种信号系统安全关键数据一致性验证方法，其特征是，包括：

1）检验联锁进路中对各设备名称引用是否正确；

将进路表中引用的设备名称与信号机表中设备名称进行匹配，信号机表中若存在进路表中引用的设备名称，则输出正确，若不存在进路表中引用的设备名称，则输出错误数据信息；

2）检验设备之间逻辑连接是否正确；

根据各设备之间的拓扑逻辑关系检查各个设备之间在数据上的关联关系是否正确，输出正确或错误数据信息；

3）检验设备名称数据值的取值是否正确；

根据预定义各个设备名称数据值的取值范围验证各设备名称数据值是否符合要求，符合要求输出正确，不符合要求输出错误数据信息;

4）检验各个设备IO点位个数及名称是否正确

预定义各个设备IO点个数及名称形成预定义IO设备表，信号机在IOBitmap文件中显示所有的设备IO点个数及名称必须存在于预定义IO设备表中，若存在则输出正确，若不存在则输出错误数据信息。