Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

A Verification Method of PLC Program 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: 2020-04-24
上海丰蕾信息科技有限公司
View PDF6 Cites 0 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
  • A Verification Method of PLC Program Based on Intermediate Language
  • A Verification Method of PLC Program Based on Intermediate Language
  • A Verification Method of PLC Program 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] 1 LD divider(*read divisor*) 9 SY divrem(*store remainder*) 2 EQ0 (*compare with zero*) 10 JMP END (*Jump to End*) 3 JMPC Error(*if satisfied, jump to Error*) 11 Error: LD 0 (*read 0*) 4 LD dividend(*read the dividend*) 12 ST quotient(*Set the quotient to 0*) 5 DIV divisor(*divided by divisor*) 13 SY divrem(*set the remainder to 0*) 6 ST quotient(*storage provider*) 14 LD 0(*read Boolean 0*) 7 LD dividend(*read the dividend*) 15 STN diverr(*Set diberr to 1 after negation*) 8 MOD dibisor(*modulo division of the divisor*) 16 End: RET (*return*)

[0052] The ...

Embodiment 1

[0060] Embodiment one intermediate language program

[0061] Step0:

[0062] TON_G(IN:=DO_GANDISwitch,

[0063] PY:=T#IS);

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

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

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

[0067] ElapseTime:=TON_G.ET;

[0068] Step1:

[0069] DO_G:=TRUE;

[0070] DO_R:=FALSE;

[0071] DO_Y:=FALSE;

[0072] Step2:

[0073] DO_G:=FALSE;

[0074] DO_R:=FALSE;

[0075] DO_Y:=TRUE;

[0076] Step3:

[0077] DO_G:=FALSE;

[0078] DO_R:=TRUE;

[0079] DO_Y:=FALSE;

[0080] Step4:

[0081] DO_G:=FALSE;

[0082] DO_R:=FALSE;

[0083] DO_Y:=TRUE;

[0084] Embodiment 2 intermediate language program

[0085]

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 method based on an intermediate language. The method comprises the steps of intermediate language conversion, migration system construction, propertyverification and verification result processing. The intermediate language conversion includes the intermediate language conversion of a graphic type PLC language such as a ladder diagram language, afunction block diagram language or a sequential function diagram language, the intermediate language conversion of a textual PLC language such as a structured text language or a command table language and the intermediate language conversion of a PLC program running environment configuration, and a unified intermediate language program is obtained. According to the method, through the unified intermediate language program, a complete PLC program verification scheme is provided for the verification of PLC programs with one or more programming languages in different operating environment and various properties of PLC operating environment configurations of the programs, and the verification efficiency of the PLC programs is greatly improved at the same time.

Description

technical field [0001] The invention relates to the field of program verification, in particular to a PLC program verification method based on an intermediate language, which is used to verify the operation of the PLC program and its operating environment configuration. 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), thus p...

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 Patents(China)
IPC IPC(8): G05B19/05
CPCG05B19/056G05B2219/13018
Inventor 史建琦黄滟鸿何积丰李昂蔡方达
Owner 上海丰蕾信息科技有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com