Formalized computer interlocking realization method
A technology of computer interlocking and implementation method, which is applied in the field of safety interlocking, can solve problems such as difficult verification, complicated process, and high difficulty, and achieve the effects of convenient verification, clear object program, and high execution efficiency
Active Publication Date: 2012-06-27
NANJING NRIET IND CORP
View PDF2 Cites 5 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0004] The purpose of the present invention is to solve the problems that the existing software safety interlocking is performed after the software is compiled, which causes difficulty in verification, high difficulty, complicated process, etc., to invent a method that covers the entire process of software development and can meet the requirements of interlocking on safety. Relevant software needs, and can meet the needs of other systems with high safety requirements Formalized computer interlocking implementation method
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
[0019] The present invention will be further described below with reference to the accompanying drawings and embodiments.
[0020] like Figure 1-2 shown.
[0021] A formalized computer interlocking implementation method, firstly use the graphic editor in the RM Gateway tool to establish unambiguous system requirements with tracking analysis, and then design the model according to the computer interlocking software requirements extracted from the system requirements. The design adopts the modeling method. The program generated by the model design is the instantiated station and yard component objects (such as specific routes, switches and signals, etc.), and the program execution is different from the traditional programming language that uses loops to process similar objects. Way. After the model design is completed, use the safety-certified code generator to generate standard C code, and finally use the verified compiler to compile and connect to generate the object co...
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
A formalized computer interlocking realization method is characterized in that an unambiguous system requirement with tracking analysis is established by a graph editor of RM Gateway tool; a model design is carried out by a modeling method according to a computer interlocking requirement extracted from the system requirement; the program generated by model design is different from an instantiated station component object of the conventional programming language, and the program is executed in a manner of circularly processing similar objects; a standard C code is generated by a security-authenticated code generator after the model design finishes; and a verified compiler is used to compile an object code connected with application program for generating final computer interlocking. The method provided by the invention can realize the software program without using loop sentences, and has the advantages of definite object program, no ambiguity, high convenience in verification, and high execution efficiency.
Description
technical field [0001] The invention relates to a safety interlocking technology, in particular to a method for realizing the safety interlocking of running software in rail transit, in particular to a method for realizing a formalized computer interlocking. Background technique [0002] With the development of computer technology, the traditional relay interlocking has been gradually replaced by computer interlocking, and most of the interlocking application software are implemented in C language, ladder diagram and other code-centric development languages. The following problems: 1. The outline design is expressed in diagrams and natural language, there is ambiguity, and simulation cannot be simulated. The verification of the requirements analysis results also mainly relies on manual verification methods such as review, walk-through, and analysis. The verification workload is large, and the verification work Lack of rigorous mathematical deduction process. 2. Similarly, t...
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): G06F9/44
Inventor 黄克勇束元邱鹏
Owner NANJING NRIET IND CORP