基于UML与UPPAAL融合的FAO系统运营场景建模验证研究

一、引言

1.1研究背景

1.1.1FAO系统发展现状

在城市化进程持续加速的当下，城市轨道交通凭借其高效、安全、环保的特性，已成为城市公共交通的核心力量。随着科技的迅猛发展，城市轨道交通全自动运行系统（FullyAutomaticOperation,FAO）作为轨道交通领域的前沿技术与未来发展方向，正为城市交通的智能化、自动化升级提供着有力支撑。全自动运行系统，能够在控制中心的统一调度下，让列车自动完成从唤醒、自检、出库、运行、进站停车、开关车门、到站发车、回库休眠等一系列复杂操作，无需人工直接干预。

自20世纪