面向全自动运行的城轨交通火灾联动方案设计与建模验证  

Design and Modeling Verification of Fire Linkage Scheme for Fully Automatic Operation of Urban Rail Transit

作　　者：刘嘉诚 王梓丞 易立富[2] 王光前 Liu Jiacheng;Wang Zicheng;Yi Lifu;Wang Guangqian

机构地区：[1]西南交通大学信息科学与技术学院,成都611756 [2]中铁二院工程集团有限责任公司,成都610031

出　　处：《铁道通信信号》2022年第4期64-74,88,共12页Railway Signalling & Communication

基　　金：四川省重点研发项目(2021YFG0172,2020YFG0353);中铁二院工程集团有限责任公司科研项目(KYY2019109(19-21))。

摘　　要：全自动运行是未来城市轨道交通发展的主要方向,与传统驾驶模式相比,对于特殊运行场景下的应急处理能力与处理效率有着更高的要求。本文基于列车发生火灾的特殊运行场景,区别于以往由调度人员作为综合监控系统与列车自动监督系统的联动桥梁,设计了全自动驾驶场景下的火灾联动方案,确定了火灾报警系统的火灾识别流程、列车控制管理系统的数据转发和应急控制流程、运行控制中心的火灾响应流程,以及各系统之间的通信校验流程;同时,使用基于时间自动机理论的UPPAAL工具,对从火灾识别到火灾应急响应的全过程进行了形式化建模分析,并且对该联动方案的安全性和功能进行了形式化验证。验证结果表明,该联动方案能够有效地满足各个系统之间的联动要求,为全自动驾驶模式下的非正常运行场景的应急联动处理打下基础。Fully automatic operation(FAO)is the main development direction of urban rail transit in the future.Compared with traditional driving modes,FAO has very high requirements for emergency handling capacity and efficiency under special operation scenarios.Especially for the special operation scenario of train fire,a fully automatic fire linkage scheme is presented,different from the traditional way in which the dispatcher acts as the linkage between the Integrated Supervisory Control System(ISCS)and the Automatic Supervision System.The fire detection process of the Fire Alarm System,the data forwarding and emergency control process of the Train Control Management System,and the fire emergency response process of the Operation Control Center as well as the communication verification process between those systems are described.Meanwhile,the processes above mentioned from fire detection to emergency response are formally modeled and analyzed by using UPPAAL tool,which based on timed automata theory.And,the safety and functions of the fire linkage scheme are formally verified.The results show that the fire linkage scheme can meet the linkage requirement of those systems,laying a foundation for emergency linkage treatment under abnormal operation scenarios in fully automatic driving mode.

关 键 词：全自动运行 火灾联动 UPPAAL工具 时间自动机 综合监控系统 火灾报警系统 

分 类 号：U231.7[交通运输工程—道路与铁道工程]