一种基于VCP冗余代码的通信数据超时判断方法技术

本发明专利技术涉及一种基于VCP冗余代码的通信数据超时判断方法，该方法支持任何包含源设备ID和消息序列号的应用消息报文头，所述的判断方法包括：采用VCP工具生成的完整冗余安全代码，对程序中IF条件分支的安全判断处理；采用所述IF条件分支判断冗余处理的结果，进行VCP校核字的输出。与现有技术相比，本发明专利技术可有效避免由于硬件的缺陷导致的指令失效、内存固化以及内存随机失效等情况。

A method of communication data timeout judgment based on VCP redundant code

【技术实现步骤摘要】
一种基于VCP冗余代码的通信数据超时判断方法
本专利技术涉及一种通信数据超时判断方法，尤其是涉及一种基于VCP冗余代码的通信数据超时判断方法。
技术介绍
计算机联锁系统是以计算机为主要技术手段，结合信息、控制、容错、故障-安全等技术来实现车站联锁的信号系统，对安全性、可靠性有非常高的要求。RSSP-I协议(铁路信号安全通信协议-I型协议)是一种基于封闭式系统的安全通信协议，能对通信过程中数据帧重复、删除、插入、错序、损坏、延迟等进行防护。目前在地铁互联互通系统中，联锁-车载，联锁-联锁等之间的通信主要采用RSSP-I协议。RSSP-I协议能保证消息在安全层进行正常时序交互，但应用层消息的时序由应用层通信消息序列以及超时判断方案保证，因此通信超时判断机制处理的有效性及准确性至关重要。目前国内计算机联锁系统主要包括双机热备系统、2乘2取2系统、3取2系统等。其中双机热备采用单CPU，在某些单CPU中容易出现一些指令如IF条件等不可检测的随机性失效情况；而2乘2取2系统、3取2系统一般采用双CPU，若双CPU独立性不够的架构下也容易出现共模失效。因此如何避免由于硬件缺陷导致的指令失效、内存固化以及内存随机失效等情况的发生，成为需要解决的问题。
技术实现思路
本专利技术的目的就是为了克服上述现有技术存在的缺陷而提供一种基于VCP冗余代码的通信数据超时判断方法。本专利技术的目的可以通过以下技术方案来实现：一种基于VCP冗余代码的通信数据超时判断方法，该方法支持任何包含源设备ID和消息序列号的应用消息报文头，所述的判断方法包括：采用VCP工具生成的完整冗余安全代码，对程序中IF条件分支的安全判断处理；采用所述IF条件分支判断冗余处理的结果，进行VCP校核字的输出。优选地，所述的IF条件分支的安全判断处理，包括正常通信、通信宽恕以及通信超时三种情况。优选地，所述的IF条件分支的安全判断处理具体为：产生标志正常通信的全局变量g_IF_S_0，以及生成正常通信、通信宽恕以及超时通信情况下的消息序列冗余安全代码。优选地，所述的VCP校核字的输出具体为：将由冗余安全代码产生的全局变量g_IF_S_0与源设备ID绑定，生成整个周期被取值唯一的检查结果字VCPCKW，其中VCPCKW为VCPCheckWord的简称，VCPCheckWord为VCP校核字。优选地，对于冗余代码执行过程中出现的异常可导致运算、操作出错情况时，通过签名的变化将异常信息反映至冗余VCPCKW码字中。优选地，所述的异常包括内存固化、内存失效和指令失效。优选地，所述的VCP校核字的输出结果作为应用消息正常通信的标志，用于上层NISAL冗余编码系统合并到NISAL码字当中。优选地，该方法可满足多元输入的要求，若周期内收到N个源设备发的数据时，则调用N次VCP安全冗余代码，返回N个不同的VCPCKW值。与现有技术相比，本专利技术具有以下优点：(1)采用VCP冗余编码设计思想，可有效避免由于硬件的缺陷导致的指令失效、内存固化以及内存随机失效等情况；(2)采用了VCP工具软件的安全编码设计很大程度上提高了联锁产品的安全性，保证联锁产品的可用性与可靠性；(3)基于VCP的软件设计实现，从软件编码设计上提高产品安全性，大大降低联锁产品对于硬件条件的高要求；(4)本专利技术设计能够支持多个实时操作系统，具有不依赖于特定操作系统的特点，具有可移植性和通用性；(5)本专利技术设计不仅适用于RSSP-I通信，也适用于其他安全通信协议，具有通用性。附图说明图1为本专利技术的逻辑原理图；图2为本专利技术的数据流图。具体实施方式下面将结合本专利技术实施例中的附图，对本专利技术实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例是本专利技术的一部分实施例，而不是全部实施例。基于本专利技术中的实施例，本领域普通技术人员在没有做出创造性劳动的前提下所获得的所有其他实施例，都应属于本专利技术保护的范围。安全编码处理器(VitalCodedProcessor,VCP)是一种利用编码技术来检测处理器的错误，以保障硬件可靠和安全的理论与方法，最初用于法国巴黎地铁的SACEM项目。本专利技术主要是通过VCP技术实现应用层通信超时安全判断并提供VCP校核字给上层NISAL(NumericallyIntegratedSafetyAssuranceLogic，数字集成安全保障逻辑)冗余编码系统使用。本专利技术一种基于VCP冗余代码的RSSP-I通信数据超时判断方法，能够支持任何包含源设备ID和消息序列号的应用消息报文头。本专利技术一种基于VCP冗余代码的RSSP-I通信数据超时判断方法，对程序中IF条件分支的安全判断处理以及VCP校核字的输出。所述的IF条件分支的安全判断处理，包括正常通信、通信宽恕以及通信超时三种情况。所述的VCP校核字的输出，采用上述IF条件分支判断冗余处理的结果，标志通信过程的准确性以及外部通信设备的唯一性。所述的IF条件分支的安全判断处理，采用VCP工具软件，生成的完整冗余代码能够保证一些指令如IF判断处理的安全性。所述的IF条件分支的安全判断处理，能够产生标志正常通信的全局变量g_IF_S_0(SingleConditionalGlobalVariable)和正常通信、宽恕情况以及超时通信情况下的消息序列冗余码。所述的VCP校核字的输出，正常通信情况下，将由冗余安全代码产生的全局变量g_IF_S_0与源设备ID绑定，生成整个周期被取值唯一的检查结果字(VCPCKW，VCPCheckWord)。所述的VCP校核字的输出，对于冗余代码执行过程中出现的内存固化、内存失效、指令失效等可导致运算、操作出错情况，能通过签名的变化反映至冗余VCPCKW码字。所述的VCP校核字的输出，能够作为应用消息正常通信的标志，用于上层NISAL冗余编码系统合并到NISAL码字当中。本专利技术一种基于VCP冗余代码的RSSP-I通信数据超时判断方法，可满足多元输入的要求，若周期内收到N个源设备发的数据时，则调用N次VCP安全冗余代码，返回N个不同的VCPCKW值。能够保证多个源设备与目的设备之间的安全通信，避免指令失效或内存失效导致的源设备和消息的不一致情况。本专利技术具体实施例基于RSSP-I的区域轨道交通互联互通信号系统背景，图1为采用了本专利技术后的RSSP-I通信数据超时判断逻辑图。通过VCP冗余编码实现消息序列冗余码的超时校验安全处理，其中主要包括IF条件判断的安全冗余判断以及VCPCKW的输出。超时判断IF分支冗余处理分别产生正常通信、宽恕情况以及超时通信情况下的消息序列冗余码，经处理后可用于应用消息交互。VCPCKW的输出，作为唯一固定值，标志超时判断处理的准确性，用于联锁NISAL冗余编码系统中NISAL码的离线运算处理。图2为联锁下位机IPS采用VCP冗余编码技术，本文档来自技高网...

【技术保护点】
1.一种基于VCP冗余代码的通信数据超时判断方法，其特征在于，该方法支持任何包含源设备ID和消息序列号的应用消息报文头，所述的判断方法包括：/n采用VCP工具生成的完整冗余安全代码，对程序中IF条件分支的安全判断处理；/n采用所述IF条件分支判断冗余处理的结果，进行VCP校核字的输出。/n

【技术特征摘要】
1.一种基于VCP冗余代码的通信数据超时判断方法，其特征在于，该方法支持任何包含源设备ID和消息序列号的应用消息报文头，所述的判断方法包括：
采用VCP工具生成的完整冗余安全代码，对程序中IF条件分支的安全判断处理；
采用所述IF条件分支判断冗余处理的结果，进行VCP校核字的输出。


2.根据权利要求1所述的一种基于VCP冗余代码的通信数据超时判断方法，其特征在于，所述的IF条件分支的安全判断处理，包括正常通信、通信宽恕以及通信超时三种情况。


3.根据权利要求2所述的一种基于VCP冗余代码的通信数据超时判断方法，其特征在于，所述的IF条件分支的安全判断处理具体为：
产生标志正常通信的全局变量g_IF_S_0，以及生成正常通信、通信宽恕以及超时通信情况下的消息序列冗余安全代码。


4.根据权利要求3所述的一种基于VCP冗余代码的通信数据超时判断方法，其特征在于，所述的VCP校核字的输出具体为：
将由冗余安全代码产...

【专利技术属性】
技术研发人员：韩玲玉，许明旺，宁丽敏，简春福，刘晓，季志均，陈吉余，李青青，
申请(专利权)人：卡斯柯信号有限公司，
类型：发明
国别省市：上海;31