Method for generating PLC (programmable logic controller) code for interlocking system

An interlocking system and code technology, applied in the field of rail transit, can solve the problems of high cost of software upgrade and software maintenance, inconsistent final code and design documents, and difficulty in software upgrade and software maintenance, so as to alleviate human errors and improve development. Efficiency, Enhanced Reliability and Safety Effects

Inactive Publication Date: 2012-07-04
BEIJING JIAOTONG UNIV
View PDF0 Cites 10 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] 1. The manual coding of the interlocking system will inevitably introduce human errors and reduce the safety of the interlocking system;
[0006] 2. The manual coding of the interlocking system has defects such as long development cycle and low development efficiency;
[0007] 3. During the manual coding process of the interlocking system, developers will ignore the documents and design charts generated during the analysis and design stage, and only focus on code writing and debugging, resulting in inconsistencies between the final code and design documents, which will cause subsequent software upgrades and software Difficult to maintain, making software upgrades and software maintenance costly

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
  • Method for generating PLC (programmable logic controller) code for interlocking system
  • Method for generating PLC (programmable logic controller) code for interlocking system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0030] The specific implementation manners of the present invention will be described in further detail below in conjunction with the accompanying drawings and examples. The following examples are used to illustrate the present invention, but are not intended to limit the scope of the present invention.

[0031] Such as figure 1 Shown, the generating method of interlocking system PLC code of the present invention comprises steps:

[0032] A. Set the conversion rules from the interlocking table metamodel to the extended interlocking table metamodel conforming to the syntax of the model-to-model transformation language (QVT, Query View and Transformation) according to the actual railway operation requirements, so as to realize the transformation from the interlocking table model to the extended interlocking table metamodel. Automatic conversion of lock table models.

[0033] In this step, the interlocking table metamodel is used to describe the syntax and static semantics of t...

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

The invention provides a method for generating a PLC (programmable logic controller) code for an interlocking system, comprising the following steps of: A, setting a rule for transferring an interlocking table element model into an expanded interlocking table element model according to the actual operation requirements of the railway, wherein the rule conforms to the grammar of the model-model transfer language QVT; B, setting a rule for transferring the expanded interlocking table element model and an interlocking access logic element module into a PLC element model according to the transfer requirement of a PLC model, wherein the rule conforms to the QVT crammer; and C, setting a rule for transferring the PLC element model into a PLC code according to the transfer requirement of the PLC code, wherein the rule is based on the grammar of the model-text transfer language MOFScript. Due to the adoption of the method for generating the PLC (programmable logic controller) code for the interlocking system, the development efficiency of the software of the interlocking system can be improved, the reliability and the security of the software of the interlocking system can be enhanced, the problem of low efficiency caused by manual coding can be avoided, the human errors resulted from manual coding can be effectively alleviated, the synchronization of the document and the final code generated in the analysis and design phase can be guaranteed, and the follow-up software upgrading and maintaining efficiency and accuracy can be enhanced.

Description

technical field [0001] The invention relates to the technical field of rail transit, in particular to a method for generating codes of a programmable logic controller (PLC, Programmable Logic Controller) of an interlocking system. Background technique [0002] The computer interlocking system (hereinafter referred to as the interlocking system) is a signal system used to direct train operation and ensure traffic safety in railway stations. It directly controls the signal equipment in the entire station, and plays a key role in ensuring the safe transportation of passengers and goods and improving transportation efficiency. play an important role. According to the standard EN50126 and IEC61508, the interlocking system is classified as a SIL-4 safety-critical system, so its reliability and safety are highly valued by railway leaders, system developers and users. [0003] In the software design of the existing computer interlocking system, most of the traditional methods are u...

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 Applications(China)
IPC IPC(8): G06F9/44
Inventor 徐田华曹妍鲁秋子
Owner BEIJING JIAOTONG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products