基于时间自动机的驼峰分路道岔控制模型研究  

Study on Timed-automata-based Control Model of Hump Shunting Switch

作　　者：姜璐[1] 侯晓鹏[1] 

机构地区：[1]中国铁道科学研究院通信信号研究所

出　　处：《铁道通信信号》2016年第12期20-22,25,共4页Railway Signalling & Communication

基　　金：铁科院青年基金项目2015YJ060"驼峰自动化控制系统的形式化建模及验证"

摘　　要：TBZKⅡ型驼峰自动化控制系统采用分散控制、集中管理的模式,有效提高了编组站驼峰场的作业效率。作为实时控制系统,对时间控制的精确性和控制过程的准确性有着很高要求,尤其是针对驼峰场中特有的峰下分路道岔的控制,直接影响整个作业过程。通过分析系统中道岔控制模块,并结合时间自动机理论方法以及UPPAAL建模工具,对控制过程进行建模分析,并验证该控制过程的功能和性能要求,从而保证系统模型的安全性和可靠性。The TBZKⅡ hump automatic control system adopts the mode of decentralized control and centralized management,thus enhancing the efficiency of the hump effectively.As a real-time control system,it requires higher precision of time and higher accuracy of control.Especially,the unique control of branching turnout in hump yard has a direct impact on the whole operation process.Through analyzing the control module of the system and combined with the theory of Timed Automata and the modeling tool of UPPAAL,the control process of turnout is modeled and analyzed.Meanwhile,the function and performance requirements have been verified,thus ensuring the safety and reliability of the system model.

关 键 词：分路道岔 时间自动机 UPPAAL 自动验证 

分 类 号：U284.72[交通运输工程—交通信息工程及控制]