CN113643505B - 一种列车火灾联动及建模验证方法 - Google Patents
一种列车火灾联动及建模验证方法 Download PDFInfo
- Publication number
- CN113643505B CN113643505B CN202110909356.7A CN202110909356A CN113643505B CN 113643505 B CN113643505 B CN 113643505B CN 202110909356 A CN202110909356 A CN 202110909356A CN 113643505 B CN113643505 B CN 113643505B
- Authority
- CN
- China
- Prior art keywords
- fire
- train
- linkage
- alarm
- tcms
- 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.)
- Active
Links
- 238000000034 method Methods 0.000 title claims abstract description 47
- 238000012795 verification Methods 0.000 title claims abstract description 25
- 238000004891 communication Methods 0.000 claims abstract description 32
- 238000001514 detection method Methods 0.000 claims abstract description 27
- 230000001360 synchronised effect Effects 0.000 claims abstract description 7
- 239000000779 smoke Substances 0.000 claims description 24
- 230000004044 response Effects 0.000 claims description 22
- 238000012544 monitoring process Methods 0.000 claims description 13
- 206010033799 Paralysis Diseases 0.000 abstract description 4
- 230000008569 process Effects 0.000 abstract description 3
- 238000010586 diagram Methods 0.000 description 17
- 230000002159 abnormal effect Effects 0.000 description 16
- 238000012790 confirmation Methods 0.000 description 8
- 230000000694 effects Effects 0.000 description 6
- 230000002123 temporal effect Effects 0.000 description 4
- 230000007704 transition Effects 0.000 description 4
- 230000009286 beneficial effect Effects 0.000 description 3
- 238000004378 air conditioning Methods 0.000 description 2
- 238000006243 chemical reaction Methods 0.000 description 2
- 230000007613 environmental effect Effects 0.000 description 2
- 238000010304 firing Methods 0.000 description 2
- 238000012423 maintenance Methods 0.000 description 2
- 230000007246 mechanism Effects 0.000 description 2
- 238000012545 processing Methods 0.000 description 2
- 101000869503 Homo sapiens SAC3 domain-containing protein 1 Proteins 0.000 description 1
- 102100032278 SAC3 domain-containing protein 1 Human genes 0.000 description 1
- 230000015556 catabolic process Effects 0.000 description 1
- 238000005229 chemical vapour deposition Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000010438 heat treatment Methods 0.000 description 1
- 230000010354 integration Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000008520 organization Effects 0.000 description 1
- 230000002265 prevention Effects 0.000 description 1
- 230000011664 signaling Effects 0.000 description 1
- 230000036962 time dependent Effects 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
- 238000010200 validation analysis Methods 0.000 description 1
- XLYOFNOQVPJJNP-UHFFFAOYSA-N water Substances O XLYOFNOQVPJJNP-UHFFFAOYSA-N 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G08—SIGNALLING
- G08B—SIGNALLING OR CALLING SYSTEMS; ORDER TELEGRAPHS; ALARM SYSTEMS
- G08B17/00—Fire alarms; Alarms responsive to explosion
- G08B17/12—Actuation by presence of radiation or particles, e.g. of infrared radiation or of ions
- G08B17/125—Actuation by presence of radiation or particles, e.g. of infrared radiation or of ions by using a video camera to detect fire or smoke
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/20—Design optimisation, verification or simulation
-
- G—PHYSICS
- G08—SIGNALLING
- G08B—SIGNALLING OR CALLING SYSTEMS; ORDER TELEGRAPHS; ALARM SYSTEMS
- G08B17/00—Fire alarms; Alarms responsive to explosion
- G08B17/06—Electric actuation of the alarm, e.g. using a thermally-operated switch
-
- G—PHYSICS
- G08—SIGNALLING
- G08B—SIGNALLING OR CALLING SYSTEMS; ORDER TELEGRAPHS; ALARM SYSTEMS
- G08B17/00—Fire alarms; Alarms responsive to explosion
- G08B17/10—Actuation by presence of smoke or gases, e.g. automatic alarm devices for analysing flowing fluid materials by the use of optical means
-
- G—PHYSICS
- G08—SIGNALLING
- G08B—SIGNALLING OR CALLING SYSTEMS; ORDER TELEGRAPHS; ALARM SYSTEMS
- G08B25/00—Alarm systems in which the location of the alarm condition is signalled to a central station, e.g. fire or police telegraphic systems
- G08B25/01—Alarm systems in which the location of the alarm condition is signalled to a central station, e.g. fire or police telegraphic systems characterised by the transmission medium
- G08B25/10—Alarm systems in which the location of the alarm condition is signalled to a central station, e.g. fire or police telegraphic systems characterised by the transmission medium using wireless transmission systems
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04N—PICTORIAL COMMUNICATION, e.g. TELEVISION
- H04N7/00—Television systems
- H04N7/18—Closed-circuit television [CCTV] systems, i.e. systems in which the video signal is not broadcast
Landscapes
- Physics & Mathematics (AREA)
- Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Business, Economics & Management (AREA)
- Emergency Management (AREA)
- Multimedia (AREA)
- Theoretical Computer Science (AREA)
- Analytical Chemistry (AREA)
- Chemical & Material Sciences (AREA)
- Computer Hardware Design (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- Signal Processing (AREA)
- Computer Networks & Wireless Communication (AREA)
- Train Traffic Observation, Control, And Security (AREA)
Abstract
本发明公开了一种列车火灾联动及建模验证方法,所述列车火灾联动方法包括:FAS的火灾探测设备检测到列车发生火灾,FAS的火灾报警主机确定起火位置,FAS上传火灾信息到TCMS,TCMS通过车地无线通信系统将报警信息转发给OCC的ISCS,同时TCMS解析火灾信息包含的火灾位置信息并控制对应位置的CCTV的摄像头,将所述摄像头的画面同步至ISCS,OCC结合报警信息和所述摄像头的画面判断是否发生火灾,相应的执行火灾误报系统复位或者启动火灾疏散;所述列车火灾联动建模验证方法基于UPPAAL工具建立时间自动机网络,描述并验证列车火灾联动方法。本发明中TCMS以及ISCS的各子系统能够可靠的进行联动,避免因为流程和联动逻辑发生错误导致系统瘫痪,保证列车行车安全。
Description
技术领域
本发明涉及列车安全监控技术领域,特别是涉及一种列车火灾联动及建模验证方法。
背景技术
城市轨道交通运行线路自动化程度越来越高,尤其是采用全自动驾驶的列车,运行效率高,能有效降低全生命周期各项成本,是我国城市轨道交通发展的重要方向。自动化程度高的列车运营场景与非全自动运行线路存在较大差异,其对非正常情况下的行车组织及应急处理提出了更高的要求,必须进一步提升调度作业的执行效率,以确保运行线路的行车安全。例如,在采用全自动驾驶运行线路中,由于列车上没有人员值守,一旦出现列车火灾等危险情况,如果未能及时采取应急措施,将会造成人员伤亡与财产损失。
FAS(火灾报警系统)能够准确实时地对起火位置进行确定和报警,是城市轨道交通监控系统中不可或缺的重要系统,对于及时处置火灾情况和减小影响损失有着极其重要的意义。过去的FAS作为独立系统,不仅不利于与其他设备监控系统统一维护,也带来了不能迅速联动反应等诸多问题。当前,地铁线路普遍引进ISCS(城市轨道交通综合监控系统),将FAS、BAS(环境与设备监控系统)、ACS(门禁系统)等系统深度集成,因此,可以基于ISCS结合TCMS(列车控制和管理系统)实现火灾情况下的系统快速协同联动。如何在火灾情形下使各个系统之间可靠的进行联动,避免因为流程和联动逻辑发生错误造成安全事故是本领域亟待解决的问题。此外,为了避免因为流程和联动逻辑发生错误,导致死锁等问题使得系统瘫痪,造成严重安全事故,还需要对火灾联动方案本身的流程逻辑以及与各个系统之间的联动响应等进行具体的建模分析与验证。
发明内容
本发明的目的在于针对在火灾情形下各个系统之间不能可靠的进行联动的问题,提供一种列车火灾联动方法,使TCMS以及ISCS的各子系统能够可靠的进行联动,准确的判断火灾是否发生并及时进行火灾应急响应,保证列车运行安全。
为了实现上述目的,本发明提供了一种列车火灾联动方法,包括:
步骤一、FAS的火灾探测设备检测到列车发生火灾,FAS的火灾报警主机确定起火位置;
步骤二、FAS上传火灾信息到TCMS,TCMS通过车地无线通信系统将报警信息转发给OCC的ISCS,同时TCMS解析火灾信息包含的火灾位置信息并控制对应位置的CCTV的摄像头,将所述摄像头的画面同步至ISCS;
步骤三、OCC结合报警信息和所述摄像头的画面判断是否发生火灾,相应的执行火灾误报系统复位或者启动火灾疏散。
本发明通过FAS的火灾探测设备检测到列车并通过火灾报警主机上传火灾位置信息到TCMS,TCMS通过车地无线通信系统将报警信息转发给OCC的ISCS,同时TCMS解析火灾信息包含的火灾位置信息并控制对应位置的CCTV的摄像头,OCC结合报警信息和摄像头的画面判断是否发生火灾,并通过TCMS控制ISCS的各子系统进行联动,准确的判断火灾是否发生并及时进行火灾应急响应,保证列车运行安全。
可选的,所述火灾探测设备包括烟温探测器,一节车厢内至少间隔两个所述烟温探测器,所述火灾报警主机根据所述烟温探测器的位置信息判断火灾位置。
可选的,FAS包括感温电缆,所述感温电缆设置在列车底架和设备箱,所述感温电缆对于设置有报警地址信息,当高温导致所述感温电缆切断,所述火灾报警主机根据报警地址信息判断火灾位置。
可选的,FAS包括设在车厢内的人工报警按钮,所述火灾报警主机根据所述人工报警按钮的位置信息判断火灾位置。
可选的,ISCS收到报警信号后,通过ATS向起火列车前后车站下达扣车指令并报警,OCC结合报警信息和所述摄像头的画面判断是否发生火灾。
可选的,确认发生火灾后,TCMS联动BAS、PA和PIS的车载子系统启用对应的火灾应急响应方案。
可选的,TCMS联动BAS、PA和PIS的车载子系统时保持持续监测。
可选的,确认发生火灾后,ISCS联动起火列车前后车站的PIS和PA进行乘客疏散。
可选的,确认火灾误报后,TCMS根据ISCS的火灾复位信息,向FAS下达火灾复位命令,并联动ISCS的子系统退出火灾应急响应。
为了避免因为流程和联动逻辑发生错误,导致死锁等问题使得系统瘫痪,造成严重安全事故,本发明还提供一种列车火灾联动建模验证方法,包括:
步骤一、基于时间自动机理论的UPPAAL工具,建立自动机模型,所述自动机模型包括:FAS时间自动机模型、通信检测时间自动机模型、TCMS时间自动机模型以及OCC时间自动机模型,OCC包括部署在其中的ISCS及其子系统;
步骤二、通过所述自动机模型构成时间自动机网络,描述所述的列车火灾联动方法,对所述的列车火灾联动方法的流程逻辑和各个系统之间的联动响应进行验证,判断流程逻辑和联动响应是否发生错误。
本发明的有益效果在于:
1.在列车火灾联动方法中,本发明通过FAS的火灾探测设备检测到列车并通过火灾报警主机上传火灾位置信息到TCMS,TCMS将对应位置的CCTV的摄像头画面同步至ISCS,OCC结合报警信息和所述摄像头的画面判断是否发生火灾,通过TCMS控制ISCS的各子系统进行联动,准确的判断火灾是否发生并及时进行火灾应急响应,保证列车运行安全;
2.在列车火灾联动方法中,一节车厢内至少间隔两个烟温探测器,当一个烟温探测器检测到火灾发生,达到报警条件时,仅进行预警,只有当两个烟温探测器同时到达报警条件后,FAS才会进行火灾报警,从而提高了火灾检测的可靠性;
3.在列车火灾联动建模验证方法,本发明建立FAS时间自动机模型、通信检测时间自动机模型、TCMS时间自动机模型以及OCC时间自动机模型,通过四个自动机模型构成时间自动机网络,描述并验证实施例1中所述的列车火灾联动方法。通过建立时间自动机模型验证,避免因为流程和联动逻辑发生错误,导致死锁等问题使得系统瘫痪,保证列车行车安全。
附图说明
图1是ISCS系统结构示意图;
图2是列车火灾联动方法示意图;
图3是FAS火灾检测流程图;
图4是TCMS联动流程图;
图5是OCC联动流程图;
图6是FAS时间自动机模型示意图;
图7是通信检测时间自动机模型示意图;
图8是TCMS时间自动机模型示意图;
图9是OCC时间自动机模型示意图;
图10是列车火灾联动方法模型验证结果示意图。
具体实施方式
下面结合附图,对本发明作详细的说明。
为了使本发明的目的、技术方案及优点更加清楚明白,以下结合附图及实施例,对本发明进行进一步详细说明。应当理解,此处所描述的具体实施例仅用以解释本发明,并不用于限定本发明。
实施例1
图1是ISCS系统结构示意图,参见图1,ISCS包括:FAS、BAS、ACS、PA(公共广播)、PIS(乘客信息系统)和CCTV(闭路电视)等子系统,ISCS综合自动化监控系统,具有高度集成与互联等优点,ISCS将分立的弱电各系统的监控功能进行深度集成,有利于紧急事件发生时的协同联动。此外,ISCS还与铁路信号系统,主要为ATS(自动列车监督)有通信接口。ISCS系统部署在OCC(运营控制中心),OOC中由调度员通过ISCS实现对全线列车和设备的监视与控制。
具体的,BAS负责对暖通空调系统设备、给排水系统设备、电梯系统设备、低压配电与动力照明系统设备等设备进行全面、有效地自动化监控及管理,进行程序自动、实时、定时、现场就地监视设备运行状态,控制开启和关停,检测环境参数。FAS子系统由火灾报警控制器及区域火灾报警控制器通过总线方式与现场的烟温探测器、手动报警器、电话插孔、电话挂机、模块等设备组成报警网络,负责监控整个车辆基地、车站范围内相关消防设备的状态,接收火灾报警信息,并显示报警部位。PA子系统用于运营时工作人员发布作业命令和通知、向乘客通告列车信息以及安全、向导等服务信息,并兼做防灾及运营维护广播。CCTV子系统用于监视范围覆盖站台、设备区、列车、以及重要的出入口通道等特殊区域。PIS子系统用于发布乘客导乘信息、列车到站信息、时刻信息、景区特色介绍信息等。ACS子系统用于对通道进出权限、进出方式、进出时间的管理。信号ATS子系统实现列车运行追踪、显示、控制和调整。
TCMS是由MVB(多功能车辆总线)和WTB(绞线式列车总线)等组成的TCN(列车通信网络)构成。其中WTB负责列车车辆间的数据通信,MVB负责车辆内部的数据通信。TCMS通过TCN对列车车载的各个子系统进行控制与管理。
所述列车火灾联动方法包括:FAS的火灾探测设备检测到列车发生火灾,FAS的火灾报警主机确定起火位置,FAS上传火灾信息到TCMS,TCMS通过车地无线通信系统将报警信息转发给OCC的ISCS,同时TCMS解析火灾信息包含的火灾位置信息并控制对应位置的CCTV的摄像头,将所述摄像头的画面同步至ISCS,OCC结合报警信息和所述摄像头的画面判断是否发生火灾,相应的执行火灾误报系统复位或者启动火灾疏散。
具体的,列车火灾联动方法包括以下步骤:
S1:FAS的火灾探测设备检测到列车发生火灾。
在步骤S1中,火灾探测设备包括烟温探测器,一节车厢内至少间隔两个所述烟温探测器。因为每个烟温探测器拥有独立的烟室,专用的红外发射和接收装置,当一个烟室检测到火灾发生,达到报警条件时,仅进行预警,只有当两个烟室同时到达报警条件后,FAS才会进行火灾报警,从而提高了火灾检测的可靠性。列车中如列车底架与设备箱等处不适合使用烟温探测器进行火灾检测,本实施了中在不适合使用烟温探测器进行火灾检测的位置采用感温电缆进行探测,感温电缆具有一个检测阈值,当温度高于阈值后,感温电路被切断,则火灾报警主机能够判断在某个部位温度异常,从而进行报警。在本实施例中,列车上设置了人工报警按钮,当乘客发现火灾后,可以直接通过人工报警按钮进行火灾报警,接收到人工报警信息后,FAS认定列车起火并进行火灾报警。
S2:FAS的火灾报警主机确定起火位置,FAS上传火灾信息到TCMS。
在步骤S2中,每一个烟温探测器都有着独立的位置信息,火灾报警主机实时获取每个烟温探测器的数据,烟温探测器探测到火灾时,火灾报警主机能够判断火灾发生,并结合进行报警的探测器位置判断火灾位置。对于感温电缆,每一路感温电缆都对应一个报警地址信息,当高温导致感温电缆切断,对应报警地址电路断路,火灾报警主机以此为依据判断火灾发生位置。对于人工火灾报警,FAS火灾报警主机根据对应的人工报警按钮的位置来确定火灾发生的位置。
S3:FAS上传火灾信息到TCMS,TCMS通过车地无线通信系统将报警信息转发给OCC的ISCS,同时TCMS解析火灾信息包含的火灾位置信息并控制对应位置的CCTV的摄像头,将所述摄像头的画面同步至ISCS。
在步骤S3中,当TCMS接收到FAS发送的火灾报警信息后,将对应的报警信息转发给ISCS,同时TCMS会解析报警信息中包含的火灾位置信息,并控制对应位置的CCTV的摄像头,将CCTV的摄像头的画面同步至ISCS。
S4:OCC结合报警信息和所述摄像头的画面判断是否发生火灾,相应的执行火灾误报系统复位或者启动火灾疏散。
在步骤S4中,ISCS收到报警信号后,先联动信号系统ATS,向起火列车所在区间的前后车站下达扣车命令,然后立即报警,由调度员进行起火确认。OCC的调度员结合报警信息与CCTV的摄像头的画面判断是否发生火灾。
确认火灾误报后,TCMS根据ISCS的火灾复位信息,向FAS下达火灾复位命令,并联动ISCS的子系统退出火灾应急响应。
确认发生火灾后,ISCS联动起火列车前后车站的PIS、PA设备与系统,进行广播疏散乘客等对应的火灾应急响应预案,同时,ISCS还要将火灾确认信息回传给TCMS,TCMS收到火灾确认信息后,联动BAS、PA和PIS的车载子系统启用对应的火灾应急响应方案。为了避免系统出现故障或在执行火灾应急时通讯中断,TCMS系统保持对所联动设备和系统的持续监测,确保被联动系统能够正常工作,在每个通讯周期,TCMS都需要监测所联动设备的连接状态;
当火灾结束后,由OCC调度员下达结束命令,ISCS和TCMS接收到后转入正常工作状态,并控制对应的联动系统取消对应的联动响应。
图2是列车火灾联动方法示意图,图3是FAS火灾检测流程图,图4是TCMS联动流程图,图5是OCC联动流程图,参见图1-图5所示,当FAS的探测设备发现火灾后,将对应的报警信息转发给TCMS。TCMS接收到来自FAS的报警信息后,一边通过车地无线通信系统将报警信息转发给OCC的ISCS,一边同步CCTV信号,将起火车厢的CCTV画面同步给ISCS。ISCS收到报警信号后,先联动信号系统ATS,向起火列车所在区间的前后车站下达扣车命令,然后立即报警,由调度员进行起火确认。如果确认起火,ISCS则控制车站相关的系统和设备,进行火灾应急响应,例如控制PA与PIS,告知站台乘客不要上车,并疏散至车站以外。同时,ISCS还要将火灾确认信息回传给TCMS,TCMS收到火灾确认信息后,立刻联动车载BAS、PIS、PA等相关系统,对列车火灾进行响应处理,例如通过BAS关闭列车的空调与新风系统,通过PA通知乘客远离起火车厢并准备下车等。当火灾结束后,由OCC调度员下达结束命令,ISCS和TCMS接收到后转入正常工作状态,并控制对应的联动系统取消对应的联动响应。
实施例2
时间自动机与传统的自动机相比,增加了时间约束的机制,同时还加入了有图注释状态转换,对表达一个实时系统的时间约束特性有着非常好的效果。其使用有限变量进行时间的表示,并用一个约束条件来注释状态转换图。约束条件可以判断系统的转移条件,其中,如果约束条件与时间有关,以时间变量来决定状态转换的发生的时机,则称为时间限制。一个实时系统中,通常是由多个时间自动机协同工作构成时间自动机网络。
UPPAAL是由瑞典Aalborg大学和丹麦Uppsala大学联合开发的,基于时间自动机理论构建时间自动机模型的形式化工具。UPPAAL使用专业语法,对系统模型的状态空间进行搜索,验证系统的安全性、可达性以及受限活性等特性。UPPAAL使用一种BNF语法,通过遍历系统的状态空间来进行检测。UPPAAL验证主要考虑模型的三个指标,分别为安全性、可达性、受限活性。安全性主要针对模型的安全属性验证,例如检查系统是否发生死锁等。可达性主要对模型的功能属性进行验证,例如检查某种状态是否能够正确迁移。受限活性主要检查系统的功能属性,主要验证系统的时间约束是否有效。
面向全自动驾驶的列车火灾联动方法不仅需要考虑联动过程中的运算结果,还需要控制联动时间,不同系统之间的联动时间有着不同的要求。此外,由于各个系统独立工作,不同系统容易出现不同的问题,需要考虑到整个联动方案内部的不稳定性。因此,列车火灾联动方法的实现具有实时性与并发性。作为模拟实时系统引入的时间自动机可以通过一组并行、相互通信的时间自动机来表示联动方案中各个系统的流程以及系统之间的联系,将整个系统描述为一个时间自动机网络,由此来满足联动方案的实时性与并发性要求,因此,本发明提出采用UPPAAL对联动方案进行建模分析,以验证方案的安全属性和功能属性。
本发明中列车火灾联动建模验证方法包括:基于时间自动机理论的UPPAAL工具,建立自动机模型,包括:FAS时间自动机模型、通信检测时间自动机模型、TCMS时间自动机模型以及OCC时间自动机模型,OCC包括部署在其中的ISCS及其子系统;通过所述自动机模型构成时间自动机网络,描述并验证实施例1中所述的列车火灾联动方法,对所述的列车火灾联动方法的流程逻辑和各个系统之间的联动响应进行验证,判断流程逻辑和联动响应是否发生错误。FAS时间自动机模型、通信检测时间自动机模型、TCMS时间自动机模型以及OCC时间自动机模型中,每个时间自动机拥有独立的时钟与变量,用于各进程内部的时序与数据处理,四个时间自动机共同构成时间自动机网络来描述全自动驾驶下的列车火灾联动。
图6是FAS时间自动机模型示意图,模型中的主要状态以及通道、变量说明如表1所示。
表1 FAS时间自动机模型说明
结合图6和表1所示,没有火灾时,FAS处于初始idle状态。当一个烟温探测器SHD1达到报警条件时,转移至warning状态,在此状态下检测第二个烟温探测器SHD2是否到达报警条件,如果仅有一个烟温探测器符号报警条件,则认为可能是由于环境、电磁干扰等问题导致的误报,返回初始状态。如果第二个烟温探测器也达到报警条件,则视为检测到火灾发生,FAS向TCMS报警,并转入报警状态alarm。同样,当感温电缆被切断后,如果读取到感温电缆对应的报警地址,FAS也会向TCMS报警,并转移至alarm状态,如果没能读取到感温电缆对应的报警地址,则证明FAS运行异常,转入异常状态Error。此外,该车上的乘客也能进行人工报警,当乘客进行人工报警时,FAS系统将直接向TCS报警,并转入报警状态alarm。
当FAS处于报警状态alarm时,代表列车正在处于火灾状态,此时,如果与TCMS的连接出现异常,可能导致报警信息没有转发成功,FAS需要马上转入至异常状态Error。如果接受到TCMS的火灾结束信息,则代表火灾已经结束,FAS转入初始状态idle。如果接收到来自TCMS的复位信号,则代表TCMS因为某些原因,由人工操作进行复位,并下达命令使得FAS进行复位至初始状态idle。
当FAS处于异常状态Error时,需要人工对FAS的机柜进行复位。所有涉及到人工进行操作时,由人工对火灾是否结束进行确认与保障。
图7是通信检测时间自动机模型示意图,模型中的主要状态以及通道、变量说明如表2所示。
表2通信检测时间自动机模型说明
结合图7和表2所示,当没有通信请求时,TCMS的通信检测处于初始状态idle。收到FAS的连接请求后,开始等待接收FAS的报警信息,如果在规定时间T_FAS2TCMS内没有接收到对应信息,则说明通信出现异常。如果接收到报警信息,则代表TCMS收到报警信息。此外,对于CCTV、ISCS、BAS、PA、PIS等系统,TCMS在申请联动通信时转入对应状态进行相应等待,如果在对应的设定时间内获得反馈,则代表通信成功,否则视为通信异常。
图8是TCMS时间自动机模型示意图,模型中的主要状态以及通道、变量说明如表3所示。
表3 TCMS时间自动机模型说明
结合图8和表3所示,当没有收到火灾报警时,TCMS处于idle状态。收到火灾报警信息后,TCMS转入RecvFireAlarm状态。在此状态中,TCMS需要将火灾报警信息通过车地无线通信转发至OCC的ISCS,如果转发失败,则可能与ISCS的连接出现异常,转入异常状态Error。此外,TCMS还需要将起火位置附近的CCTV摄像头画面同步给ISCS,如果同步失败,转入异常状态Error。当火灾报警信息以及画面同步给ISCS后,TCMS等待OCC的调度员确认火灾是否发生,如果调度员判定是误判,即没有火灾发生,则转入无火灾状态NoFire,并立即向FAS转发火灾结束信息,随后转入初始状态idle。如果调度员确认发生火灾,则TCMS转入联动状态LinkageOthers,准备联动其他系统进行火灾应急响应。
当TCMS位于LinkageOthers状态时,需要持续联动火灾相关应急系统,包括联动BAS关闭新风、空调等,联动PA和PIS进行火灾广播以及乘客疏散等。如果TCMS与相关系统联动异常,则转入异常状态Error,否则视为联动成功。在每个生命周期结束后,检查是否所有的相关系统都进行了连接且均为连接成功,如果有不满足,则代表TCMS系统出现异常,转入异常状态Error。如果全部满足,则重置时钟与各个设备的连接状态,重新请求连接,以达到持续进行联动的效果。在此状态下,TCMS收到OCC的火灾结束信息后,转入无火灾状态NoFire,并立即向FAS转发火灾结束信息,随后转入初始状态idle。
当TCMS处于异常状态Error时,需要由工作人员确认火灾取消后,对TCMS系统进行人工复位,并将复位信息分别转发给OCC与FAS,使得两者执行火灾结束相关操作,避免状态死锁。
图9是OCC时间自动机模型示意图,模型中的主要状态以及通道、变量说明如表4所示。
表4 OCC时间自动机模型说明
结合图9和表4所示,当没有收到火灾报警信息时,OCC处于初始状态idle。等到ISCS收到来自CCTV的同步画面以及TCMS转发来的提示信息时,进行报警,OCC转入报警状态WARNING。转入报警状态后,OCC先后经过确认站台状态SelectStation和下达扣车命令状态HoldTrain,分别对列车位置进行确认,确认列车所处区间前后车站以及向对应车站下达扣车指令,并转入等待确认状态Wait_FireSure,等待调度员进行火灾确认。
如果调度员确认没有发生火灾,则发送误判信号,取消先前下达的扣车指令,转入初始状态idle。如果调度员确认发生火灾,则OCC联动对应车站的PA和PIS等火灾应急相关系统后转入等待火灾结束状态Wait_FireOver。当火灾结束后,OCC可以通过调度员远程复位,也可以通过在列车上人工复位TCMS来进行火灾结束复位,并取消对应的扣车命令与联动,重新转入初始状态ilde。
模型的验证需要对安全性、受限活性以及各种功能进行验证,可以在UPPAAL验证器的性质列表中依次输入需要进行验证的BNF描述语句,图10是列车火灾联动方法模型验证结果示意图,表5列出了列车火灾报警系统所需要验证的性质以及对应的BNF语句、验证结果。
表5列车火灾联动方法的UPPAAL验证性质
结合图10和表5所示,所述列车火灾联动建模验证方法建立了FAS时间自动机模型、通信检测时间自动机模型、TCMS时间自动机模型以及OCC时间自动机模型,通过四个自动机模型构成时间自动机网络,描述并验证实施例1中所述的列车火灾联动方法。通过建立时间自动机模型验证,避免因为流程和联动逻辑发生错误,导致死锁等问题使得系统瘫痪,保证列车行车安全。
以上所述仅为本发明的较佳实施例而已,并不用以限制本发明,凡在本发明的精神和原则之内所作的任何修改、等同替换和改进等,均应包含在本发明的保护范围之内。
Claims (9)
1.一种列车火灾联动建模验证方法,其特征在于,包括:
步骤一、基于时间自动机理论的 UPPAAL工具,建立自动机模型,所述自动机模型包括:FAS 时间自动机模型、通信检测时间自动机模型、TCMS 时间自动机模型以及OCC时间自动机模型,OCC 包括部署在其中的 ISCS 及其子系统;
步骤二、通过所述自动机模型构成时间自动机网络,描述列车火灾联动方法,对列车火灾联动方法的流程逻辑和各个系统之间的联动响应进行验证,判断流程逻辑和联动响应是否发生错误;
所述的列车火灾联动方法包括:
(1)、FAS 的火灾探测设备检测到列车发生火灾,FAS 的火灾报警主机确定起火位置;
(2)、FAS 上传火灾信息到TCMS,TCMS 通过车地无线通信系统将报警信息转发给OCC的ISCS,同时TCMS解析火灾信息包含的火灾位置信息并控制对应位置的CCTV的摄像头,将所述摄像头的画面同步至ISCS;
(3)、OCC 结合报警信息和所述摄像头的画面判断是否发生火灾,相应的执行火灾误报系统复位或者启动火灾疏散。
2. 根据权利要求 1 所述的列车火灾联动建模验证方法,其特征在于,所述火灾探测设备包括烟温探测器,一节车厢内至少间隔两个所述烟温探测器,所述火灾报警主机根据所述烟温探测器的位置信息判断火灾位置。
3. 根据权利要求 1 或 2 所述的列车火灾联动建模验证方法,其特征在于,FAS包括感温电缆,所述感温电缆设置在列车底架和设备箱,所述感温电缆对于设置有报警地址信息,当高温导致所述感温电缆切断,所述火灾报警主机根据报警地址信息判断火灾位置。
4. 根据权利要求 1 所述的列车火灾联动建模验证方法,其特征在于,FAS包括设在车厢内的人工报警按钮,所述火灾报警主机根据所述人工报警按钮的位置信息判断火灾位置。
5. 根据权利要求 1 所述的列车火灾联动建模验证方法,其特征在于,ISCS收到报警信号后,通过ATS向起火列车前后车站下达扣车指令并报警,OCC 结合报警信息和所述摄像头的画面判断是否发生火灾。
6. 根据权利要求 1 所述的列车火灾联动建模验证方法,其特征在于,确认发生火灾后,TCMS联动BAS、PA 和PIS的车载子系统启用对应的火灾应急响应方案。
7. 根据权利要求 6 所述的列车火灾联动建模验证方法,其特征在于,TCMS联动BAS、PA和PIS的车载子系统时保持持续监测。
8. 根据权利要求 1 所述的列车火灾联动建模验证方法,其特征在于,确认发生火灾后,ISCS 联动起火列车前后车站的PIS和PA进行乘客疏散。
9.根据权利要求1所述的列车火灾联动建模验证方法,其特征在于,确认火灾误报后,TCMS根据ISCS的火灾复位信息,向FAS下达火灾复位命令,并联动ISCS的子系统退出火灾应急响应。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110909356.7A CN113643505B (zh) | 2021-08-09 | 2021-08-09 | 一种列车火灾联动及建模验证方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110909356.7A CN113643505B (zh) | 2021-08-09 | 2021-08-09 | 一种列车火灾联动及建模验证方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN113643505A CN113643505A (zh) | 2021-11-12 |
CN113643505B true CN113643505B (zh) | 2023-01-20 |
Family
ID=78420341
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202110909356.7A Active CN113643505B (zh) | 2021-08-09 | 2021-08-09 | 一种列车火灾联动及建模验证方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN113643505B (zh) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114261430B (zh) * | 2021-12-13 | 2023-08-25 | 卡斯柯信号有限公司 | 一种轨道交通全自动模式下火灾及断电联动扣车管理方法 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP0142827A1 (de) * | 1983-11-18 | 1985-05-29 | Siemens Aktiengesellschaft | Automatischer Brandmelder und Verfahren zur Fertigung automatischer Brandmelder |
CN105278500A (zh) * | 2015-10-19 | 2016-01-27 | 南京国电南自轨道交通工程有限公司 | 一种基于环境设备与监控系统的轨道交通火灾联动方法 |
KR20160064663A (ko) * | 2014-11-28 | 2016-06-08 | 엠에스 주식회사 | 열차 화재 대피유도 방법 및 그 방법에 이용되는 대피유도장치 |
CN112509270A (zh) * | 2020-11-19 | 2021-03-16 | 北京城市轨道交通咨询有限公司 | 一种列车车厢的火灾监控联动方法、装置及系统 |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101335880A (zh) * | 2008-08-01 | 2008-12-31 | 上海铁路通信工厂 | 车载视频监控系统及其监控方法 |
CN101394549A (zh) * | 2008-10-28 | 2009-03-25 | 北京佳讯飞鸿电气股份有限公司 | 一种铁路综合视频监控系统 |
US20120078596A1 (en) * | 2010-09-28 | 2012-03-29 | Airbus Operations (Sas) | Method for verifying the validity of the simulation of a system and corresponding device |
CN102682561A (zh) * | 2012-05-07 | 2012-09-19 | 曾文书 | 消防监控报警系统 |
CN103546727B (zh) * | 2013-11-07 | 2016-08-03 | 南京国电南自轨道交通工程有限公司 | 一种地铁综合监控系统接入闭路电视子系统的方法 |
CN106448021A (zh) * | 2016-10-20 | 2017-02-22 | 安徽天枢信息科技有限公司 | 一种用于人防工程的联动烟雾报警系统 |
-
2021
- 2021-08-09 CN CN202110909356.7A patent/CN113643505B/zh active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP0142827A1 (de) * | 1983-11-18 | 1985-05-29 | Siemens Aktiengesellschaft | Automatischer Brandmelder und Verfahren zur Fertigung automatischer Brandmelder |
KR20160064663A (ko) * | 2014-11-28 | 2016-06-08 | 엠에스 주식회사 | 열차 화재 대피유도 방법 및 그 방법에 이용되는 대피유도장치 |
CN105278500A (zh) * | 2015-10-19 | 2016-01-27 | 南京国电南自轨道交通工程有限公司 | 一种基于环境设备与监控系统的轨道交通火灾联动方法 |
CN112509270A (zh) * | 2020-11-19 | 2021-03-16 | 北京城市轨道交通咨询有限公司 | 一种列车车厢的火灾监控联动方法、装置及系统 |
Non-Patent Citations (2)
Title |
---|
城市轨道交通全自动运行列车火灾报警系统设计;张顺;《城市轨道交通研究》;20191231;第77-80页 * |
基于UPPAAL的FAO系统典型运营场景建模与验证;彭大天;《铁道学报》;20130615;第35卷(第6期);第65-71页 * |
Also Published As
Publication number | Publication date |
---|---|
CN113643505A (zh) | 2021-11-12 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
EP2101237B1 (en) | System for monitoring a plurality of sensors | |
CN105096489A (zh) | 一种智能应急照明与疏散指示系统 | |
CN102819249B (zh) | 电力隧道联动控制系统及控制方法 | |
CN113643505B (zh) | 一种列车火灾联动及建模验证方法 | |
CN102549974A (zh) | 关联或重新关联控制网络中的设备的方法 | |
KR102058940B1 (ko) | 철도용 터널 내 작업자 안전 시스템 | |
CN111123739A (zh) | 一种用于全自动无人驾驶模式下的网络控制系统半实物仿真实验平台 | |
CN113060185B (zh) | 新型全电子联锁道岔控制方法及系统 | |
CN203102509U (zh) | 基于列车控制及监控系统的火灾报警仿真调试系统 | |
KR100921931B1 (ko) | 지능형 센서장치 및 그에 따른 구동방법 | |
CN105197071B (zh) | 一种轨道交通中列车阻塞后的系统联动方法 | |
US20230391386A1 (en) | Security information supervision apparatus applied to high-speed rail signal system | |
CN212276537U (zh) | 一种轨道车辆烟火控制系统 | |
CN211015814U (zh) | 一种火灾报警系统及安装有该报警系统的列车 | |
CN114059886B (zh) | 站台屏蔽门控制方法及控制系统 | |
CN105357029A (zh) | 基于全站信息的智能变电站通信链路异常的检测分析方法 | |
CN113783729A (zh) | 数据包通信系统,以及使用该系统的基础设施系统、楼宇自动化系统、工厂自动化系统 | |
KR102209544B1 (ko) | 열차상황 인지 방법 및 장치 | |
KR101965036B1 (ko) | 항공 장애등 제어 장치 및 항공 장애등 제어 방법 | |
CN110601358B (zh) | 一种电网智能机器人远程调度监控系统 | |
KR102283874B1 (ko) | 자동폐색제어장치 자동 시험기 및 그 시험 방법 | |
CN114511994A (zh) | 一种利用物联网技术实现远程联动消防设施的系统及方法 | |
CN115337576A (zh) | 一种储能集装箱灭火系统及其控制方法 | |
Wang et al. | Fire Linkage Scheme Design and Modeling Verification of Urban Rail Transit | |
CN217588205U (zh) | 一种用于消防的物联网智能联动终端 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |