周 果，赵会兵

(北京交通大学 电子信息工程学院，北京 100044)

数据是关系信号系统安全性的关键因素之一。以“4·28”事故[1]为例，由于安全数据没有被严格跟踪保护和验证，包括线路限速信息和关键调度命令在内的静态安全关键数据没有依据严格的规程在系统中传递，而是被错误修改或漏发，最终导致脱轨相撞事故的发生。而在“7·23”事故[2]中，由于列控中心轨道电路状态采集器中表征轨道占用状态的动态安全关键数据在雷击故障后继续保持了错误的且未更新的占用状态数据，加之调度人员的失误，使得后方的D301次列车无法得知前方D3115次列车的占用情况，最终导致追尾事故的发生。由以上事故可见，数据安全性是信号系统安全保障中的关键任务。

城轨计算机联锁是典型的数据驱动信号系统，以传统系统安全理念来看，需要对联锁软件和硬件及它们的集成分别进行安全性分析和验证才能证明系统的安全完整性，数据安全并不是以一个完整的领域任务呈现在系统安全的工作中，而是零散地融合在软件、硬件和系统的安全工程中。由于城轨联锁数据种类的多样性和逻辑关系的复杂性，且数据安全尚没有成熟完整的理论支撑，也没有支撑实际工程应用的工具，使得对数据安全性进行系统化的建模和验证变得更加困难，这种数据安全验证任务在系统安全工程中的缺失很可能会带来不可接受的风险[3]。

1 信号系统的数据安全

由于技术演进的历史原因，信号系统的信息化水平得到快速发展，业内主要投入资源在装备研发方面的这种现状是可以理解的。……