列车运行安全行为建模与形式化技术研究

随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、计算机联锁控制系统、多列车安全追踪等问题进行了深入研究。采用诸多形式化理论、复杂系统以及交通流理论对高速列车安全控制进行形式化研究。