夏 伟 蒋建金 傅林泰 张 磊

(卡斯柯信号有限公司，200071，上海//第一作者，工程师)

列车自动控制(ATC)系统是由列车自动保护(ATP)系统、列车自动监控(ATS)系统、列车自动运行(ATO)系统和计算机联锁系统组成[1]，对列车运行速度、运行间隔和运行方向等进行控制，保证列车安全、高效运行。这些系统大多在设计时需要采用安全冗余编码技术来提高系统的安全性，使系统达到SIL4安全完整性等级。

循环冗余校验(CRC)是通信领域常用的一种校验码，用于检测数据在传输过程中是否发生了被篡改的错误。一般的方法是通信双方定义好计算多项式和CRC的计算方法(包括宽度、起始值、结果异或值、输入输出数据反转等)，发送方在对数据计算后将得出的CRC值附在消息帧后面一起发送；接收方收到后对数据进行同样的计算，并将结果与原始的CRC进行比较，来校验数据的正确性与完整性。

当冗余编码的列车自动控制系统与其它类型冗余编码或非冗余编码系统通信时，需要采用CRC来保证传输数据的完整性，且只需传输高位数据，低位冗余码不参与传输。当列车自动控制系统无故障时计算出的冗余码CRC与标准CRC结果完全一致，外界系统可校验通过；当列车自动控制系统存在故障时，计算出的冗余码CRC需要包含故障信息且该故障能被外界检测出而拒绝接收。现有的技术在发送消息时，仅对高位数据进行CRC计算，那么会导致外界系统无法检测到低位数据中可能存在的随机性失效或故障；……