安全关键数据的反向验证方法技术

本发明专利技术公开了一种安全关键数据的反向验证方法，包括：将联锁子系统软件提供的二进制文件数据依据联锁下位机约定的顺序形成安全关键数据的二进制数据模型；利用.Net中反射机制解析所述二进制文件到所述安全关键数据的二进制数据模型；然后在依据安全关键数据信息设计安全关键数据的配置数据、Excel数据模型和Excel数据特性；将安全关键数据的二进制数据模型通过特性转换到Excel数据模型；Excel数据模型通过NPIO.DLL生成新的Excel文档，读入源Excel文档和反向生成新的Excel文档，比较两份文档之间的数据一致性，如果相同给出正确提示信息，如果不同给出警示信息并提供错误日志信息。本发明专利技术能保证提供给联锁子系统应用软件安全关键数据的准确性，保证联锁子系统的可靠性和鲁棒性。

【技术实现步骤摘要】
安全关键数据的反向验证方法
本专利技术涉及通讯领域，特别是涉及一种信号系统安全关键数据的反向验证方法。
技术介绍
在CBTC(基于无线通信的列车自动控制系统)地铁信号控制系统中，联锁子系统是其中最为重要组成的一部分，为了确保整个系统的正常运行，那么要求子系统的配置数据的准确性和唯一性。从配置数据的所属类别分析，主要是分为安全关键数据和非安全关键数据，安全关键数据主要是指联锁子系统的静态数据。就目前而言，合理的验证安全关键数据的准确性是联锁子系统运行的基础，验证的过程是保证数据不因为任何差错导致的数据的错误，降低了系统的整体的鲁棒性。由于轨道交通的数据准确的重要性，当然对关键数据的准确性也就有了很高的要求，从而保证关键数据的准确性问题需要得到良好的解决。
技术实现思路
本专利技术要解决的技术问题是提供一种能验证联锁子系统软件安全关键数据的准确性的信号系统安全关键数据的反向验证方法。本专利技术通过联锁子系统提供的安全关键数据，其形式为Excel文档，该文档总共包括四份文档，分别是联锁表、IOBitmap、系统参数和子系统ID，而联锁配置数据软件需要先读取该Excel文档，生成联锁子系统软件的二进制文件，在读取过程中，要验证IOBitmap中的设备名称必须在联锁表存在，以及验证联锁表各个表之间的联锁拓扑逻辑关系，其次，在生成二进制文件过程中，合理保证数据的字节数以及数据的排序准确性，生成了二进制文件之后；本专利技术安全关键数据的反向验证方法，包括：1)将联锁子系统软件提供的二进制文件数据依据联锁下位机约定的顺序形安全关键数据的二进制数据模型；2)利用。Net中反射机制解析联锁子系统软件提供的二进制文件到所述安全关键数据的二进制数据模型；3)根据安全关键数据信息形成安全关键数据的配置数据、Excel数据模型和Excel数据特性；配置数据主要包含设备名称，设备继电器名称等信息，以配置数据中的设备信息作为标识，形成安全关键数据的Excel数据模型和Excel数据特性(Attribute)；4)将安全关键数据的二进制数据模型通过特性转换到Excel数据模型；5)Excel数据模型通过NPIO.DLL生成新的Excel文档6)同时读入系统提供的源Excel文档和通过二进制文件反向生成新的Excel文档，比较两份文档之间的数据的一致性，如果相同，给出正确提示信息，如果不同，给出警示信息并提供错误日志信息。7)若为正确提示信息则提供给联锁子系统应用软件使用，若为警示信息则依据错误日志信息作出修改，直到验证成功之后才提供给联锁子系统软件。本专利技术利用的联锁下位机的二进制文件，是由源Excel文件生成，通过安全反向验证方法生成Excel，并比对Excel文件，形成闭环方式的安全验证。CBTC地铁信号控制系统中联锁子系统的安全关键数据通过本专利技术的反向验证方法验证之后，能保证提供给联锁子系统应用软件的安全关键数据的准确性，从而保证了联锁子系统的可靠性和鲁棒性。附图说明下面结合附图与具体实施方式对本专利技术作进一步详细的说明：图1是本专利技术的流程示意图。具体实施方式通过系统提供的安全关键数据，其形式为Excel文档，该文档总共包括四份文档，分别是联锁表、IOBitmap、系统参数和子系统ID，联锁配置数据软件需要先读取该Excel文档，生成联锁子系统软件的二进制文件。生成联锁子系统软件的二进制文件之后，实施本专利技术实施本专利技术的反向验证方法，包括：1)将联锁子系统软件提供的二进制文件数据依据联锁下位机约定的顺序形安全关键数据的二进制数据模型；二进制文件中是分模块化组成，并且有一定的顺序，以信号机二进制数据为例，二进制数据模型通过信号机每个字段所占字节数来设计一个class模型(即DataModel)，信号机每个字段对应类中的属性；安全关键数据的二进制文件是提供给联锁下位机软件使用，顺序如表1所示，该二进制文件包含所有的静态数据，依据下位机约定的顺序，表1所示二进制文件模块顺序为：系统参数，信号机，区段，道岔，屏蔽门，紧急停车按钮，司机保护按钮等等，通过信号机每个字段所占字节数来形成一个类数据模型，该二进制数据模型中信号机模块每个字段与信号机类中的属性对应。表12)利用。Net中反射机制解析联锁子系统软件提供的二进制文件到所述安全关键数据的二进制数据模型；具体操作采用：联锁子系统软件提供的二进制文件先依据每个模块的长度，调用。Net中FCL中库函数读取字节流到字节数组，然后依据字节数组每个字段所占字节数通过。Net中反射机制解析到安全关键数据的二进制数据模型。3)根据安全关键数据信息形成安全关键数据的配置数据、Excel数据模型和Excel数据特性；配置数据主要包含设备名称，设备继电器名称等信息，以配置数据中的设备信息作为标识，形成安全关键数据的Excel数据模型和Excel数据特性；其中，标识就是加载在Excel数据模型上的类和属性的相关特性，Excel数据模型特性包括类的特性和属性的特性，两种特性都是依据.net自定义Attribute设计自身的特性，该特性包含相关属性字段以及公共构造器。属性特性设计可采用如下方式：4)将安全关键数据的二进制数据模型通过特性转换到Excel数据模型；例如：信号机二进制数据文件中包含ID字段，那么Excel数据模型中ID字段通过添加特性的方式绑定信号机二进制文件ID字段，使Excel数据模型的数据与二进制数据文件中的数据形成对应绑定，可采用以下命令实现：其中：[MetroExcelModelClass(ConstantInternal.IOType.InputOutput,ConstantInternal.SHEET_TYPE.Signal)]和[MetroExcelModelProperty("ID",ConstantInternal.PropertyValueType.Uint16ID,ConstantInternal.SHEET_TYPE.Signal)]为添加的自定义属性5)Excel数据模型通过NPIO.DLL生成新的Excel文档6)同时读入系统提供的源Excel文档和通过二进制文件反向生成新的Excel文档，比较两份文档之间的数据的一致性，如果相同，给出正确提示信息，如果不同，给出警示信息并提供错误日志信息。所示比较可采用一下方式：1.通过第三方比较软件BeyonCompare来比较Excel；2.二进制流方式比较，就是把源Excel和反向生成新的Excel转换成二进制流的方式比较，调用.netFrameWork中FCL函数(FileSream，BinaryReader等等)，本方案采用二进制流的方式比较，就是把Excel中每个单元格按照联锁下位机二进制文件格式一一比对。7)若为正确提示信息则提供给联锁子系统应用软件使用，若为警示信息则依据错误日志信息作出修改，直到验证成功之后才提供给联锁子系统软件。以上通过具体实施方式和实施例对本专利技术进行了详细的说明，但这些并非构成对本专利技术的限制。在不脱离本专利技术原理的情况下，本领域的技术人员还可做出许多变形和改进，这些也应视为本专利技术的保护范围。本文档来自技高网...

【技术保护点】
一种安全关键数据的反向验证方法，其特征是，包括以下步骤： 1)将联锁子系统软件提供的二进制文件数据依据联锁下位机约定的顺序形成安全关键数据的二进制数据模型； 2)利用.Net中反射机制解析联锁子系统软件提供的二进制文件到所述安全关键数据的二进制数据模型； 3)根据安全关键数据信息设计安全关键数据的配置数据、Excel数据模型和Excel数据特性； 配置数据主要包含设备名称，设备继电器名称，二进制数据模型中各字段的字节长度等信息，以配置数据中的设备信息作为标识，形成安全关键数据的Excel数据模型和Excel数据特性； 4)将安全关键数据的二进制数据模型通过特性转换到Excel数据模型； 5)Excel数据模型通过NPIO.DLL生成新的Excel文档 6)同时读入系统提供的源Excel文档和通过二进制文件反向生成新的Excel文档，比较两份文档之间的数据的一致性，如果相同，给出正确提示信息，如果不同，给出警示信息并提供错误日志信息。

【技术特征摘要】
1.一种联锁子系统安全关键数据的反向验证方法，其特征是，包括以下步骤：1）将联锁子系统软件提供的二进制文件数据依据联锁下位机约定的顺序形成安全关键数据的二进制数据模型；2）利用.Net中反射机制解析联锁子系统软件提供的二进制文件到所述安全关键数据的二进制数据模型；3）根据安全关键数据信息设计安全关键数据的配置数据、Excel数据模型和Excel数据特性；配置数据主要包含设备名称，设备继电器名称，二进制数据模型中各字段的字节长度信息，以配置数据中的设备信息作为标识，形成安全关键数据的Excel数据模型和Excel数据特性；...

【专利技术属性】
技术研发人员：饶皓，
申请(专利权)人：上海富欣智能交通控制有限公司，
类型：发明
国别省市：上海;31