Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Train automatic protective system safety analysis method based on system theory hazard analysis

A technology for automatic train protection and hazard analysis, applied in railway signal and safety, transportation center control system, railway car body components, etc., can solve the problems of complex safety analysis and high safety requirements, achieve high analysis effectiveness, overcome the The effect of limitations, failure analysis coverage and comprehensive coverage

Active Publication Date: 2020-02-28
CRRC QISHUYAN CO LTD
View PDF6 Cites 3 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

As a key safety control system in the automatic train control system ATC, the automatic train protection system ATP has higher safety requirements and more complex safety analysis

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Train automatic protective system safety analysis method based on system theory hazard analysis
  • Train automatic protective system safety analysis method based on system theory hazard analysis
  • Train automatic protective system safety analysis method based on system theory hazard analysis

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0033] In order to facilitate those of ordinary skill in the art to understand and implement the present invention, the present invention will be further described in detail and in-depth below in conjunction with the accompanying drawings.

[0034] Such as figure 1 As shown, the input of system theory hazard analysis is system description and design model. In the application scenario of the present invention, it is the description and design model of automatic train protection system. The analysis process is mainly to first determine system accidents and dangers, and construct system layered control Institutional block diagram, identify dangerous control behaviors and establish preliminary safety constraints, further analyze how dangerous control behaviors occur, analyze the dangerous scenarios generated by them, refine and refine the proposed safety constraints, and use the obtained system control behavior safety constraints To standardize the system control behavior and impr...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention provides a train automatic protective system safety analysis method based on system theory hazard analysis, and belongs to the field of train automatic protective system safety engineering. The train automatic protective system safety analysis method comprises the steps: system-level accidents and danger are determined by combing system structure composition and functional logic; a hierarchical control structure block diagram of a system is constructed, a system process module is established, the system control behavior is analyzed, and the danger control behavior is obtained; and how the danger control behavior happens is analyzed, the cause is determined, a danger control scenario is defined, and corresponding safety constraints are formulated to be used in design of the train automatic protective system. The obtained safety constraints described through texts are further subjected to formal representation to be converted into a linear temporal logic language to be added into an SMV criterion model to be verified; and compared with a traditional safety analysis method, fault analysis is wider in covering, analytical effectiveness is higher, and the safety constraints obtained through verification are more effective.

Description

technical field [0001] The invention belongs to the field of safety engineering of an automatic train protection system, and relates to a safety analysis method for an automatic train protection (Automaic Train Protection, ATP) system based on system theory hazard analysis. Background technique [0002] ATC (Automatic Train Control) is a train control system developed in recent years, which integrates the functions of train command, operation adjustment and train driving automation. The automatic train protection system ATP, as the core subsystem of the automatic train control system ATC, mainly realizes the overspeed protection function of the train operation to ensure that the train runs in a safe state. As the automation level of the ATP system is getting higher and higher, the functions are more complex, and the communication and interaction between the internal components of the system are more frequent, the factors affecting the operation of the system are increasing, ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): B61L23/00B61L27/00G06F30/20G06F30/15
CPCB61L23/00B61L27/00
Inventor 张辉冯敏健李培功丁可吴亦宁陈诚何国福张征硕王明岩葛学超
Owner CRRC QISHUYAN CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products