基于冗余编码系统的循环冗余校验方法

提出了一种基于冗余编码系统的循环冗余校验(CRC)方法。该方法应用于轨道交通信号控制系统中可解决冗余编码系统与其他类型冗余编码或非冗余编码系统的通信问题,通过将冗余码校验信息融合到CRC计算过程中,在无故障的情况下得出的冗余码CRC与标准CRC完全一致,保证了系统与外界系统的正常通信功能;在系统发生故障的情况下能够将错误信息反馈到冗余码CRC中,外界冗余/非冗余系统可校验出故障信息,提高了系统的安全性和故障可检测率。     

基于自主基础软件的轨道交通安全计算机平台

针对目前我国缺乏符合功能安全完整性等级SIL3的高安全嵌入式实时操作系统产品、自主的安全计算机平台和控制器核心产品这一问题,介绍了安全计算机平台架构的设计,以及应用于安全计算机平台的自主研制的操作系统。介绍了对安全中间件的安全协议、自检测技术和接口设计。测试结果表明,基于自主操作系统的轨道交通安全计算机平台符合功能安全完整性等级要求。