区域控制器移动授权的统一建模语言（UML）建模与验证

• 作 者: 王露 王长林
• 机 构: 西南交通大学信息与科学技术学院
• 出 处: 城市轨道交通研究
• 发表日期: 2014年7期
• 关键词: 基于通信的列车控制 区域控制器 移动授权 统一建模语言建模 模型验证 communication based train control （CBTC） zone

探讨了基于通信的列车控制（CBTC）系统中区域控制器（ZC）子系统不同运营场景下移动授权的生成过程.采用统一建模语言（UML）,与CBTC中列车运行控制的特殊要求相结合,以规范ZC子系统实现的过程和改善系统的开发效率.通过UML建模直观展现系统的结构,检查系统完整性,并完成该系统模型的仿真验证.