Generation method of plc code for interlocking system

An interlocking system and code technology, applied in the field of rail transit, can solve problems such as high cost of software upgrades and software maintenance, inconsistencies between final codes and design documents, and difficulties in software upgrades and software maintenance, so as to alleviate human errors and improve development. Efficiency, enhanced reliability and safety effects

CN102541562BInactive Publication Date: 2015-07-29BEIJING JIAOTONG UNIV
0 Cites 0 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Patents(China)
Current Assignee / Owner
Publication Date
2015-07-29
Estimated Expiration
Not applicable · inactive patent

Smart Images

  • Figure 1
    Figure 1
Patent Text Reader

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.
Need to check novelty before this filing date? Find Prior Art

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...

Examples

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] like 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 the ...