Interlocking data security conversion method and translator for formalized verification
A technology for formal verification and conversion methods, applied in the field of interlocking data security conversion methods and translators, which can solve the problems of large and complex functional modules of interlocking system logic, and it is difficult to cover the application scenarios of interlocking systems, so as to reduce design defects. Risks, rich language features and data types, effects of increasing usability
Active Publication Date: 2021-06-25
CASCO SIGNAL
View PDF12 Cites 3 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
However, due to the large and complex logic of the interlocking system, the coupling between functional modules, and the existence of various special functional scenarios in field applications, these factors make the security verification and confirmation of interlocking data a great challenge
In this regard, the traditional data verification process through manual testing has been difficult to cover some application scenarios of the interlocking system, and there are potential error data channels that cannot be tested. Such data released to the site will face potential security risks
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
[0030] based on the following Figure 1 ~ Figure 3 , specifically describe the preferred embodiment of the present invention.
[0031] Interlocking data is a logical collection of interlocking relationships and functional descriptions in the interlocking system. According to different usage scenarios, the designers summarize the interlocking requirement design to reflect the constraint relationship between signal devices and form a requirement design. On the basis of requirement design, logical operators such as "and", "or" and "not" are used to organize these constraints into Boolean BOOL expressions with interlocking meaning, that is, general interlocking rules. At a specific station, the data producers instantiate the general interlocking rules through the combination of configuration and interlocking logic generation tools according to the name and attributes of the actual signal equipment at the specific station, as well as the positional relationship between the devices...
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 interlocking data security conversion method and translators for formalized verification, the method comprises steps of developing two translators with the same function by adopting different programming methods and programming languages, wherein input files of the translators at least comprise an interlocking information table, an equipment interface information table, station description data and interlocking Boolean logic data in interlocking data, and comparing the consistency of the output files of the two translators to detect the process failure, thereby ensuring the safe conversion of the data. According to the method, special formalized development does not need to be carried out on each station, the technical cost and the design risk are reduced, the safety is high, the compatibility is good, the universality is high, and the application range is wide.
Description
technical field [0001] The invention relates to a method for safe conversion of interlocking data and a translator for formal verification. Background technique [0002] The interlocking system is the core equipment in the rail transit signal system to ensure the safety of trains. It is used to realize the functions of selecting routes, opening signals, and turning switches. The failure of the interlocking system may lead to accidents such as train derailment and rear-end collisions, which directly affect Rail transport operation safety. In the interlocking system, the interlocking data is the carrier to realize the interlocking logic function of a specific station, and the wrong design of the interlocking data will directly lead to the failure of the interlocking function. Therefore, by verifying whether the interlocking logic meets the safety requirements, that is, performing security checksum and confirmation on the interlocking data, it is a necessary link to ensure the...
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 IPC IPC(8): G06F8/30B61L19/06
CPCG06F8/30B61L19/06B61L2019/065G06F8/51B61L27/33G06F11/3608
Inventor 魏民王燕芩张铭瑶王绍新杨帆刘晓张程张文燕
Owner CASCO SIGNAL