PLC program verification system based on intermediate language

An intermediate language program and intermediate language technology, applied in the field of program verification, can solve problems such as large conversion time and achieve the effect of improving verification efficiency

Active Publication Date: 2019-01-01
上海丰蕾信息科技有限公司
View PDF7 Cites 7 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, since different formal modeling language conversion schemes need to be designed for different PLC programming languages, in practical applications, a PLC program often contains multiple programming languages, so the verification of the PLC program will consume a lot of conversion time

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
  • PLC program verification system based on intermediate language
  • PLC program verification system based on intermediate language
  • PLC program verification system based on intermediate language

Examples

Experimental program
Comparison scheme
Effect test

specific Embodiment 1

[0029] Specific embodiment one (intermediate language conversion of the sequential function chart of graphical language)

[0030] Such as figure 2 As shown, it is a schematic diagram of a traffic light sequence function diagram of an optional embodiment of the present invention, including initialization (Init), step 0 (Step0), step 1 (Step1), step 2 (Step2), and step 3 ( Step3) and Step 4 (Step4); the control of the SFC diagram is realized so that the red light, yellow light and green light are switched in a certain order in each cycle, and the switching sequence is: the green light is on for 1 second, and the yellow light is on for 1 second. seconds, the red light is on for 1 second, and the yellow light is on for 1 second. Among them, the variables DO_G, DO_R, and DO_Y represent the lighting signals of the green light, red light, and yellow light, respectively, and the variables TON_G, TON_R, and TON_Y1 represent the timer for the lighting time of the green light, the time...

Embodiment 2

[0048] Embodiment 2 (intermediate language conversion of instruction list of form language)

[0049] In this embodiment, the process of converting the IEC 61131-3 language to the intermediate language ICIL will be described by using the instruction list conversion rules. The instruction table is shown in Table 1 below,

[0050] Table 1

[0051]

[0052] The present invention converts the above instruction list table 1 into an intermediate language program by adopting the conversion rules shown in Table 2. The process is as follows: first, the instruction list language is translated according to the conversion rules in Table 2, and then the instruction list language is translated into The program segment corresponding to the mark (Error and End in this example) is converted into the process in the intermediate language ICIL program; finally, the jump between the instruction list language program segments is converted into the call execution of the intermediate language ICIL...

Embodiment 1

[0059] Embodiment one intermediate language program

[0060] Step0:

[0061] TON_G(IN:=DO_GANDISwitch,

[0062] py:=T#IS);

[0063] TON_R(IN:=DO_R, PY:=T#IS);

[0064] TON_Y1(IN:=DO_Y, PY:=T#IS);

[0065] TON_Y2(IN:=DO_Y, PY:=T#IS);

[0066] ElapseTime:=TON_G.ET;

[0067] Step1:

[0068] DO_G:=TRUE;

[0069] DO_R:=FALSE;

[0070] DO_Y:=FALSE;

[0071] Step2:

[0072] DO_G:=FALSE;

[0073] DO_R:=FALSE;

[0074] DO_Y:=TRUE;

[0075] Step3:

[0076] DO_G:=FALSE;

[0077] DO_R:=TRUE;

[0078] DO_Y:=FALSE;

[0079] Step4:

[0080] DO_G:=FALSE;

[0081] DO_R:=FALSE;

[0082] DO_Y:=TRUE;

[0083] Embodiment 2 intermediate language program

[0084]

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 discloses a PLC program verification system based on an intermediate language, comprising an intermediate language conversion module, a migration system construction module, a property verification module and a verification result processing module. Wherein the intermediate language conversion module can be used for converting a ladder diagram language, intermediate language conversion of graphics PLC language such as function block diagram language or sequential function diagram language, intermediate language conversion of texts PLC language such as structured text language orinstruction list language, and intermediate language conversion of PLC program running environment configuration, and obtaining unified intermediate language program. The invention realizes the property verification work of the PLC program with one or more programming languages and the configuration of the PLC running environment under different running environments through the unified intermediate language program, provides a complete PLC program verification system, and greatly improves the verification efficiency of the PLC program.

Description

technical field [0001] The invention relates to the field of program verification, in particular to a PLC program verification system based on an intermediate language, which is used for verifying the operation of PLC programs and their operating environment configurations. Background technique [0002] In the early PLC programming, different electrical equipment suppliers, including Siemens, Mitsubishi, Beckhoff and other manufacturers, had their own PLC programming language specifications. This has caused great difficulties in the transplantation of PLC programs between different manufacturers' equipment. In 1993, the International Electrotechnical Commission (International.Electrotechnical.Commission, IEC) promulgated the international standard IEC 61131-3 for PLC programming. This standard unifies the specifications of five PLC programming languages ​​(ladder diagram, function block diagram, sequential function diagram, structured text and instruction list language), th...

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): G06F11/36
CPCG06F11/3612
Inventor 史建琦黄滟鸿何积丰李昂蔡方达
Owner 上海丰蕾信息科技有限公司
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

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap