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

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

作者机构：西南交通大学信息科学与技术学院成都611756 中铁二院工程集团有限责任公司成都610031 

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

出 版 物：《铁道通信信号》 (Railway Signalling & Communication)

年 卷 期：2022年第58卷第4期

页      码：64-74,88页

摘      要：全自动运行是未来城市轨道交通发展的主要方向,与传统驾驶模式相比,对于特殊运行场景下的应急处理能力与处理效率有着更高的要求。本文基于列车发生火灾的特殊运行场景,区别于以往由调度人员作为综合监控系统与列车自动监督系统的联动桥梁,设计了全自动驾驶场景下的火灾联动方案,确定了火灾报警系统的火灾识别流程、列车控制管理系统的数据转发和应急控制流程、运行控制中心的火灾响应流程,以及各系统之间的通信校验流程;同时,使用基于时间自动机理论的UPPAAL工具,对从火灾识别到火灾应急响应的全过程进行了形式化建模分析,并且对该联动方案的安全性和功能进行了形式化验证。验证结果表明,该联动方案能够有效地满足各个系统之间的联动要求,为全自动驾驶模式下的非正常运行场景的应急联动处理打下基础。

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

学科分类：08[工学] 082302[082302] 0823[工学-农业工程类] 

D　O　I：10.13879/j.issn.1000-7458.2022-04.21314

馆 藏 号：203110494...