CBTC联锁系统进路状态建模方法

摘要

本发明提供了一种CBTC联锁系统进路状态建模方法，涉及列车运行控制技术领域。该方法包括步骤：S1、依据CBTC联锁系统进路控制的制约关系制定进路状态，并依据所述进路状态建立进路状态转移图；S2、依据CBTC联锁系统进路控制的行为对所述进路状态转移图进行抽象，得到进路状态转移模型；S3、依据数据流图建模方法对所述进路状态转移模型中的状态进行逻辑和时序运算，驱动不同状态之间的转换，进而得到CBTC联锁系统进路状态模型。本发明将SCADE中数据流图和状态机这两种建模方法有效的地融合在一起，实现两种模型间的相互嵌套和无缝衔接，进而能够精确、完整的描述CBTC联锁系统的进路状态。

主权项

一种CBTC联锁系统进路状态建模方法，其特征在于，包括：S1、依据CBTC联锁系统进路控制的制约关系制定进路状态，并依据所述进路状态建立进路状态转移图；S2、依据CBTC联锁系统进路控制的行为对所述进路状态转移图进行抽象处理，得到进路状态转移模型；S3、依据数据流图建模方法对所述进路状态转移模型中的状态进行逻辑和时序运算，驱动不同状态之间的转换，进而得到CBTC联锁系统进路状态模型。