WO2015143750A1 - 一种高速铁路列车运行控制车载系统故障逻辑建模方法 - Google Patents
一种高速铁路列车运行控制车载系统故障逻辑建模方法 Download PDFInfo
- Publication number
- WO2015143750A1 WO2015143750A1 PCT/CN2014/076144 CN2014076144W WO2015143750A1 WO 2015143750 A1 WO2015143750 A1 WO 2015143750A1 CN 2014076144 W CN2014076144 W CN 2014076144W WO 2015143750 A1 WO2015143750 A1 WO 2015143750A1
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- fault
- faults
- component
- train control
- output
- Prior art date
Links
- 238000000034 method Methods 0.000 title claims abstract description 35
- 238000004458 analytical method Methods 0.000 claims abstract description 32
- 238000011058 failure modes and effects analysis Methods 0.000 claims abstract description 24
- 238000004088 simulation Methods 0.000 claims description 11
- 230000005540 biological transmission Effects 0.000 claims description 8
- 238000005516 engineering process Methods 0.000 claims description 7
- 238000004891 communication Methods 0.000 claims description 6
- 238000013461 design Methods 0.000 claims description 4
- 238000010586 diagram Methods 0.000 claims description 4
- 238000012545 processing Methods 0.000 claims description 4
- 238000009825 accumulation Methods 0.000 claims description 3
- 238000005259 measurement Methods 0.000 claims 1
- 230000009897 systematic effect Effects 0.000 abstract description 4
- 238000011161 development Methods 0.000 abstract description 2
- 230000000694 effects Effects 0.000 description 5
- 238000012544 monitoring process Methods 0.000 description 3
- 238000006243 chemical reaction Methods 0.000 description 2
- 238000010276 construction Methods 0.000 description 2
- 230000009977 dual effect Effects 0.000 description 2
- GVVPGTZRZFNKDS-JXMROGBWSA-N geranyl diphosphate Chemical compound CC(C)=CCC\C(C)=C\CO[P@](O)(=O)OP(O)(O)=O GVVPGTZRZFNKDS-JXMROGBWSA-N 0.000 description 2
- 239000000047 product Substances 0.000 description 2
- 239000013589 supplement Substances 0.000 description 2
- 230000001052 transient effect Effects 0.000 description 2
- 230000002159 abnormal effect Effects 0.000 description 1
- 230000001133 acceleration Effects 0.000 description 1
- 230000004888 barrier function Effects 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 238000003745 diagnosis Methods 0.000 description 1
- 208000024891 symptom Diseases 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
- XLYOFNOQVPJJNP-UHFFFAOYSA-N water Substances O XLYOFNOQVPJJNP-UHFFFAOYSA-N 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3308—Design verification, e.g. functional simulation or model checking using simulation
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L27/00—Central railway traffic control systems; Trackside control; Communication systems specially adapted therefor
- B61L27/20—Trackside control of safe travel of vehicle or train, e.g. braking curve calculation
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L27/00—Central railway traffic control systems; Trackside control; Communication systems specially adapted therefor
- B61L27/60—Testing or simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/10—Geometric CAD
- G06F30/15—Vehicle, aircraft or watercraft design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
-
- 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
Definitions
- the invention relates to a fault logic modeling method for a high-speed railway train operation control vehicle system, and belongs to the technical field of fault diagnosis of a train control system. Background technique
- the train operation control system is an important part of China's railway technology system and equipment modernization, and is one of the core technologies to ensure the safe, reliable and efficient operation of high-speed trains. Once the system fails, the results are often catastrophic. With the rapid development of the national economy, the acceleration of the urbanization process, the expansion of the railway construction scale and the further improvement of the train speed, the high-speed railway operation control system has played an increasingly important role, which also means the safety of the train control system. Efficient operation puts forward higher requirements.
- the vehicle-mounted system is an important part of the CTCS-3 (Chinese Train Control System, China's train operation control system, the third-generation C3)-class train operation control system. It is responsible for receiving ground data command information, generating speed mode curves, and monitoring train operation.
- the technical problem to be solved by the invention is: It can comprehensively and efficiently perform safety analysis modeling on the train-in-vehicle system.
- the present invention provides a high-speed railway train operation control vehicle system fault logic modeling method, comprising the following steps:
- the step of determining the structure of the in-vehicle system and the functional relationship between the parts further comprises:
- the column-controlled vehicle system structure diagram and the system UML model determine the structure of the train-in-vehicle system and clarify the functions of each module and component.
- the module and the device are named in a format of full English and initial capitalization.
- the step of analyzing the faults of each part based on the known fault of the train-mounted vehicle system and the brainstorm analysis further comprises:
- the parameters in the information flow are matched with the corresponding guiding words, the parameters are refined into a series of faults, and then the causes and consequences of each fault are analyzed.
- the field stage from the dangerous database or the dangerous historical accumulation, select The faults that are not listed in the brainstorming are supplemented and expanded, and the process in the concept phase is repeated.
- the step of constructing the FMEA table summarizing the faults of each part is
- the column control vehicle system is divided into sub-modules
- the FMEA table uses the FMEA table to list the failure modes of each module and component of the on-board system; the fault components are arranged and analyzed step by step from bottom to top; input fault, self fault, output fault, double fault analysis for each component, first and last According to legend, until the fault reaches the top ATPCU.
- the FMEA table includes: a fault component, an input component, an input fault mode, a self fault mode, an output fault mode, a dual fault mode, and an output component.
- the step of using the modeling tool to debug the fault further comprises: abstracting the summarized modules, component failure modes and structural relationships into a fault logic model, combining the simulation technology and following the system design to generate the system level and the component level.
- Fault logic model is a transponder and a small antenna unit respectively.
- CAU transponder transmission module BTM, wireless communication station GSM-R, universal security device GCD, vehicle safety transmission unit STU, safety digital input and output VDX, radar, speed sensor, speed measuring and ranging unit SDU, speed distance processing unit SDP, human Machine interface DMI and vehicle safety computer unit ATPCU.
- the modeling tool selects a Stateflow modeling tool for the steps of fault editing and simulation.
- the step of using the modeling tool to simulate the fault further comprises: the Stateflow component model describing the propagation process of the input fault and the fault within the fault component, and the output fault is output to the simulink via the stateflow, in the display device of the simulink Obtain the propagation result of the fault; establish the overall architecture of the fault logic model and the fault propagation relationship between the modules in the Matlab/simulink component;
- the underlying fault layer is transferred to the ATPCU, and the display device is set at the output of the ATPCU to obtain the final simulation result.
- the high-speed railway train operation control vehicle system fault logic modeling method provided by the invention combines the FEMA analysis method and the statefelow modeling tool to make the analysis fault more systematic and solve complex logic problems.
- Fig. 1 is a schematic flow chart showing the fault logic modeling of the on-board system of the high speed railway train operation control of the present invention.
- FIG. 2 is a schematic diagram of the process of fault editing and simulation using the modeling tool of the present invention. detailed description
- the invention provides a fault logic modeling method for a high-speed railway train operation control vehicle system, as shown in FIG. 1 , which specifically comprises the following steps: determining the structure of the train-mounted vehicle system and the functional relationship between the various parts; In-vehicle system failure combined with brainstorm analysis of various parts of the failure; construction of the FMEA table to summarize the failure of each part; using modeling tools for fault editing and simulation.
- FIG. 1 The invention will now be described in detail.
- the high-speed railway train operation control vehicle system is very complicated, and there are many subsystems.
- Each subsystem is composed of many modules, totaling more than one hundred.
- Each subsystem is connected organically through a multi-dimensional, multi-level interface to form a complete train-in-car system.
- the CTCS-3 consists of a large number of modules, totaling more than one hundred.
- Each subsystem is not simply stacked to realize the functions of the train-in-vehicle system.
- Each subsystem passes multiple dimensions and multiple The hierarchical interface is organically connected to form a complete CTCS-3 train-controlled in-vehicle system.
- the core ATPCU is determined in the CTCS-3 train-in-car system, including the GSM-R wireless communication unit (RTM), the transponder information receiving module (BTM), and the human-machine interface (DMI).
- RTM GSM-R wireless communication unit
- BTM transponder information receiving module
- DMI human-machine interface
- the train-in-board system Based on the structure, function and characteristics of the train-in-board system, select the component set, and use this as a basis to brainstorm and analyze possible faults. According to the structure and function relationship of the train-mounted vehicle system, it is divided into five functional units: communication unit, transponder unit, speed measuring and ranging unit, braking unit, and track circuit unit. Each of these units is separately composed of different components. Failure analysis of each component by consulting the literature and brainstorming. In the concept phase, each component needs to disseminate information to complete the functions of the train-in-car system. So there will be information flow between components.
- failure mode is a symptom that can be observed by a component or product.
- it will definitely Some of the failures were not thought of due to lack of artificial experience.
- real-world data in the hazard database can be instructive for brainstorming. According to the clues in the real data, another round of brainstorming can be continued to supplement the failure mode.
- the steps to construct a FMEA table to summarize the failures of each part are presented.
- the train-in-vehicle system is divided into systems, equipment and components.
- the C3 train-in-board system is divided into sub-modules according to actual needs, and then the types of faults that may occur and their effects are analyzed to take corresponding strategy.
- Use the FMEA table to list the failure modes of each module and component of the train-in vehicle system.
- the information contained in the table includes: fault component, input component, input fault mode, self fault mode, output fault mode, double fault mode and output component; fault components are arranged step by step from bottom to top for analysis and summary; Input fault, self fault, output fault, double fault analysis, end-to-end transmission, until the fault reaches the top ATPCU, thereby identifying the danger of the train-mounted vehicle system through the fault mode, and evaluating the fault mode on the train-in-board system influences.
- the following is a detailed description of this step by taking the C3 train control vehicle system as an example.
- the C3 train-in-vehicle system uses the FMEA table to list the fault modes and double faults of each module of the module, as follows:
- Fault component The fault component is the bottom component of each function module of the C3 train control vehicle system, such as Small antenna unit (CAU), transponder transmission module (BTM), speed distance unit (SDU), speed distance processing unit (SDP), etc.
- Input component For a certain faulty component, its input component is the component that provides data to it. For example, the input component of the BTM is CAU, and the input component of the SDP is SDU.
- Input Failure Mode Enter the consequences or effects of a component's failure mode on a component.
- the output failure mode of the lower component is the input failure mode of the upper component.
- Self-failure mode A software or hardware failure that occurs in the component itself.
- Output failure mode The input failure of the component and the consequences of its own failure mode on its output components.
- Dual fault mode Two fault modes occur simultaneously, and the two fault modes can be a combination of different types and different modules.
- Output component An object whose output component is its output data for a certain faulty component.
- the output component of CAU is BTM
- the output component of SDU is SDP.
- CA should be transponder without message output CAU no message output BT U A M m transponder output all zero report
- a/b code is not one
- the FMEA table is used to identify the risk of the on-board system through the failure modes of the system, subsystems, modules, and components, and on this basis, the impact of the failure mode on the on-board system is evaluated.
- Input faults, self faults, output faults, and double fault analysis for each component are transmitted end-to-end until the fault reaches the top ATPCU.
- the FMEA analysis method the potential failures of the products and their consequences are found, and measures to avoid or reduce the occurrence of failures are found and continuously improved.
- the modeling tools are used to troubleshoot and simulate the steps.
- a fault logic model is mapped to the fault mode table.
- the summarized modules, component failure modes and structural relationships are abstracted into a fault logic model, and the system-level and component-level fault logic models are generated by combining the simulation techniques and following the column-controlled vehicle system design.
- the fault logic model is divided into five subsystems: 13 transponders, small antenna unit CAU, transponder transmission module BTM, wireless communication station GSM-R, universal security device GCD, vehicle safety transmission unit STU, safety digital input.
- Output VDX radar, speed sensor, speed measuring and ranging unit SDU, speed distance processing unit SDP, human machine interface DMI and vehicle safety computer unit ATPCU.
- the Stateflow modeling tool is preferably used to implement the editing and simulation functions of the above fault propagation model, and the establishment of a fault logic model.
- the stateflow model describes the propagation process of the input fault and its own fault within the faulty component.
- the output fault is output to the simulink component via the stateflow model, in the simulink component.
- the fault propagation result can be obtained in the display device.
- the overall architecture of the fault logic model and the fault propagation relationship between modules are established in the Matlab/simulink component.
- the faults of the own faults and the underlying modules are also edited in the simulink component, and the Boolean value generated by the switch switch form indicates whether the fault occurs, "1" indicates that the fault occurred, and "0" indicates the fault. Yet to happen.
- the event-driven model is established in the Stateflow model.
- the driving condition is the input fault and its own fault in the external s imulink component. If the driving condition C between the state A and the state B is activated, it is shifted from the arrow start state to the arrow end point.
- the present invention integrates the FMEA method into the fault logic modeling, integrates the two technologies, and uses the FMEA method to analyze the failure modes and effects of the key components, determine the input and output effects of the connected components, and
- the fault mode of the analysis is more systematic, and it is easier to model the fault logic from a global perspective.
- the invention integrates the FMEA method into the fault logic modeling, integrates the two technologies, and uses the FMEA method to analyze the failure modes and influences of the key components, determine the input and output effects of the connected components, and make the analysis of the failure modes more.
- Systematic, fault logic modeling is easier to focus on from a global perspective.
- Stateflow is used for fault logic modeling to achieve conversion between failure modes and solve complex monitoring logic problems. Its use with s imulink makes s imul ink more event-driven.
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Geometry (AREA)
- Computer Hardware Design (AREA)
- General Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Evolutionary Computation (AREA)
- Mechanical Engineering (AREA)
- Mathematical Analysis (AREA)
- Mathematical Optimization (AREA)
- Pure & Applied Mathematics (AREA)
- Computational Mathematics (AREA)
- Aviation & Aerospace Engineering (AREA)
- Automation & Control Theory (AREA)
- Train Traffic Observation, Control, And Security (AREA)
- Electric Propulsion And Braking For Vehicles (AREA)
Abstract
Description
Claims
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US14/909,853 US10296685B2 (en) | 2014-03-27 | 2014-04-24 | Failure logic modeling method for a high-speed railway train operation control on-board system |
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410121103.3 | 2014-03-27 | ||
CN201410121103.3A CN103955556B (zh) | 2014-03-27 | 2014-03-27 | 高速铁路列车运行控制车载系统故障逻辑建模方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
WO2015143750A1 true WO2015143750A1 (zh) | 2015-10-01 |
Family
ID=51332831
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PCT/CN2014/076144 WO2015143750A1 (zh) | 2014-03-27 | 2014-04-24 | 一种高速铁路列车运行控制车载系统故障逻辑建模方法 |
Country Status (3)
Country | Link |
---|---|
US (1) | US10296685B2 (zh) |
CN (1) | CN103955556B (zh) |
WO (1) | WO2015143750A1 (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112560268A (zh) * | 2020-12-17 | 2021-03-26 | 中国航空综合技术研究所 | 基于性能模型的系统安全性分析方法 |
Families Citing this family (25)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104392071B (zh) * | 2014-12-12 | 2017-09-29 | 北京交通大学 | 一种基于复杂网络的高速列车系统安全评估方法 |
CN105954607A (zh) * | 2015-11-12 | 2016-09-21 | 北京交通大学 | 一种高铁信号系统故障检测方法和系统 |
CN105786763B (zh) * | 2016-03-28 | 2018-05-15 | 北京交通大学 | 一种设备集成系统网络的故障传播路径的生成方法 |
CN105912820A (zh) * | 2016-05-09 | 2016-08-31 | 江苏祥和电子科技有限公司 | 一种汽车发动机可靠性建模的方法 |
CN106292629B (zh) * | 2016-08-18 | 2018-08-24 | 南京航空航天大学 | 一种高铁牵引电机复合故障模拟方法 |
CN107423494B (zh) * | 2017-07-03 | 2020-06-19 | 西南交通大学 | 计及动车组车载过分相影响的高铁车-网模型构建方法 |
CN109426675B (zh) * | 2017-08-23 | 2023-01-13 | 中国航空工业集团公司西安航空计算技术研究所 | 基于Stateflow的机载机电综合管理系统余度管理方法 |
CN108089501A (zh) * | 2017-12-20 | 2018-05-29 | 西安中车永电电气有限公司 | 基于Simulink和Sateflow的地铁永磁牵引变流器控制逻辑建模方法 |
CN108196525B (zh) * | 2017-12-27 | 2019-11-12 | 卡斯柯信号有限公司 | 高速列车运行控制系统的运行安全风险动态分析方法 |
CN110366139B (zh) * | 2018-03-26 | 2020-10-16 | 株洲中车时代电气股份有限公司 | 一种动车网络设备安全接入系统及方法 |
CN108768734B (zh) * | 2018-06-04 | 2021-03-23 | 北京全路通信信号研究设计院集团有限公司 | 一种基于多数据融合的gsm-r网络性能分析系统 |
CN109413614B (zh) * | 2018-09-27 | 2020-11-06 | 北京全路通信信号研究设计院集团有限公司 | 一种车地一体综合分析平台 |
US11444959B2 (en) * | 2018-12-21 | 2022-09-13 | Garrett Transportation I Inc. | Integrated equipment fault and cyber attack detection arrangement |
CN110110401B (zh) * | 2019-04-19 | 2020-02-04 | 深圳市德塔防爆电动汽车有限公司 | 一种基于安全树模型的电动车辆安全设计优化方法 |
CN110398949B (zh) * | 2019-05-15 | 2022-04-05 | 中铁检验认证中心有限公司 | 一种基于黑箱测试的高速铁路列车运行控制系统的测试平台 |
CN110456774B (zh) * | 2019-08-15 | 2022-06-10 | 中车大连机车研究所有限公司 | 一种快捷货运机车的故障诊断与预警装置及方法 |
CN111339575B (zh) * | 2020-02-28 | 2022-08-30 | 卡斯柯信号有限公司 | 适用于安全严苛系统的通用内嵌功能安全保障方法 |
CN111639872B (zh) * | 2020-06-04 | 2023-05-30 | 中国航空综合技术研究所 | 一种对民机失效模式与影响分析试验方法进行选择及验证的方法 |
CN112488491B (zh) * | 2020-11-26 | 2023-01-17 | 北京交通大学 | 基于Petri网列控车载设备接入过程可靠性评估方法 |
CN112947370B (zh) * | 2021-02-03 | 2022-04-22 | 华侨大学 | 一种蒸汽锅炉系统的安全分析方法及系统 |
CN114036013B (zh) * | 2021-10-22 | 2024-09-03 | 北京全路通信信号研究设计院集团有限公司 | 一种基于uvm的应答器芯片多模块同步验证平台和验证方法 |
CN114312913B (zh) * | 2022-01-12 | 2023-02-28 | 北京交通大学 | 轨道交通车载设备故障传播监测方法及系统 |
CN114604299B (zh) * | 2022-03-29 | 2023-07-11 | 西门子交通技术(北京)有限公司 | 故障预测模型的建立方法、列车系统故障预测方法和装置 |
CN115140131A (zh) * | 2022-06-14 | 2022-10-04 | 通号城市轨道交通技术有限公司 | 基于动态划分的全状态监测方法和装置 |
CN114973844A (zh) * | 2022-06-28 | 2022-08-30 | 中车青岛四方车辆研究所有限公司 | 一种轨道车辆网络显示屏操作仿真方法及系统 |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102514598A (zh) * | 2011-12-20 | 2012-06-27 | 北京交通大学 | 高铁信号系统级“故障-安全”方法 |
Family Cites Families (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5082208A (en) * | 1989-09-29 | 1992-01-21 | The Boeing Company | System and method for controlling an aircraft flight control member |
US6647356B2 (en) * | 1999-08-23 | 2003-11-11 | General Electric Company | System and method for remote inbound vehicle inspection |
US8781671B2 (en) * | 2005-06-09 | 2014-07-15 | New York Air Brake Corporation | On-board brake system diagnostic and reporting system |
US7705743B2 (en) * | 2006-03-01 | 2010-04-27 | L-3 Communications Corporation | Self-assembling wireless network, vehicle communications system, railroad wheel and bearing monitoring system and methods therefor |
FR2925408B1 (fr) * | 2007-12-20 | 2010-01-08 | Renault Sas | Procede de gestion de dysfonctionnements d'un systeme de controle a architecture modulaire d'un groupe motopropulseur de vehicule automobile et systeme de controle correspondant |
US8560151B2 (en) * | 2010-05-11 | 2013-10-15 | Cartasite, Inc. | Dynamic monitoring of mobile railway car undercarriage |
US9239991B2 (en) * | 2013-09-05 | 2016-01-19 | General Electric Company | Services support system and method |
-
2014
- 2014-03-27 CN CN201410121103.3A patent/CN103955556B/zh not_active Expired - Fee Related
- 2014-04-24 WO PCT/CN2014/076144 patent/WO2015143750A1/zh active Application Filing
- 2014-04-24 US US14/909,853 patent/US10296685B2/en not_active Expired - Fee Related
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102514598A (zh) * | 2011-12-20 | 2012-06-27 | 北京交通大学 | 高铁信号系统级“故障-安全”方法 |
Non-Patent Citations (1)
Title |
---|
DONG, XIMING;: "Fault and Reliability Analysis for Locomotive and Car", RAILWAY LOCOMOTIVE & CAR, vol. 6, no. 24, 31 December 2004 (2004-12-31), pages 43 - 46 * |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112560268A (zh) * | 2020-12-17 | 2021-03-26 | 中国航空综合技术研究所 | 基于性能模型的系统安全性分析方法 |
CN112560268B (zh) * | 2020-12-17 | 2022-12-09 | 中国航空综合技术研究所 | 基于性能模型的系统安全性分析方法 |
Also Published As
Publication number | Publication date |
---|---|
US10296685B2 (en) | 2019-05-21 |
US20170124234A1 (en) | 2017-05-04 |
CN103955556A (zh) | 2014-07-30 |
CN103955556B (zh) | 2017-07-28 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
WO2015143750A1 (zh) | 一种高速铁路列车运行控制车载系统故障逻辑建模方法 | |
CN106802862B (zh) | 列车运行控制系统安全关键软件自动测试平台 | |
CN103023588B (zh) | 一种轨道交通中应答器模拟系统及测试系统 | |
CN103092755B (zh) | 一种列控系统测试序列的自动生成方法 | |
Lijie et al. | Verification of the safety communication protocol in train control system using colored Petri net | |
CN104731085B (zh) | 用于轨旁联锁系统的测试平台及其测试方法 | |
CN112874588B (zh) | 一种轨道交通互联互通信号系统的测试系统 | |
CN110611312B (zh) | 一种变电站间隔层全景数据在线模拟系统及方法 | |
Chen et al. | Performance analysis and verification of safety communication protocol in train control system | |
Arcaini et al. | Validation of the hybrid ERTMS/ETCS level 3 using SPIN | |
CN108111265B (zh) | 一种通信协议一致性自动化测试方法 | |
CN105701014A (zh) | 铁路信号计算机联锁系统的自动化测试方法 | |
CN114706768A (zh) | I3c总线验证方法及验证系统 | |
Wang et al. | Cloud-based simulated automated testing platform for virtual coupling system | |
CN113204499A (zh) | 一种cbtc系统仿真测试方法及装置 | |
Xie et al. | Safety and reliability estimation of automatic train protection and block system | |
CN102479447A (zh) | 一种城市轨道交通救援仿真信息处理方法及装置 | |
Chen et al. | A newly developed safety-critical computer system for China metro | |
CN116279703A (zh) | 全电子联锁测试系统、方法、装置及电子设备 | |
CN106354930B (zh) | 一种空间飞行器的自适应重构方法及系统 | |
CN102509486A (zh) | 机车司机显示单元功能试验台 | |
Wu | Verifiable design of a satellite-based train control system with petri nets | |
CN115442837B (zh) | 网络系统故障排查方法、装置及电子设备 | |
CN105512771A (zh) | 一种铁路进路表优化装置 | |
Tang et al. | Scenario-based modeling and verification of system requirement specification for the European Train Control System |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
121 | Ep: the epo has been informed by wipo that ep was designated in this application |
Ref document number: 14886750 Country of ref document: EP Kind code of ref document: A1 |
|
WWE | Wipo information: entry into national phase |
Ref document number: 14909853 Country of ref document: US |
|
NENP | Non-entry into the national phase |
Ref country code: DE |
|
32PN | Ep: public notification in the ep bulletin as address of the adressee cannot be established |
Free format text: NOTING OF LOSS OF RIGHTS PURSUANT TO RULE 112(1) EPC (EPO FORM 1205A DATED 09.02.2017) |
|
122 | Ep: pct application non-entry in european phase |
Ref document number: 14886750 Country of ref document: EP Kind code of ref document: A1 |