全自动驾驶列车控制系统故障远程诊断与恢复

全自动驾驶系统支持列车无人驾驶,应在没有司机持续监督设备运行的情况下,提供系统故障远程诊断和恢复功能。针对车辆火灾、制动力故障、车门故障、障碍物检测和设备掉电等系统故障,介绍了全自动驾驶系统自动进行应急处理的情况。     

基于模型的CBTC区域控制系统安全软件开发

传统的软件开发方法不能满足基于通信的列车控制(CBTC)区域控制系统(ZC)的开发需求.结合北京地铁亦庄线研究项目,介绍一种基于模型的系统开发方法,给出ZC系统的软件容错结构,阐述该系统的移动授权和列车管理功能建模方法,并从模型覆盖率分析和形式化验证两方面深入分析系统安全性保障措施.ZC系统的研究项目表明,基于模型的开...