CN108920846A - A kind of risk coupling analytical method of high-speed rail train control system complexity operation scene - Google Patents
A kind of risk coupling analytical method of high-speed rail train control system complexity operation scene Download PDFInfo
- Publication number
- CN108920846A CN108920846A CN201810737532.1A CN201810737532A CN108920846A CN 108920846 A CN108920846 A CN 108920846A CN 201810737532 A CN201810737532 A CN 201810737532A CN 108920846 A CN108920846 A CN 108920846A
- Authority
- CN
- China
- Prior art keywords
- operation scene
- control system
- train control
- speed rail
- rail train
- 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.)
- Granted
Links
- 238000004458 analytical method Methods 0.000 title claims abstract description 28
- 230000008878 coupling Effects 0.000 title claims abstract description 21
- 238000010168 coupling process Methods 0.000 title claims abstract description 21
- 238000005859 coupling reaction Methods 0.000 title claims abstract description 21
- 238000004088 simulation Methods 0.000 claims abstract description 37
- 238000000034 method Methods 0.000 claims abstract description 28
- 238000002347 injection Methods 0.000 claims abstract description 16
- 239000007924 injection Substances 0.000 claims abstract description 16
- 238000004422 calculation algorithm Methods 0.000 claims abstract description 10
- 238000003066 decision tree Methods 0.000 claims abstract description 10
- 230000006870 function Effects 0.000 claims description 18
- 238000010586 diagram Methods 0.000 claims description 12
- 230000007474 system interaction Effects 0.000 claims description 12
- 230000003993 interaction Effects 0.000 claims description 9
- 230000007704 transition Effects 0.000 claims description 9
- 230000002452 interceptive effect Effects 0.000 claims description 5
- 230000008859 change Effects 0.000 claims description 3
- 238000009412 basement excavation Methods 0.000 claims description 2
- 238000013508 migration Methods 0.000 claims description 2
- 230000005012 migration Effects 0.000 claims description 2
- 238000005516 engineering process Methods 0.000 abstract description 2
- 238000010801 machine learning Methods 0.000 abstract 1
- 230000008569 process Effects 0.000 description 5
- 230000006854 communication Effects 0.000 description 3
- 238000011160 research Methods 0.000 description 3
- XEEYBQQBJWHFJM-UHFFFAOYSA-N Iron Chemical compound [Fe] XEEYBQQBJWHFJM-UHFFFAOYSA-N 0.000 description 2
- 230000004888 barrier function Effects 0.000 description 2
- 239000000284 extract Substances 0.000 description 2
- 231100001261 hazardous Toxicity 0.000 description 2
- 238000012545 processing Methods 0.000 description 2
- 230000000644 propagated effect Effects 0.000 description 2
- 238000012502 risk assessment Methods 0.000 description 2
- 239000000243 solution Substances 0.000 description 2
- 238000012546 transfer Methods 0.000 description 2
- 238000013475 authorization Methods 0.000 description 1
- 230000006399 behavior Effects 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000008901 benefit Effects 0.000 description 1
- 230000001364 causal effect Effects 0.000 description 1
- 238000004891 communication Methods 0.000 description 1
- 230000007812 deficiency Effects 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 238000011058 failure modes and effects analysis Methods 0.000 description 1
- 229910052742 iron Inorganic materials 0.000 description 1
- 238000013507 mapping Methods 0.000 description 1
- 230000007246 mechanism Effects 0.000 description 1
- 238000002156 mixing Methods 0.000 description 1
- 239000000203 mixture Substances 0.000 description 1
- 238000012544 monitoring process Methods 0.000 description 1
- 238000005192 partition Methods 0.000 description 1
- 239000000126 substance Substances 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
- 238000012795 verification Methods 0.000 description 1
Classifications
-
- 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
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
- G06Q10/063—Operations research, analysis or management
- G06Q10/0635—Risk analysis of enterprise or organisation activities
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q50/00—Information and communication technology [ICT] specially adapted for implementation of business processes of specific business sectors, e.g. utilities or tourism
- G06Q50/40—Business processes related to the transportation industry
Landscapes
- Engineering & Computer Science (AREA)
- Business, Economics & Management (AREA)
- Human Resources & Organizations (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Strategic Management (AREA)
- General Physics & Mathematics (AREA)
- Economics (AREA)
- General Business, Economics & Management (AREA)
- Tourism & Hospitality (AREA)
- Marketing (AREA)
- Entrepreneurship & Innovation (AREA)
- Educational Administration (AREA)
- Development Economics (AREA)
- Game Theory and Decision Science (AREA)
- General Engineering & Computer Science (AREA)
- Geometry (AREA)
- Operations Research (AREA)
- Quality & Reliability (AREA)
- Evolutionary Computation (AREA)
- Computer Hardware Design (AREA)
- Health & Medical Sciences (AREA)
- General Health & Medical Sciences (AREA)
- Primary Health Care (AREA)
- Train Traffic Observation, Control, And Security (AREA)
Abstract
The invention discloses a kind of risk coupling analytical methods of high-speed rail train control system complexity operation scene, include the following steps:Under the technical specification of high-speed rail train control system, the uml model of high-speed rail train control system operation scene is established using UML modeling technique;According to the uml model of operation scene, the simulation model of operation scene is established;The injection failure combination in the simulation model of operation scene, obtains emulation data;Using decision Tree algorithms, risk coupling rule is excavated from obtained emulation data.The risk coupling analytical method of high-speed rail train control system complexity operation scene provided by the invention, pass through the complicated building for runing model of place, utilize system simulation technology, Failure Injection Technique and machine learning algorithm, can emulate covering small probability failure combination event high-speed rail train control system complexity operation scene, can comprehensively, system, efficiently excavate high-speed rail train control system complexity operation scene in potential risks coupling rule.
Description
Technical field
The present invention relates to rail traffic security fields, specially a kind of risk coupling of high-speed rail train control system complexity operation scene
Close analysis method.
Background technique
High Speed Train Operation Control system, abbreviation train control system are the core skills for guaranteeing the operation of train high-speed secure
Art equipment and Safety-Critical System, be guarantee bullet train safety, on schedule, comfortably, high density run without interruption important technology
Means.Compared with classical signal system, the software and hardware of train control system is highly integrated, between subsystem depth couple, system form,
Function logic, state transition and interbehavior etc. are more complicated.Therefore, the dangerous reason mechanism of train control system also develops
It is all the more complicated.And once there is safety problem in train control system, will directly affect high-speed railway traffic safety, gently then driving in
It is disconnected, heavy then car crash.
During train control system operation, the operation scene of Various Complex is covered.Under different operation scenes, train control system
Subsystem between there is different interbehaviors, for each subsystem by realizing different function, train control system is completed in common cooperation
Entire operation scene.However, since there is the interbehaviors of this complexity and required reality between the subsystem of train control system
Existing different function logics lead to the risk coupled problem for containing height in the operation scene of train control system, i.e.,:Some subsystem
The event of failure that system generates, by the complex interaction behavior between subsystem, the event of failure that can be generated with other subsystems, with
Certain logic interacts, intercouples, and eventually leads to train control system and generates dangerous failure, jeopardizes traffic safety.Column control system
Risk coupled problem in system operation scene, has extremely strong concealment, complexity and harmfulness, it has also become high-speed rail train control system
Safety analysis field urgent problem to be solved.
Currently, the research of the identification of train control system danger reason and risk analysis, primarily focuses on subsystem internal, utilize
The System Safety Analysis method based on linear event chain such as HAZOP, FMEA, half formalization or formalized model in conjunction with subsystem
The identification of hazardous events, and comprehensive utilization FTA, ETA, fuzzy mathematics, Bayesian network scheduling theory and method are carried out to identification
Hazardous events carry out risk analysis.In addition, there are also the System Safety Analysis method based on state diagram of utilization, by being needed to system
It asks and is parsed, define system mode and state transition, using the Formal Modelings such as SCADE, UPPAAL and verification tool, establish
State graph model carries out system requirements to portray description, and carries out shape to system mode graph model by the way of model testing
Formula chemical examination card, analysis system whether there is potential security risk.And utilize the System Safety Analysis side propagated based on failure
System is divided into different levels and module based on the thought of layering from top to bottom, recycles inactive logic needle from bottom to top by method
The failure communication process of different levels module is modeled, failure communication process is divided using the searching algorithm of automation
Analysis.The shortcomings that these methods:
(1) what the System Safety Analysis method based on linear event chain obtained is mainly with linear causal system
Dangerous reason.However, the risk coupled problem of train control system, often in train control system subsystem potential danger source in a system
It arranges and interacts and generate under complicated reciprocation, be not often simple linear causality between them, but
A kind of characteristic emerged in large numbers is showed, therefore, the System Safety Analysis method based on linear event chain is difficult to the wind to train control system
Dangerous coupled problem is analyzed;
(2) System Safety Analysis based on state diagram and the System Safety Analysis propagated based on failure, are establishing model
With compare during analysis dependent on expertise, may due to analysis personnel difference and obtain different results.And
And the model that both modeling methods are established is difficult to embody continuous physical change, accordingly, it is difficult to describe blending together for train control system
Property.
Summary of the invention
It is an object of the invention to overcome the deficiencies of the prior art and provide a kind of comprehensive, system, efficient high-speed rail column control systems
The complicated operation scene risk coupling analytical method of system.
The purpose of the present invention is achieved through the following technical solutions:A kind of high-speed rail train control system complexity operation scene
Risk coupling analytical method, includes the following steps:
S1. under the technical specification of high-speed rail train control system, high-speed rail train control system operation scene is established using UML modeling technique
Uml model, including following sub-step:
S11. under the technical specification of high-speed rail train control system, according to the feature of wanted description object, uml model is divided into
System interaction layer, system scenarios layer and system logic layer;
S12. it in system interaction layer, is described using interaction figure between the train control system operation each participation main body of scene
Interbehavior;
S13. in system scenarios layer, each participation main body itself of train control system operation scene is described using state diagram
State transition;
S104. in system logic layer, each participation main body in train control system operation scene is described using state diagram
Function logic.
S2. according to the uml model of operation scene, the simulation model of operation scene, including following sub-step are established:
S21. the interbehavior between simulation model subsystem is determined according to the description of system interaction layer, realizes operation scene
The interactive cooperation of simulation model subsystem;
S22. operation scene is realized in the state transition that simulation model subsystem itself is determined according to the description of system scenarios layer
The status change of simulation model subsystem;
S23. the realization logic that simulation model subsystem function is determined according to the description of system logic layer realizes operation scene
The function logic of simulation model subsystem.
S3. the injection failure combination in the simulation model of operation scene, obtains emulation data, including following sub-step:
S31. using potential danger source in dangerous and operability method (HAZOP) identification operation scene, failure is constructed
Pattern base;
S32. failure is subjected to permutation and combination, generates the failure script comprising failure execution sequence;
S33. Failure Injection Technique is utilized, executes event to run scene simulation model as goal systems according to failure script
The combination of barrier is injected, and is monitored and is recorded the operation data of analogue system, obtain system emulation data.
S4. decision Tree algorithms are utilized, risk coupling rule are excavated from the obtained emulation data of step S3, including following
Sub-step:
S41. using the system dangerous state to be analyzed as decision attribute, then using the fault condition of each subsystem as item
Part attribute constructs decision table;
S42. decision table is learnt using decision Tree algorithms, what excavation was wherein contained leads to correspondence system precarious position
The risk of generation couples rule.
Further, the emulation data that the step S3 is generated include the fault condition of operation scene subsystem module and imitate
The system normal condition and system dangerous status information of true mode.
The beneficial effects of the invention are as follows:The present invention utilizes UML method, constructs the uml model of complicated operation scene, and description is high
Iron train control system complexity runs the participation main body of system in scene, function logic, state transfer and interbehavior.According to UML
Model, building operation scene simulating system.Using the Failure Injection Technique based on emulation, failure combination is injected into operation scene
Analogue system recycles decision Tree algorithms, excavates to causing the risk of system dangerous state to couple rule in the scene.It is logical
The risk coupling rule that above method obtains is crossed, the various danger in train control system complexity operation scene comprehensive and accurate can be covered
Dangerous situation scape.
Detailed description of the invention
Fig. 1 is the risk coupling analytical method flow chart that high-speed rail train control system complexity runs scene;
Fig. 2 is the corresponding relationship in the present invention between uml model and operation scene simulation model;
Fig. 3 is direct fault location and emulation data acquisition flow chart in the present invention;
Fig. 4 is the flow chart that rule is coupled using decision tree learning risk.
Specific embodiment
Technical solution of the present invention is described in further detail with reference to the accompanying drawing, but protection scope of the present invention is not limited to
It is as described below.
As shown in Figure 1, a kind of risk coupling analytical method of high-speed rail train control system complexity operation scene, including following step
Suddenly:
S1. the uml model of high-speed rail train control system operation scene is established:According to high-speed rail train control system general technical specification, it is
The specification such as requirement profile of uniting, using UML method, the uml model of building operation scene, including following sub-step:
S11. the level of uml model is divided.
The model partition for runing scene is three system interaction layer, system scenarios layer and system logic layer layer by the present invention
Secondary, the common train control system that describes runs scene.
Wherein, all subsystems that system interaction layer model participates in the scene using train control system utilize friendship as research object
Mutual figure participates in the interbehavior between subsystem to describe these;System scenarios layer model is to grind with the single subsystem of train control system
Study carefully object, each state transition process for participating in main body itself is described using state diagram;System logic layer is with some subsystem
Concrete function be research object, described using state diagram some subsystem realize concrete function logical process process.
S12. the system interaction layer model of operation scene is established.
Specifically, based on the description in technical specification to the subsystem interbehavior of participation, system is constructed using interaction figure
Interaction layer model.Using the subsystems in scene as the object in interaction figure, using the interbehavior between subsystem as
Message in interaction figure describes information exchange and its sequential relationship between subsystems.
S13. the system scenarios layer model of operation scene is established.
Specifically, the description based on the variation that sub-system state is generated due to information exchange in technical specification utilizes
State diagram constructs system scenarios layer model.The object that single subsystem is described as state diagram, by subsystem in operation scene
Variation be abstracted as state, information exchange described in system interaction layer model is abstracted as transition condition, building operation scene
System scenarios layer model.
S14. the system logic layer model of operation scene is established.
Specifically, the description that the processing logic of some function is realized based on sub-system in technical specification, utilizes state diagram
Construct system logic layer model.Pair that the function that state each in system scenarios layer model needs to be implemented is described as state diagram
As analyzing subsystem realizes the processing logic when function, is state and its transition condition by this logical mappings, constructs system
Logical layer model.
S2. the corresponding relationship runing scene uml model and runing between scene simulation model is as shown in Figure 2.According to step
The model established in S1, the simulation model of building operation scene, including following sub-step:
S21. firstly, determining the son of required realization in simulation model according to object described in system interaction layer model
System.Then, the interactive information according to described in system interaction layer determines the interaction in simulation model between subsystem, realizes son
Communication between system.
S22. subsystems are generated due to information exchange in simulation model shape is determined according to system scenarios layer model
State transition of the subsystems in entirely operation scene in simulation model is realized in state variation.
S23. the variable and function of each subsystem internal in simulation model are determined according to system logic layer model, realize son
System is to reach the function arithmetic logic of its target.
S3. using the operation scene simulation model established in step S2 as goal systems, the combination injection of failure is realized, entirely
Process is as shown in figure 3, include following sub-step:
S31. danger source present in the operation scene is analyzed using HAZOP.
Specifically, each object in high-speed rail train control system operation scene system interaction layer model is treated as into a node, choosing
It takes the interactive information of object as element, according to the introducer provided in HAZOP, element is combined with introducer, composition is wanted
The issuable deviation of element, recognizes danger source that may be present in the operation scene.
S32. the danger source analyzed in S31 is configured to be easy to be infused by the fault pattern base of procedure identification as failure
The basis entered.
Specifically, in conjunction with HAZOP analyze as a result, based on FARM quaternary group model, determine the specific descriptions of fault set,
It mainly include abort situation, fault type, trouble duration, direct fault location moment.Wherein, direct fault location position can be from
It is obtained in failure Producing reason in HAZOP analysis result;Fault type is corresponding with the type that HAZOP introducer describes;Failure
Duration is failure duration during primary operation;The direct fault location moment is with the shape of simulation model subsystems
State migration is foundation, controls the injection of failure.
S33. the Failure Injection Technique based on emulation is utilized, failure is selected to carry out permutation and combination from fault pattern base, and
It is injected into operation scene simulation model, realizes the combination injection of failure, specifically include:
S331. the direct fault location script comprising failure execution sequence is generated.
S332. the information of read failure script, the failure combination of simulation model will be injected by obtaining subsequent time.
S333. corresponding failure is read from fault pattern base, parses the information of failure, determines the injection time of these failures
Sequence.Then, the operating status for obtaining modules in simulation model, waits pending direct fault location.
S334. after the condition for monitoring direct fault location meets, corresponding direct fault location order is generated, emulation mould is sent to
The specified module of type, enables it modify the state of oneself or interactive information, realizes the injection of failure.
S335. judge the failure for needing to inject in this simulation process whether all injections, if not finishing, after
Continuous step S334, execute direct fault location and record direct fault location as a result, obtaining system emulation data.If the combination of this failure
It has been injected into and finishes, then continue to execute S332, the information in read failure script prepares direct fault location next time, until event
Barrier script circulation finishes.
S4. according to the obtained emulation data of step S3, rule is coupled using decision tree learning risk, as shown in figure 4, packet
Include following steps:
S41. data configuration decision table is emulated according to obtained in step S33.
Specifically, the system emulation data analyzed extract system dangerous status data wherein included, such as:
Train hypervelocity, RBC handover failure etc., the decision attribute as decision table;Then, it extracts in system emulation data and runs scene
The failure that simulation model subsystem generates, such as:Mobile authorization mistake, emergency brake command delay etc., the item as decision table
Part attribute constructs decision table.
S42, the decision table according to obtained in S41 learn decision table using C4.5 decision Tree algorithms, are caused
The risk of system dangerous state couples rule.
To sum up, the present invention utilizes UML method, constructs the uml model of complicated operation scene, and description high-speed rail train control system is complicated
Run the participation main body of system in scene, function logic, state transfer and interbehavior.According to uml model, building operation
Scene simulating system.Using the Failure Injection Technique based on emulation, failure combination is injected into operation scene simulating system, then benefit
With decision Tree algorithms, excavated to causing the risk of system dangerous state to couple rule in the scene.It is obtained by above method
The risk coupling rule arrived comprehensive and accurate can cover the various dangerous scenes in train control system complexity operation scene.
It should be noted that those of ordinary skill in the art will understand that the embodiments described herein is to help
Reader is helped to understand implementation method of the invention, it should be understood that protection scope of the present invention is not limited to such special statement
And embodiment.Those skilled in the art disclosed the technical disclosures can make various do not depart from originally according to the present invention
Various other specific variations and combinations of essence are invented, these variations and combinations are still within the scope of the present invention.
Claims (6)
1. a kind of risk coupling analytical method of high-speed rail train control system complexity operation scene, it is characterised in that:Include the following steps:
S1. under the technical specification of high-speed rail train control system, high-speed rail train control system operation scene is established using UML modeling technique
Uml model;
S2. according to the uml model of operation scene, the simulation model of operation scene is established;
S3. the injection failure combination in the simulation model of operation scene, obtains emulation data;
S4. decision Tree algorithms are utilized, risk coupling rule is excavated from the obtained emulation data of step S3.
2. a kind of risk coupling analytical method of high-speed rail train control system complexity operation scene according to claim 1, special
Sign is:The step S1 includes following sub-step:
S11. under the technical specification of high-speed rail train control system, according to the feature of wanted description object, uml model is divided into system
Alternation of bed, system scenarios layer and system logic layer;
S12. in system interaction layer, each interaction participated between main body of train control system operation scene is described using interaction figure
Behavior;
S13. in system scenarios layer, each state for participating in main body itself of train control system operation scene is described using state diagram
Migration;
S14. in system logic layer, each function of participating in main body in train control system operation scene is described using state diagram and is patrolled
Volume.
3. a kind of risk coupling analytical method of high-speed rail train control system complexity operation scene according to claim 1, special
Sign is:The step S2 includes following sub-step:
S21. the interbehavior between simulation model subsystem is determined according to the description of system interaction layer, realizes operation scene simulation
The interactive cooperation of model subsystem;
S22. operation scene simulation is realized in the state transition that simulation model subsystem itself is determined according to the description of system scenarios layer
The status change of model subsystem;
S23. the realization logic that simulation model subsystem function is determined according to the description of system logic layer realizes operation scene simulation
The function logic of model subsystem.
4. a kind of risk coupling analytical method of high-speed rail train control system complexity operation scene according to claim 1, special
Sign is:The step S3 includes following sub-step:
S31. using potential danger source in dangerous and operability method identification operation scene, fault pattern base is constructed;
S32. failure is subjected to permutation and combination, generates the failure script comprising failure execution sequence;
S33. Failure Injection Technique is utilized, executes failure to run scene simulation model as goal systems according to failure script
Combination injection, monitors and records the operation data of analogue system, obtain system emulation data.
5. a kind of risk coupling analytical method of high-speed rail train control system complexity operation scene according to claim 1, special
Sign is:The emulation data that the step S3 is generated include the fault condition for runing scene subsystem module and simulation model is
Normal condition of uniting and system dangerous status information.
6. a kind of risk coupling analytical method of high-speed rail train control system complexity operation scene according to claim 1, special
Sign is:The step S4 includes following sub-step:
S41. using the system dangerous state to be analyzed as decision attribute, then using the fault condition of each subsystem as condition category
Property, construct decision table;
S42. decision table is learnt using decision Tree algorithms, what excavation was wherein contained causes correspondence system precarious position to generate
Risk couple rule.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810737532.1A CN108920846B (en) | 2018-07-06 | 2018-07-06 | Risk coupling analysis method for complex operation scene of train control system of high-speed rail |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810737532.1A CN108920846B (en) | 2018-07-06 | 2018-07-06 | Risk coupling analysis method for complex operation scene of train control system of high-speed rail |
Publications (2)
Publication Number | Publication Date |
---|---|
CN108920846A true CN108920846A (en) | 2018-11-30 |
CN108920846B CN108920846B (en) | 2020-10-09 |
Family
ID=64425745
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201810737532.1A Expired - Fee Related CN108920846B (en) | 2018-07-06 | 2018-07-06 | Risk coupling analysis method for complex operation scene of train control system of high-speed rail |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN108920846B (en) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110533296A (en) * | 2019-07-31 | 2019-12-03 | 北京交通大学 | The operation risk analysis method of the railway network |
CN111210165A (en) * | 2020-01-21 | 2020-05-29 | 哈尔滨工业大学 | Vehicle operation risk assessment system based on risk conduction coupling |
CN112149293A (en) * | 2020-09-14 | 2020-12-29 | 南京航空航天大学 | Method for determining conditional probability in risk analysis |
CN117993894A (en) * | 2024-04-03 | 2024-05-07 | 四川航天职业技术学院(四川航天高级技工学校) | Rail transit operation and maintenance state data processing method and system based on artificial intelligence |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20090094575A1 (en) * | 2007-10-03 | 2009-04-09 | Siemens Corporate Research, Inc. | System and Method For Applying Model-Based Testing To Train Control Systems |
CN102194061A (en) * | 2010-03-02 | 2011-09-21 | 中国科学院软件研究所 | Method for verifying security model of computer system |
-
2018
- 2018-07-06 CN CN201810737532.1A patent/CN108920846B/en not_active Expired - Fee Related
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20090094575A1 (en) * | 2007-10-03 | 2009-04-09 | Siemens Corporate Research, Inc. | System and Method For Applying Model-Based Testing To Train Control Systems |
CN102194061A (en) * | 2010-03-02 | 2011-09-21 | 中国科学院软件研究所 | Method for verifying security model of computer system |
Non-Patent Citations (4)
Title |
---|
KIRSTEN MEWES等: "Executable HybridUML and Its Application to Train Control Systems", 《LECTURE NOTES IN COMPUTER SCIENCE》 * |
安越: "基于UML和TA的RBC***形式化建模与分析", 《中国优秀硕士学位论文全文数据库-工程科技Ⅱ辑》 * |
张亚东: "高速铁路列车运行控制***安全风险辨识及分析研究", 《中国博士学位论文全文数据库-工程科技Ⅱ辑》 * |
郭文丽: "基于列控数据完备性的列车故障预警方法研究", 《中国优秀硕士学位论文全文数据库-工程科技Ⅱ辑》 * |
Cited By (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110533296A (en) * | 2019-07-31 | 2019-12-03 | 北京交通大学 | The operation risk analysis method of the railway network |
CN110533296B (en) * | 2019-07-31 | 2022-07-15 | 北京交通大学 | Operation risk analysis method for railway network |
CN111210165A (en) * | 2020-01-21 | 2020-05-29 | 哈尔滨工业大学 | Vehicle operation risk assessment system based on risk conduction coupling |
CN111210165B (en) * | 2020-01-21 | 2023-04-07 | 哈尔滨工业大学 | Vehicle operation risk assessment system based on risk conduction coupling |
CN112149293A (en) * | 2020-09-14 | 2020-12-29 | 南京航空航天大学 | Method for determining conditional probability in risk analysis |
CN117993894A (en) * | 2024-04-03 | 2024-05-07 | 四川航天职业技术学院(四川航天高级技工学校) | Rail transit operation and maintenance state data processing method and system based on artificial intelligence |
Also Published As
Publication number | Publication date |
---|---|
CN108920846B (en) | 2020-10-09 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN106802862B (en) | Automatic test platform for safety key software of train operation control system | |
CN108920846A (en) | A kind of risk coupling analytical method of high-speed rail train control system complexity operation scene | |
CN108614443B (en) | PHM system model development and verification platform design method | |
US8930758B2 (en) | Automated testing of mechatronic systems | |
CN104598373B (en) | A kind of embedded software test method of multi-technical fusion | |
US20160300001A1 (en) | Planning and Engineering Method, Software Tool and Simulation Tool for an Automation Solution | |
CN107590046A (en) | A kind of remote sensing satellite load task command verification method and system | |
CN105991517B (en) | Vulnerability mining method and apparatus | |
Cook et al. | Utilizing MBSE patterns to accelerate system verification | |
CN109086197A (en) | The acceptance testing method and system of urban track traffic CBTC system | |
de Souza et al. | Combining STPA with SysML modeling | |
CN105988465A (en) | Programmable actuator simulation card | |
Picoco et al. | A framework for verifying Dynamic Probabilistic Risk Assessment models | |
Agirre et al. | The VALU3S ECSEL project: Verification and validation of automated systems safety and security | |
Carter et al. | Systems‐theoretic security requirements modeling for cyber‐physical systems | |
Melani | Black Box Testing Using Equivalence Partition Method in Sintana Application | |
CN110928761B (en) | Demand chain and system and method for application thereof | |
Amalfitano et al. | Towards a Thing-In-the-Loop approach for the verification and validation of IoT systems | |
Saadawi et al. | Verification of real-time DEVS models | |
Flammini et al. | Model-driven V&V processes for computer based control systems: A unifying perspective | |
Gao et al. | A dynamic fault tree based CBTC onboard ATP system safety analysis method | |
Zheng et al. | Automated test approach based on all paths covered optimal algorithm and sequence priority selected algorithm | |
Cioroaica et al. | Predictive simulation for building trust within service-based ecosystems | |
Keming et al. | Formal modeling and data validation of general railway interlocking system | |
FITZGERALD et al. | Concepts of dependable cyber-physical systems engineering: model-based approaches |
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 | ||
CF01 | Termination of patent right due to non-payment of annual fee | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20201009 Termination date: 20210706 |