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

A method and translator for interlocking data security conversion for formal verification

A technology for formal verification and conversion methods, applied in the field of interlocking data security conversion methods and translators, which can solve problems such as difficulty in covering interlocking system application scenarios, large and complex functional modules of interlocking system logic, and achieve rich language features and Data types, the effect of reducing the risk of design flaws, avoiding technical costs and risks

Active Publication Date: 2022-07-26
CASCO SIGNAL
View PDF12 Cites 1 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 more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A method and translator for interlocking data security conversion for formal verification
  • A method and translator for interlocking data security conversion for formal verification
  • A method and translator for interlocking data security conversion for formal verification

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0030] According to the following Figure 1 to Figure 3 , the preferred embodiment of the present invention is described in detail.

[0031] Interlocking data is a logical collection of interlocking relationships and functional descriptions in an interlocking system. According to different usage scenarios, the designer summarizes the interlocking requirement design to reflect the constraint relationship between the signal devices and form the requirement design. On the basis of requirement design, use logical operators such as "and", "or" and "not" to organize these constraints into Boolean BOOL expressions with interlocking meaning, that is, general interlocking rules. At a specific station, the data producer instantiates the general interlocking rules by combining the configuration and interlocking logic generation tools according to the actual signal equipment names and attributes of the specific station and the positional relationship between the equipment variables in a...

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

A safety conversion method and translator for interlocking data for formal verification, two translators with the same function are developed by using different programming methods and programming languages, and the input file of the translator at least contains: The interlocking information table, equipment interface information table, station description data and interlocking Boolean logic data are compared, and the consistency of the output files of the two translators is compared to realize the detection of process failure, thereby ensuring the safe conversion of data. The invention does not need special formal development for each station, reduces technical cost and design risk, has high safety, good compatibility, strong versatility and wide application range.

Description

technical field [0001] The invention relates to an interlocking data safety conversion method and a translator for formal verification. Background technique [0002] The interlocking system is the core equipment in the rail traffic signal system to ensure the safety of trains. It is used to realize the functions of selecting the route, opening the signal, and turning the switch. The failure of the interlocking system may lead to accidents such as derailment and rear-end collision of the train, which directly affects Safe railway transportation. In the interlocking system, the interlocking data is the carrier to realize the interlocking logic function of a specific station, and the design error 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, the safety checksum and confirmation of the interlocking data is a necessary link to ensure the safe ...

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 Patents(China)
IPC IPC(8): G06F8/30B61L19/06
CPCG06F8/30B61L19/06B61L2019/065G06F8/51B61L27/33G06F11/3608
Inventor 魏民王燕芩张铭瑶王绍新杨帆刘晓张程张文燕
Owner CASCO SIGNAL
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

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com