中文摘要：

数据关系着计算机联锁功能的正确实现,更关系到整个信号系统的安全完整性等级,对数据安全性的验证是城轨计算机联锁研发和应用中的关键环节。从数据安全在系统安全中的角色出发,对城轨计算机联锁中的数据进行数据结构建模,并导出数据之间安全性约束的关键规则,提出并证明以点点关系、点线关系和线线关系为基础的联锁数据安全性验证算法。以南京城轨某条线路为案例进行验证,相比传统的人工验证过程,验证效率得到明显提高。

英文摘要：

Data, which has a direct bearing on the correct realization of computer interlocking function, is related to the safety integrity level of the entire railway signaling system. The verification of data safety is a critical task in the development and application of computer interlocking in urban railway signaling. Starting from the role of data safety in system safety, the idea of data safety verification was elaborated first. Based on the modeling of computer interlocking data structures in urban railway signaling, the key rules of the safety restrictions between the data were derived. The interlocking data safety verification algorithms based on the point-point, point-line and line-line relations were proposed and proved in this paper. A typical Nanjing Metro Line was used to verify the correctness of this method as a case study. Compared to the traditional manual verification process, the verification efficiency of this method significantly improved.