Urban rail transit interlocking system detection method, system, equipment and medium
An urban rail transit and interlocking system technology, applied in the detection field of urban rail transit interlocking system, can solve problems such as state space explosion, achieve the effect of avoiding state space explosion and improving detection efficiency
Pending Publication Date: 2022-07-05
NEW UNITED RAIL TRANSIT TECH
View PDF0 Cites 1 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0005] The purpose of this application is to provide a detection method for urban rail transit interlocking system, which can solve the technical problem of how to reduce the state space explosion in the detection process of urban rail transit interlocking system to a certain extent
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0051] The technical solutions in the embodiments of the present application will be clearly and completely described below with reference to the drawings in the embodiments of the present application. Obviously, the described embodiments are only a part of the embodiments of the present application, but not all of the embodiments. Based on the embodiments in the present application, all other embodiments obtained by those of ordinary skill in the art without creative efforts shall fall within the protection scope of the present application.
[0052] see figure 1 , figure 1 This is a first flow chart of a method for detecting an urban rail transit interlocking system provided in an embodiment of the present application.
[0053] A detection method for an urban rail transit interlocking system provided by the embodiment of the present application may include the following steps:
[0054] Step S101: Determine each functional module of the target urban rail transit interlocking s...
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
Login to View More Abstract
The invention discloses an urban rail transit interlocking system detection method, system and device and a medium, and the method comprises the steps: determining all functional modules of a target urban rail transit interlocking system, and taking the functional modules as first-class functional modules; defining a state space variable of each first-class function module by using a Boolean type variable; determining each functional module of an external system interface module connected with the target urban rail transit interlocking system, and taking the functional modules as second-class functional modules; based on the function correlation, determining a corresponding relation among the first type of function modules, the state space variables and the second type of function modules; and detecting the target urban rail transit interlocking system based on the corresponding relation. The number of state space variables is reduced; and if the target urban rail transit interlocking system is detected based on the corresponding relation, only the corresponding state space variables of the first type of function modules and the second type of function modules related to functions can be adjusted, state space explosion can be avoided, and the detection efficiency is improved.
Description
technical field [0001] The present application relates to the technical field of urban rail transit, and more particularly, to a detection method, system, equipment and medium of an urban rail transit interlocking system. Background technique [0002] The interlocking system is the core control system of urban rail transit SIL4 level safety. The traditional verification method of system availability and safety adopts simulation and testing scheme. Specifically, before the urban rail transit interlocking system is actually deployed in the field, a simulation test environment is built in the laboratory, the simulation software is used to simulate the input of the real external environment, and the interlocking core logic software adopts the actual application software. Design and test and verification personnel alike look for errors by simulating inputs and observing corresponding interlocking core logic software outputs. Testing with this scheme is not only time-consuming an...
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
Login to View More Patent Type & Authority Applications(China)
IPC IPC(8): B61L27/60
Inventor 张萍冯丹颖关新超
Owner NEW UNITED RAIL TRANSIT TECH