CN103745048A - Cbtc联锁系统进路状态建模方法 - Google Patents
Cbtc联锁系统进路状态建模方法 Download PDFInfo
- Publication number
- CN103745048A CN103745048A CN201310741127.4A CN201310741127A CN103745048A CN 103745048 A CN103745048 A CN 103745048A CN 201310741127 A CN201310741127 A CN 201310741127A CN 103745048 A CN103745048 A CN 103745048A
- Authority
- CN
- China
- Prior art keywords
- state
- route
- cbtc
- condition
- converted
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Landscapes
- Train Traffic Observation, Control, And Security (AREA)
Abstract
本发明提供了一种CBTC联锁系统进路状态建模方法,涉及列车运行控制技术领域。该方法包括步骤:S1、依据CBTC联锁系统进路控制的制约关系制定进路状态,并依据所述进路状态建立进路状态转移图;S2、依据CBTC联锁系统进路控制的行为对所述进路状态转移图进行抽象,得到进路状态转移模型;S3、依据数据流图建模方法对所述进路状态转移模型中的状态进行逻辑和时序运算,驱动不同状态之间的转换,进而得到CBTC联锁系统进路状态模型。本发明将SCADE中数据流图和状态机这两种建模方法有效的地融合在一起,实现两种模型间的相互嵌套和无缝衔接,进而能够精确、完整的描述CBTC联锁系统的进路状态。
Description
技术领域
本发明涉及列车运行控制技术领域,具体涉及一种CBTC联锁系统进路状态建模方法。
背景技术
随着国民经济发展,我国大城市的客运量迅速膨胀,交通拥挤、阻塞和混乱的现象日益严重。发展城市轨道交通是缓解交通拥堵的有效手段。而基于通信的列车运行控制CBTC(Communication Based TrainControl)系统以其安全、正点、大容量、高效率等诸多优点被公认为是城市轨道交通最佳解决方案。计算机联锁是CBTC系统中的基础安全设备。当CBTC系统正常工作时,列车按照移动闭塞方式运行,联锁系统为列车提供连续级列车进路;当某车载设备的无线通信设备出现故障时,联锁系统为列车提供点式级别进路,并通过点式通信设备向列车发送点式移动授权;当某列车的车载设备完全故障时,联锁系统为列车提供联锁级别进路,司机可依照地面信号机的显示,控制列车运行;当轨旁设备出现故障,联锁级别的进路无法正常开放时,联锁系统提供引导级别的列车进路,支持限制级别下的低速行车。无论系统处于哪种工作模式下,联锁子系统都发挥着特有的基础安全防护作用,最大限度地提高行车安全和效率。联锁系统是CBTC中典型的具有SIL4等级要求的高安全系统。
现有技术中通常采用SCADE(Safety-Critical ApplicationDevelopment Environment)中的数据流图建模方法或安全状态机建模方法对CBTC联锁系统进行建模,数据流图建模方法适合于连续系统的建模,而安全状态机建模方法适合于离散系统的建模。
然而,在CBTC联锁系统的建模过程中,单独采用数据流图建模方法或者安全状态机建模方法都无法精确、完整描述CBTC联锁系统的进路状态。
发明内容
(一)解决的技术问题
针对现有技术的不足,本发明提供了一种CBTC联锁系统中进路状态建模方法,能够精确、完整的描述CBTC联锁系统的进路状态。
(二)技术方案
为实现以上目的,本发明通过以下技术方案予以实现:
一种CBTC联锁系统进路状态建模方法,包括:
S1、依据CBTC联锁系统进路控制的制约关系制定进路状态,并依据所述进路状态建立进路状态转移图;
S2、依据CBTC联锁系统进路控制的行为对所述进路状态转移图进行抽象处理,得到进路状态转移模型;
S3、依据数据流图建模方法对所述进路状态转移模型中的状态进行逻辑和时序运算,驱动不同状态之间的转换,进而得到CBTC联锁系统进路状态模型。
优选的,步骤S1中所述进路状态包括进路空闲、进路排选、进路锁闭、信号开放和自动解锁。
优选的,步骤S2中依据CBTC联锁系统进路控制的行为对所述进路状态转移图抽象为一个四元组,所述四元组为<状态类型,状态转换条件,本状态动作,下一状态>;其中,所述状态类型为状态转移的属性;所述状态转换条件为状态转移的触发条件;所述本状态动作为当前状态下执行的动作;所述下一状态为状态跃迁的下一个状态。
优选的,步骤S3中对所述进路状态转移模型中的状态进行逻辑和时序运算,驱动不同状态之间的转换的过程为:
S31、预定义进路初始状态为空闲状态;
S32、在进路状态为所述空闲状态时,若选排转换条件通过,进路状态转换为进路选排状态;相反,进路状态保持为空闲状态;
S33、在所述进路选排状态,若锁闭转换条件通过,进路状态转换为进路锁闭状态;相反,进路状态转换为空闲状态;
S34、在所述进路锁闭状态,若信号开放转换条件通过,进路状态转换为信号开放状态;相反,进路状态保持为进路锁闭状态;
S35、在所述信号开放状态,若列车驶入,进路状态转换为自动解锁状态;若列车未驶入且信号开放状态保持条件满足,进路状态保持为信号开放状态;若信号开放状态保持条件不满足,进路状态转换为进路锁闭状态;
S36、在所述自动解锁状态,满足自动解锁条件的进路区段自动解锁,若进路内所有区段都已经解锁,进路状态转换为空闲状态。
(三)有益效果
本发明提供了一种CBTC联锁系统进路状态建模方法,通过对CBTC系统中联锁子系统架构、接口以及功能需求进行分析的基础上,将SCADE中数据流图和状态机这两种建模方法有效的地融合在一起,实现两种模型间的相互嵌套和无缝衔接,进而能够精确、完整的描述CBTC联锁系统的进路状态。
附图说明
为了更清楚地说明本发明实施例或现有技术中的技术方案,下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。
图1为本发明实施例的CBTC联锁系统进路状态建模方法的流程示意图;
图2为本发明实施例的状态转移示意图;
图3为本发明实施例的CBTC联锁系统进路状态模型。
具体实施方式
为使本发明实施例的目的、技术方案和优点更加清楚,下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例是本发明一部分实施例,而不是全部的实施例。基于本发明中的实施例,本领域普通技术人员在没有作出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
实施例1:
如图1所示,本发明实施例提供了一种CBTC联锁系统进路状态建模方法,包括:
S1、依据CBTC联锁系统进路控制的制约关系制定进路状态,并依据所述进路状态建立进路状态转移图;
S2、依据CBTC联锁系统进路控制的行为对所述进路状态转移图进行抽象处理,得到进路状态转移模型;
S3、依据数据流图建模方法对所述进路状态转移模型中的状态进行逻辑和时序运算,驱动不同状态之间的转换,进而得到CBTC联锁系统进路状态模型。
本实施例通过对CBTC系统中联锁子系统架构、接口以及功能需求进行分析的基础上,将SCADE中数据流图和状态机这两种建模方法有效的地融合在一起,实现两种模型间的相互嵌套和无缝衔接,进而能够精确、完整的描述CBTC联锁系统的进路状态。
下面对本发明实施例进行详细的说明:
如图2所示,优选的,步骤S1中所述进路状态包括进路空闲、进路排选、进路锁闭、信号开放和自动解锁。这些状态覆盖了进路的所有可能状态,且不重叠,进路在任何时刻只可能处于其中的一种状态,据此可建立进路状态转移图,并基于此状态转移图来实现联锁进路控制的程序。
优选的,步骤S2中依据CBTC联锁系统进路控制的行为对所述进路状态转移图抽象为一个四元组,所述四元组为<状态类型,状态转换条件,本状态动作,下一状态>,
其中:
状态类型定义了状态转移的属性,分为强转移和弱转移两种类型;
状态转换条件为状态转移的触发条件,通常为一个布尔表达式;
本状态动作为系统在当前状态下执行的动作;
下一状态为状态跃迁的下一个状态。
进路状态转移模型中的状态分别为进路空闲、进路排选、进路锁闭、信号开放以及自动解锁等五种不同的状态。状态之间的转换依靠触发条件,在指定进路空闲状态为初始状态后,采用数据流图的建模方法为每个状态设计逻辑运算,仅当本状态处于活动状态时才执行逻辑运算,运算结果将驱动不同状态的转移。
具体的,步骤S3中对所述进路状态转移模型中的状态进行逻辑和时序运算,驱动不同状态之间的转换的过程为:
S31、预定义进路初始状态为空闲状态;
S32、在进路状态为所述空闲状态时,若选排转换条件通过,进路状态转换为进路选排状态;相反,进路状态保持为空闲状态;
S33、在所述进路选排状态,若锁闭转换条件通过,进路状态转换为进路锁闭状态;相反,进路状态转换为空闲状态;
S34、在所述进路锁闭状态,若信号开放转换条件通过,进路状态转换为信号开放状态;相反,进路状态保持为进路锁闭状态;
S35、在所述信号开放状态,若列车驶入,进路状态转换为自动解锁状态;若列车未驶入且信号开放状态保持条件满足,进路状态保持为信号开放状态;若信号开放状态保持条件不满足,进路状态转换为进路锁闭状态;
S36、在所述自动解锁状态,满足自动解锁条件的进路区段自动解锁,若进路内所有区段都已经解锁,进路状态转换为空闲状态。
其中,
选排转换条件为:进路内各区段空闲、有关道岔位置正确、道岔未锁闭和敌对进路未建立等条件满足时;
锁闭转换条件为:进路内各区段空闲、有关道岔位置正确和敌对进路未建立等条件满足时;
信号开放转换条件为:进路内各区段空闲、有关道岔位置正确、敌对进路未建立、安全门已关闭和紧急停车未实施等条件满足时;
信号开放状态保持条件为:进路内各区段空闲、有关道岔位置正确、敌对进路未建立、安全门已关闭和紧急停车未实施等条件满足时;
状态的输入参数为区段、道岔、安全门、紧急停车按钮等轨旁设备的状态,将所有的设备状态按照与逻辑处理得到不同的结果,并将关系的结果作为条件输出。
如图3所示,为本发明实施例的CBTC联锁系统进路状态模型。
综上,本发明实施例利用SCADE中数据流图建模方法为每个状态实现逻辑和时序上的运算关系,并实现不同状态之间的转换。每一个模型节点都是预先定义好模型输入变量与输出变量,建模工作则是通过组合各种操作符将输入变量与输出变量按照需求关联起来,建模过程中没有全局变量的概念,这种操作方式有利于模型的细化及公共模型的提取,利于整个程序的结构化。本发明实施例实现了两种模型间的相互嵌套和无缝衔接,进而能够精确、完整的描述CBTC联锁系统的进路状态。
需要说明的是,在本文中,诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来,而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且,术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含,从而使得包括一系列要素的过程、方法、物品或者设备不仅包括那些要素,而且还包括没有明确列出的其他要素,或者是还包括为这种过程、方法、物品或者设备所固有的要素。在没有更多限制的情况下,由语句“包括一个……”限定的要素,并不排除在包括所述要素的过程、方法、物品或者设备中还存在另外的相同要素。
以上实施例仅用以说明本发明的技术方案,而非对其限制;尽管参照前述实施例对本发明进行了详细的说明,本领域的普通技术人员应当理解:其依然可以对前述各实施例所记载的技术方案进行修改,或者对其中部分技术特征进行等同替换;而这些修改或者替换,并不使相应技术方案的本质脱离本发明各实施例技术方案的精神和范围。
Claims (4)
1.一种CBTC联锁系统进路状态建模方法,其特征在于,包括:
S1、依据CBTC联锁系统进路控制的制约关系制定进路状态,并依据所述进路状态建立进路状态转移图;
S2、依据CBTC联锁系统进路控制的行为对所述进路状态转移图进行抽象处理,得到进路状态转移模型;
S3、依据数据流图建模方法对所述进路状态转移模型中的状态进行逻辑和时序运算,驱动不同状态之间的转换,进而得到CBTC联锁系统进路状态模型。
2.如权利要求1所述的建模方法,其特征在于,步骤S1中所述进路状态包括进路空闲、进路排选、进路锁闭、信号开放和自动解锁。
3.如权利要求2所述的建模方法,其特征在于,步骤S2中依据CBTC联锁系统进路控制的行为对所述进路状态转移图抽象为一个四元组,所述四元组为<状态类型,状态转换条件,本状态动作,下一状态>,其中,所述状态类型为状态转移的属性;所述状态转换条件为状态转移的触发条件;所述本状态动作为当前状态下执行的动作;所述下一状态为状态跃迁的下一个状态。
4.如权利要求3所述的建模方法,其特征在于,步骤S3中对所述进路状态转移模型中的状态进行逻辑和时序运算,驱动不同状态之间的转换的过程为:
S31、预定义进路初始状态为空闲状态;
S32、在进路状态为所述空闲状态时,若选排转换条件通过,进路状态转换为进路选排状态;相反,进路状态保持为空闲状态;
S33、在所述进路选排状态,若锁闭转换条件通过,进路状态转换为进路锁闭状态;相反,进路状态转换为空闲状态;
S34、在所述进路锁闭状态,若信号开放转换条件通过,进路状态转换为信号开放状态;相反,进路状态保持为进路锁闭状态;
S35、在所述信号开放状态,若列车驶入,进路状态转换为自动解锁状态;若列车未驶入且信号开放状态保持条件满足,进路状态保持为信号开放状态;若信号开放状态保持条件不满足,进路状态转换为进路锁闭状态;
S36、在所述自动解锁状态,满足自动解锁条件的进路区段自动解锁,若进路内所有区段都已经解锁,进路状态转换为空闲状态。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310741127.4A CN103745048A (zh) | 2013-12-27 | 2013-12-27 | Cbtc联锁系统进路状态建模方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310741127.4A CN103745048A (zh) | 2013-12-27 | 2013-12-27 | Cbtc联锁系统进路状态建模方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN103745048A true CN103745048A (zh) | 2014-04-23 |
Family
ID=50502065
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201310741127.4A Pending CN103745048A (zh) | 2013-12-27 | 2013-12-27 | Cbtc联锁系统进路状态建模方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103745048A (zh) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104049976A (zh) * | 2014-06-27 | 2014-09-17 | 上海自仪泰雷兹交通自动化系统有限公司 | 基于布尔逻辑的联锁软件自动生成系统 |
CN106394614A (zh) * | 2016-10-11 | 2017-02-15 | 通号万全信号设备有限公司 | 导轨电车安全型轨旁联锁控制方法及系统 |
CN109441280A (zh) * | 2018-09-12 | 2019-03-08 | 南京康尼机电股份有限公司 | 一种sil4安全级轨道车辆门控器的安全电路及其控制方法 |
CN113807078A (zh) * | 2021-10-09 | 2021-12-17 | 杭州路信科技有限公司 | 信号联锁系统控制方法、装置、电子设备及存储介质 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102514597A (zh) * | 2011-12-12 | 2012-06-27 | 北京交控科技有限公司 | 基于cbtc系统中的区域控制系统监控线路状态的方法 |
CN102566442A (zh) * | 2011-12-29 | 2012-07-11 | 北京交控科技有限公司 | Cbtc信号系统仿真测试平台 |
-
2013
- 2013-12-27 CN CN201310741127.4A patent/CN103745048A/zh active Pending
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102514597A (zh) * | 2011-12-12 | 2012-06-27 | 北京交控科技有限公司 | 基于cbtc系统中的区域控制系统监控线路状态的方法 |
CN102566442A (zh) * | 2011-12-29 | 2012-07-11 | 北京交控科技有限公司 | Cbtc信号系统仿真测试平台 |
Non-Patent Citations (4)
Title |
---|
CHAN-HO CHO等: "Modeling of CBTC Carborne ATO Functions using SCADE", 《AUTOMATION AND SYSTEMS》 * |
李雷: "基于SCADE的CBTC区域控制器软件测试方法研究", 《中国优秀硕士学位论文全文数据库 信息科技辑 》 * |
王鲲等: "关于城市轨道交通CBTC计算机联锁子系统的研究", 《现代城市轨道交通》 * |
程梁: "基于UML的联锁软件建模与仿真研究", 《中国优秀硕士学位论文全文数据库(硕士)工程科技Ⅱ辑》 * |
Cited By (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104049976A (zh) * | 2014-06-27 | 2014-09-17 | 上海自仪泰雷兹交通自动化系统有限公司 | 基于布尔逻辑的联锁软件自动生成系统 |
CN104049976B (zh) * | 2014-06-27 | 2017-07-11 | 上海自仪泰雷兹交通自动化系统有限公司 | 基于布尔逻辑的联锁软件自动生成系统 |
CN106394614A (zh) * | 2016-10-11 | 2017-02-15 | 通号万全信号设备有限公司 | 导轨电车安全型轨旁联锁控制方法及系统 |
CN109441280A (zh) * | 2018-09-12 | 2019-03-08 | 南京康尼机电股份有限公司 | 一种sil4安全级轨道车辆门控器的安全电路及其控制方法 |
CN113807078A (zh) * | 2021-10-09 | 2021-12-17 | 杭州路信科技有限公司 | 信号联锁系统控制方法、装置、电子设备及存储介质 |
CN113807078B (zh) * | 2021-10-09 | 2023-03-10 | 杭州路信科技有限公司 | 信号联锁系统控制方法、装置、电子设备及存储介质 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN103955556B (zh) | 高速铁路列车运行控制车载系统故障逻辑建模方法 | |
CN108009587A (zh) | 一种基于强化学习和规则确定驾驶策略的方法与设备 | |
Zou et al. | Verifying Chinese train control system under a combined scenario by theorem proving | |
CN103745048A (zh) | Cbtc联锁系统进路状态建模方法 | |
Wang et al. | A topology-based model for railway train control systems | |
Ahmad et al. | Specification and verification of safety properties along a crossing region in a railway network control | |
Jin et al. | Simulating bi-directional pedestrian flow in a cellular automaton model considering the body-turning behavior | |
CN102935853A (zh) | 复杂道岔状态中的自适应列车跟踪方法 | |
CN102556120B (zh) | 联锁进路控制方法 | |
Han et al. | A hierarchical verification approach to verify complex safety control systems based on STAMP | |
Yuan et al. | Simplifying the formal verification of safety requirements in zone controllers through problem frames and constraint-based projection | |
CN106627667B (zh) | 轨道交通跨线运行的人机界面显示系统及方法 | |
Chen et al. | Data configurations in railway signalling engineering-an application of enterprise systems techniques | |
CN105678022A (zh) | 面向方面的联锁系统安全需求形式化建模及验证方法 | |
Asirelli et al. | Design and validation of variability in product lines | |
Moler et al. | Combining event-based and state-based modelling for railway verification | |
CN104504210B (zh) | 一种基于Petri网的复杂机电系统可靠性建模方法 | |
Zafar | Formal specification and validation of railway network components using Z notation | |
Palmqvist et al. | A method to separate primary and secondary train delays in past and future timetables using macroscopic simulation | |
Zafar | Formal dynamic operational model of RIS components | |
Keming et al. | Formal modeling and data validation of general railway interlocking system | |
Zhang | Aspect-oriented approach to modeling railway cyber physical systems | |
Wang et al. | Study on modeling and verification of CBTC interlocking system | |
Potekhin et al. | Discrete-event models of a railway network | |
Durmuş et al. | Automation Petri net based railway interlocking and signalization design |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
CB02 | Change of applicant information |
Address after: 100070 Beijing science and Technology Park of Fengtai District Haiying Road No. 6 hospital of Beijing, the headquarters of the International 2 Building No. 3 Applicant after: TRAFFIC CONTROL TECHNOLOGY Co.,Ltd. Address before: 100070 Beijing science and Technology Park of Fengtai District Haiying Road No. 6 hospital of Beijing, the headquarters of the International 2 Building No. 3 Applicant before: Beijing Traffic Control Technology Co., Ltd. |
|
COR | Change of bibliographic data | ||
RJ01 | Rejection of invention patent application after publication | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20140423 |