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

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