基于通信的列车控制系统(Communication-based Train Control,CBTC)已成为城市轨道交通信号系统的首选解决方案。作为其中关键部分......

CBTC的计算机联锁（CBI）系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文......