[发明专利]一种基于离线仿真的热备系统教育数据验证方法

说明书

本发明涉及一种基于离线仿真的热备系统教育数据验证方法，包括以下步骤：步骤A：识别分类教育数据；步骤B：计算分类教育数据特征值；步骤C：教师通道压缩教育数据并放入教育数据缓存区；步骤D：学生通道接收教育数据并解压分类教育数据；步骤E：学生通道计算分类教育数据特征值；步骤F：检验分类教育数据特征值，即将步骤E和步骤B计算得到的分类教育数据特征值进行比较，两者相同，验证通过，否则不通过。与现有技术相比，本发明实现了离线仿真平台上完成热备系统教育数据的正确性验证，通过运行离线仿真工程就可以完成教育数据正确性的检查，及时发现数据教育过程中的错误，提高了系统整体运行的安全性和可靠性。

技术领域

本发明涉及轨道交通信号安全控制技术领域，尤其是涉及一种基于离线仿真的热备系统教育数据验证方法。

背景技术

对于热备系统来说一般分为主系和备系两部分，而且每个周期都需要进行主、备系之间数据的交互，主系会在每个周期末进行数据的教育操作，即将数据写入教育缓存区，而备系则会在每个周期的开始从教育缓存区读取数据，即学习的过程。通过教育和学习的过程实现了主、备系之间数据的同步。但在实际的应用中热备系统对每周期教育数据正确性的验证并不够，主要面临以下问题：

1、教育数据的正确性没有得到保障；

2、当教育数据出现错误时，问题排查起来比较困难；

3、在软件测试时没有针对教育数据进行检查的合适方法。

发明内容

本发明的目的就是为了克服上述现有技术存在的缺陷而提供一种基于离线仿真的热备系统教育数据验证方法，实现了离线仿真平台上完成热备系统教育数据的正确性验证，通过运行离线仿真工程就可以完成教育数据正确性的检查，及时发现数据教育过程中的错误，提高了系统整体运行的安全性和可靠性。

本发明的目的可以通过以下技术方案来实现：

一种基于离线仿真的热备系统教育数据验证方法，包括以下步骤：

步骤A：识别分类教育数据；

步骤B：计算分类教育数据特征值；

步骤C：教师通道压缩教育数据并放入教育数据缓存区；

步骤D：学生通道接收教育数据并解压分类教育数据；

步骤E：学生通道计算分类教育数据特征值；

步骤F：检验分类教育数据特征值，即将步骤E和步骤B计算得到的分类教育数据特征值进行比较，两者相同，验证通过，否则不通过。

优选地，所述的步骤A中的识别分类教育数据，包括热备系统中的历史时态数据。

优选地，所述的教育数据考虑下述三种因素：

a)教育数据是全局的动态变量；

b)教育数据是历史的时态数据；

c)教育数据包括状态机数据。

优选地，所述的步骤B：计算分类教育数据特征值，包括：计算数据的特征值时按照同一类的几个对象计算，或者按照单一的对象元素计算特征值。

优选地，所述的步骤C：教师通道压缩教育数据并放入教育数据缓存区，包括：数据的压缩方式要按照对象配置的格式进行压缩，减少数据传输量，提高数据教育的效率。

优选地，所述的步骤D：学生通道接收教育数据并解压分类教育数据，包括：学生通道从教育缓存区接收数据，并严格按照数据配置的格式进行解压缩处理。

优选地，所述的解压缩处理考虑下述两种因素：

a)解压缩数据的格式和对应压缩数据的格式保持一致；