设计应用

GoA4级全自动运行系统驾驶模式切换的安全性建模

作者：谢迎锋1，王 蓉2
发布日期：2022-02-15
来源：信息技术与网络安全 2期

0 引言

全自动运行系统(Fully Automatic Operation，FAO)是基于现代计算机、通信、控制和系统集成等技术实现列车运行全过程自动化的新一代城市轨道交通系统。国际公共交通协会(UITP)统计，预计到2025年全球将有2 300公里线路采用全自动运行系统。随着全自动运行系统的发展，对其安全性、实时性、功能性的要求越来越高[1]。GoA3(Grades of Automation 3)级和GoA4(Grades of Automation 4)级的一个很重要的区别是，GoA3级是司机确认之后实现列车运行等级从高级向低级以及驾驶模式的切换，但是对于GoA4级全自动运行系统，是系统自动实现驾驶模式切换(Driving Mode Wwitch，DMS)。

在基于通信的列车运行控制系统(Communication Based Train Control System，CBTC)中，列车驾驶模式和运行等级的正确切换，对保证列车安全有重要影响，驾驶模式的正确建立和转换直接影响到行车安全与运营效率。2017年11月15日新加坡地铁事故的其中一个原因就是驾驶模式转换不正确。因此，对列车运行的驾驶模式的研究有重要意义。




本文详细内容请下载：http://www.chinaaet.com/resource/share/2000003945。




作者信息：

谢迎锋1，王  蓉2

(1.北京全路通信信号研究设计院集团有限公司，北京100070；2.北京交通大学，北京100040)




微信图片_20210517164139.jpg

此内容为AET网站原创，未经授权禁止转载。
驾驶模式 全自动运行系统 UPPAAL 安全性验证

Copyright © 2005-2024 华北计算机系统工程研究所版权所有 京ICP备10017138号-2