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, etc., and achieve the effects of convenient verification, clear object program and high execution efficiency
Active Publication Date: 2014-06-25
NANJING NRIET IND CORP
View PDF2 Cites 0 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 in conjunction with the accompanying drawings and embodiments.
[0020] Such as Figure 1-2 shown.
[0021] A formalized computer interlocking implementation method. First, use the graphical editor in the RM Gateway tool to establish unambiguous system requirements with trace analysis, and then carry out model design based on the computer interlocking software requirements extracted from the system requirements. The model The design adopts the modeling method, and the program generated through the model design is an instantiated station component object (such as specific routes, switches and signal machines, 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 link to gene...
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 interlock technology, in particular to a method for realizing safety interlock of running software in rail transit, in particular to a method for realizing formalized computer interlock. Background technique [0002] With the development of computer technology, the traditional relay interlocking is gradually replaced by computer interlocking, and most of the interlocking application software is implemented in code-centric development languages such as C language and ladder diagram. The following problems: 1. The outline design is expressed in diagrams and natural language, which is ambiguous and cannot be simulated. The verification of the requirements analysis results mainly relies on manual verification methods such as review, walk-through, and analysis. The verification workload is heavy, and the verification work Lack of strict mathematical deduction process. 2. Similarly, the detailed design is also expressed i...
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 Patents(China)
IPC IPC(8): G06F9/44
Inventor 黄克勇束元邱鹏
Owner NANJING NRIET IND CORP