论文部分内容阅读
区域控制系统(ZoneController)在CBTC(CommunicationBasedTrainControl)系统占有重要的作用，它为列车运行提供进路MA信息，因此ZC系统数据的安全性直接关系到列车运行。所以如何保障ZC系统数据的安全至关重要的。
本文主要介绍保障CBTC系统数据安全的方法并针对ZC子系统提出数据安全保障方法。通过引入对象关系型数据库的概念，利用其数据的约束关系和实际线路的拓扑关系进行了数据库的设计。同时，通过多版本控制系统的数据库版本号管理方法，对数据进行实时监控、修改，提高了系统数据库的安全性。此外，利用二乘二取二的方法对数据的安全性进一步提供保障。
本文重点研究了如何保障动态数据安全的方法，并针对ZC的功能模块进行讨论。利用循环冗余的方法对实际ZC数据进行了分析。另外，通过一种强逻辑性的线路数据建模语言，对线路数据建立形式化的数据模型，并对ZC系统数据模型的安全性进行了形式化分析。最后，为进一步保障ZC所提供MA信息的正确性，本文提出一种反向搜寻MA信息的方法，为系统提供了冗余数据供其参考、校对，从而保证了数据的正确性和可用性。