基于VCP编码的RSSP-Ⅰ通信超时判断研究

安全编码处理器(VCP)是一种利用编码技术来检测处理器的错误,以保障硬件可靠和安全的理论与方法,最初用于法国巴黎地铁的SACEM项目。本文所描述的方案主要是基于VCP技术实现RSSP-Ⅰ应用层通信超时安全判断,并提供VCP校核字给上层NISAL冗余编码系统使用。与现有技术相比,本方案降低了产品对于硬件平台的要求。

安全编码预编译器的设计与实现

针对轨道交通车载装备的安全性问题,基于安全编码处理器(VCP)的编码思想,设计并实现安全编码预编译器(VCPC)。VCPC能将没有安全性的源代码转换成具有验证能力的安全代码,生成的安全代码可应用于VCP中的单处理器,实现对处理器各种故障的监测和保护。测试结果表明,该安全代码的剩余错误率可以达到1/A。

中转CPU实现多重冗余系统对外安全通信的方案探讨

针对信号系统安全通信的具体要求,提出了通过中转CPU实现多重冗余系统对外通信的安全架构和实现方法,并通过安全估算证明了该方法的有效性。通过分析Checksum、NISAL、VCP、CRC和MAC等安全编码的特性,建议采用CRC编码作为中转CPU内部数据完整性的安全防护,采用VCP编码作为中转CPU对真实性和时效性的防护和判断。