信号系统安全关键数据一致性验证方法
【专利摘要】本发明公开了一种信号系统安全关键数据一致性验证方法，包括：检验联锁进路中对各设备名称引用是否正确；检验设备之间逻辑连接是否正确；检验设备名称数据值的取值是否正确；检验各个设备IO点位个数及名称是否正确；本发明的安全关键数据一致性验证方法能缩短安全关键数据一致性验证周期，能确保下位机的安全关键数据配置正确。
【专利说明】信号系统安全关键数据一致性验证方法
【技术领域】
[0001]本发明涉及信息通讯领域，特别是涉及一种信号系统安全关键数据一致性验证方法
【背景技术】
[0002]在CBTC (基于无线通信的列车自动控制系统)地铁信号控制系统中，联锁子系统是其中最为重要组成的一部分，为了确保整个系统的正常运行，那么要求子系统的配置数据的准确性和唯一性。从配置数据的所属类别分析，主要是分为安全关键数据和非安全关键数据，安全关键数据主要是指联锁子系统的静态数据。就目前而言，合理的验证安全关键数据的准确性是联锁子系统运行的基础，验证的过程是保证数据不因为任何差错导致的数据的错误，降低了系统的整体的鲁棒性。由于轨道交通的数据准确的重要性，当然对关键数据的准确性也就有了很高的要求，从而保证关键数据的准确性问题需要得到良好的解决。现有的信号系统安全关键数据一致性验证方法，一般首先假设安全关键数据正确，然后上机调试验证安全关键数据是否正确，这种方法的劣势是只能在下位机运行时才能发现数据错误，造成安全关键数据一致性验证周期较长，不利于系统调试。
【发明内容】
[0003]本发明要解决的技术问题是提供一种能缩短安全关键数据一致性验证周期的安全关键数据一致性验证方法，能确保下位机的安全关键数据配置正确。
[0004]为解决上述技术问题，本发明信号系统安全关键数据一致性验证方法，包括:
[0005]I)检验联锁进路中对各设备名称引用是否正确；
[0006]将进路表中引用的设备名称与信号机表中设备名称进行匹配，信号机表中若存在进路表中引用的设备名称，则输出正确，若不存在进路表中引用的设备名称，则输出错误数据信息；
[0007]2)检验设备之间逻辑连接是否正确；
[0008]根据各设备之间的拓扑逻辑关系检查各个设备之间在数据上的关联关系是否正确，输出正确或错误数据信息；
[0009]3)检验设备名称数据值的取值是否正确；
[0010]根据预定义各个设备名称数据值的取值范围验证各个设备名称数据值是否符合要求，符合要求输出正确，不符合要求输出错误数据信息；
[0011]4)检验各个设备IO点位个数及名称是否正确
[0012]预定义各个设备IO点个数及名称形成预定义IO设备表，信号机在IOBitmap中显示所有的设备IO个数及名称必须存在于预定义IO设备表中，若存在则输出正确，若不存在则输出错误数据信息。
[0013]本发明的安全关键数据一致性验证方法能够在数据工具生成配置数据之前检验安全关键数据是否正确，如果不正确则反馈错误数据信息，安全关键数据验证通过则生成配置数据文件。
【专利附图】
【附图说明】
[0014]下面结合附图与【具体实施方式】对本发明作进一步详细的说明:
[0015]图1是本发明的流程示意图。
【具体实施方式】
[0016]本发明一实施例提供一种信号系统安全关键数据一致性验证方法，包括:
[0017]I)检验联锁进路中对各设备名称引用是否正确；即将进路表中引用的设备名称与信号机表中设备名称进行匹配，信号机表中若存在进路表中引用的设备名称，则输出正确，若不存在进路表中引用的设备名称，则输出错误数据信息；
[0018]如表1所示，以联锁进路表信号机的名称为例，所有联锁进路表里的信号机的名称必须得在信号机表里:进路表中信号机列的信号机名称为X0101,与信号机表中信号机列的信号机名称号为X0101匹配，如果存在X0101，则报告正确，如果不存在，则报告错误数据信息；
[0019]
【权利要求】
1.一种信号系统安全关键数据一致性验证方法，其特征是，包括: 1)检验联锁进路中对各设备名称引用是否正确； 将进路表中引用的设备名称与信号机表中设备名称进行匹配，信号机表中若存在进路表中引用的设备名称，则输出正确，若不存在进路表中引用的设备名称，则输出错误数据信息； 2)检验设备之间逻辑连接是否正确； 根据各设备之间的拓扑逻辑关系检查各个设备之间在数据上的关联关系是否正确，输出正确或错误数据信息； 3)检验设备名称数据值的取值是否正确； 根据预定义各个设备名称数据值的取值范围验证各设备名称数据值是否符合要求，符合要求输出正确，不符合要求输出错误数据信息； 4)检验各个设备IO点位个数及名称是否正确 预定义各个设备IO点个数及名称形成预定义IO设备表，信号机在IOBitmap文件中显示所有的设备IO点个数及名称必须存在于预定义IO设备表中，若存在则输出正确，若不存在则输出错误数据信息。
【文档编号】G06F19/00GK103838976SQ201410108077
【公开日】2014年6月4日 申请日期:2014年3月21日 优先权日:2014年3月21日
【发明者】饶皓 申请人:上海富欣智能交通控制有限公司