CN109032056A - Programmable logic controller (PLC) programming language conversion method - Google Patents

Abstract

The invention provides a programming language conversion method for a programmable logic controller, comprising: an abstract syntax tree conversion step, a ladder diagram conversion step, a function block diagram conversion step, a sequential function table diagram conversion step, a structured text conversion step, and an instruction list conversion step step, ICIL intermediate structure conversion step. The programmable logic controller programming language conversion method proposed by the present invention can realize the unified conversion of the IEC 61131-3 language, and in the process of developing and transplanting PLC products from different manufacturers, it is not necessary to write corresponding transplant codes for each PLC language , and is conducive to the subsequent in-depth development of formal modeling, analysis and verification based on the intermediate language.

Description

Programmable logic controller programming language conversion method

technical field

The invention relates to the technical field of computers, in particular to a programming language conversion method for a programmable logic controller.

Background technique

In the early PLC (Programmable Logic Controller, programmable logic controller) programming, different electrical equipment suppliers, including Siemens, Mitsubishi, Beckhoff and other manufacturers have 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 IEC61131-3 for PLC programming. This standard unifies the specifications of five PLC programming languages (ladder diagram, function block diagram, sequential function table diagram, structured text and instruction list language), thus proposing a solution to the problem of PLC program transplantation between different devices.

In order to meet the needs of different PLC programming groups and adapt to different PLC application scenarios, the five languages of IEC61131-3 have different characteristics. Among them, the ladder diagram language is derived from the logic control diagram of the electrical system, the function block diagram is derived from the signal processing field, and the sequential function table diagram is used to describe the process, function and characteristics of the sequential function system. The instruction list language is similar to the assembly language and is a A lower-level language, while a structured text language is a higher-level text language. Due to the different characteristics of each language, developers need to master multiple PLC language development skills when developing or migrating PLC programs. At present, there have been some conversion work between different PLC languages, such as the conversion from sequential function table diagram to ladder diagram, from ladder diagram to structured text, from ladder diagram to instruction list language, etc., but they are all The conversion between single-type languages has great limitations in use.

In addition to the conversion between different PLC languages, in order to formally verify PLC applications, there are currently some conversions from single-class PLC languages to time-state automata, Petri nets (a method used to describe discrete, distributed Formal system mathematical modeling tool), NuSMV input model (a model checking tool) and other formal model transformation techniques. Formal methods use strict mathematical semantics to check each stage of software development, which can be used to ensure that the runnable programs are correctly implemented, and are widely used to verify various safety-related and life-critical systems. Since the above-mentioned conversion technology is also a conversion from a single-class language to a formal model, it also has relatively large limitations.

In view of the above problems, it is necessary to provide a PLC programming language conversion method that facilitates transplantation, development and verification of PLC programs.

Contents of the invention

In view of the above problems, the purpose of the present invention is to solve the problem in the prior art that PLC programs are not convenient for transplantation, development and verification by providing a programmable logic controller programming language conversion method.

The present invention provides a programmable logic controller programming language conversion method, including:

The abstract syntax tree conversion step converts the text class PLC programming language into an abstract syntax tree;

The ladder diagram conversion step is to convert the ladder diagram into an ICIL intermediate structure;

The function block diagram conversion step is to convert the function block diagram into an ICIL intermediate structure;

The sequential function chart conversion step is to convert the sequential function chart into an ICIL intermediate structure;

The structured text conversion step converts the abstract syntax tree obtained according to the structured text conversion into an ICIL intermediate structure;

The instruction list conversion step converts the abstract syntax tree obtained according to the instruction list conversion into an ICIL intermediate structure;

The ICIL intermediate structure conversion step converts the ICIL intermediate structure into an ICIL program.

Optionally, the abstract syntax tree converting step specifically takes a text-like PLC programming language as input, and converts the input text-like PLC programming language into an abstract syntax tree through lexical analysis and syntax analysis;

Wherein, the text-based PLC programming language includes: structured text language or instruction list language.

Optionally, the ladder diagram conversion step includes: a multi-coil decomposition step, a scan sequence calculation step, a node logical relationship calculation step, and an expression priority calculation step; wherein,

The multi-coil decomposing step, scanning sequence calculating step, node logical relationship calculating step and expression priority calculating step respectively perform multi-coil step decomposition, node scanning sequence calculation, node logical relationship calculation and ladder diagram expression priority calculation.

Optionally, the function block diagram conversion step includes: a function block diagram analysis step and a function block diagram conversion rule step;

The function block diagram parsing step resolves the PLCOpen XML file corresponding to the function block diagram program into a first data structure, and the first data structure includes: function block program, function block network, function block and network input and output connection data;

The function block diagram conversion rule step converts the first data structure output by the function block diagram analysis step into an ICIL intermediate structure according to the function block conversion rule and network expression input and output rules.

Optionally, the sequential function chart conversion step includes: a sequential function chart analysis step and a sequential function chart conversion rule step;

Described sequential function diagram analysis step, resolves the corresponding PLCOpenXML file of sequential function diagram program into the second data structure, and described second data structure comprises: step, action block, migration, concurrent branch structure, concurrent merge structure, selection branch structure and select merge structure;

The sequential function diagram conversion rule step converts the second data structure into an ICIL intermediate structure according to the step conversion rule and the action block conversion rule.

Optionally, the structured text conversion step converts the abstract syntax tree generated in the structured text language into an ICIL intermediate structure specifically according to the structured text conversion rule.

Optionally, the instruction list conversion step converts the abstract syntax tree generated by the instruction list language into an ICIL intermediate structure specifically according to the instruction list conversion rule.

Optionally, the step of converting the ICIL intermediate structure specifically includes analyzing the ICIL intermediate structure, and generating codes in the ICIL program according to the analysis result.

Optionally, the ICIL is an industrial controller intermediate language obtained by extending the CSP language, and its extended content includes module elements, statement elements and periodic channel elements; wherein,

The module element is used to unify the definition of the program organization unit in IEC 61131-3, so as to represent the calling and running of functions, function blocks and programs in the original PLC programming language through calling and running of modules;

The statement element is used to represent the assignment operation and the calling operation of the module;

The periodic channel element is used for periodically transmitting messages on the channel.

Optionally, the module element includes two parts: variable declaration and process definition; wherein,

The variable declaration is used to declare the variables used in the module;

The process definition is used to represent the execution behavior of the module through the process.

The beneficial effects of the present invention include:

The programmable logic controller programming language conversion method proposed by the present invention can realize the unified conversion of the IEC 61131-3 language, and it is not necessary to write corresponding transplantation codes for each PLC language during the development and transplantation process on PLC products of different manufacturers ; In addition, the formalized modeling language ICIL and its conversion method proposed by the present invention are conducive to the subsequent in-depth development of formalized modeling, analysis and verification work based on the intermediate language, because the IEC 61131-3 standard itself has not proposed a corresponding Formal verification method, so the present invention is of great significance to improving the safety and reliability of the industrial control program in the key field, and has broad application prospects in the PLC programming environment; PLC programming development language.

Description of drawings

Various other advantages and benefits will become apparent to those of ordinary skill in the art upon reading the following detailed description of the preferred embodiment. The drawings are only for the purpose of illustrating a preferred embodiment and are not to be considered as limiting the invention. Also throughout the drawings, the same reference numerals are used to designate the same components. In the attached picture:

FIG. 1 shows a schematic diagram of a programmable logic controller programming language conversion system provided by an embodiment of the present invention;

Fig. 2 shows a flow chart of a programming language conversion method for a programmable logic controller provided by an embodiment of the present invention;

FIG. 3 shows a schematic diagram of a ladder diagram conforming to the IEC 61131-3 programming language specification provided by the embodiment of the present invention;

FIG. 4 shows a schematic diagram of an AOV diagram converted from the ladder diagram provided in FIG. 3 provided by an embodiment of the present invention.

Detailed ways

Exemplary embodiments of the present disclosure will be described in more detail below with reference to the accompanying drawings. Although exemplary embodiments of the present disclosure are shown in the drawings, it should be understood that the present disclosure may be embodied in various forms and should not be limited by the embodiments set forth herein. Rather, these embodiments are provided for more thorough understanding of the present disclosure and to fully convey the scope of the present disclosure to those skilled in the art.

It should be noted that, unless otherwise specified, the technical terms or scientific terms used in the present invention shall have the usual meanings understood by those skilled in the art to which the present invention belongs.

The embodiment of the present invention provides a programmable logic controller programming language conversion system and a method thereof. Embodiments of the present invention will be described below in conjunction with the accompanying drawings.

In the embodiment of the present invention, firstly, on the basis of extending the CSP (Communicating Sequential Language, communication sequence process) language, a kind of intermediate language ICIL (IndustrialController Intermediate Language, industrial controller intermediate language) based on the IEC 61131-3 programming language is proposed, The extension elements of the language include module elements, statement elements, and periodic channel elements.

Among them, the module element unifies the definition of the program organization unit in IEC 61131-3, that is, the function, function block, program call and operation in the original PLC programming language can be expressed by the call and operation of the module. Moreover, a module includes two parts: variable declaration and process definition. The variable declaration part is used to declare the variables used in the module. On the one hand, the variable declaration can determine the scope of these variables; The use of these variables in this module. A process definition is used to represent the execution behavior of the module by a process.

As an event in the source language, the statement element can be used to represent the assignment operation and the call operation of the module, thus extending the lack of computing functions in the original CSP language.

The periodic channel element can be used for messages on the periodic transmission channel. Compared with the channel in the original CSP language, it can more accurately describe the behavior of the periodic scan execution of the PLC program.

Please refer to FIG. 1, which shows a schematic diagram of a programmable logic controller programming language conversion system provided by an embodiment of the present invention, and the programmable logic controller programming language conversion system 10 is used to program IEC 61131-3 Language conversion is ICIL intermediate language, and described PLC programming language conversion system 10 comprises:

Abstract syntax tree conversion module 101, ladder diagram conversion module 102, function block diagram conversion module 103, sequential function table diagram conversion module 104, structured text conversion module 105, instruction list conversion module 106, ICIL intermediate structure conversion module 107; wherein,

The abstract syntax tree conversion module 101 is used to convert the text class PLC programming language into an abstract syntax tree;

The ladder diagram conversion module 102 is used to convert the ladder diagram into an ICIL intermediate structure;

The function block diagram conversion module 103 is used to convert the function block diagram into an ICIL intermediate structure;

The sequential function chart conversion module 104 is used to convert the sequential function chart into an ICIL intermediate structure;

The structured text conversion module 105 is used to convert the abstract syntax tree obtained according to the structured text conversion into an ICIL intermediate structure;

The instruction table conversion module 106 is used to convert the abstract syntax tree converted according to the instruction table into an ICIL intermediate structure;

The ICIL intermediate structure conversion module 107 is used to convert the ICIL intermediate structure into an ICIL program.

In some implementations, the abstract syntax tree conversion module 101 is specifically configured to use a text-like PLC programming language as input, and convert the input text-like PLC programming language into an abstract syntax tree through lexical analysis and syntax analysis;

Wherein, the text-based PLC programming language includes: structured text language or instruction list language.

Specifically, the abstract syntax tree conversion module 101 can take the syntax files of structured text language and instruction list language as input, and convert PLC programs written in these two types of languages into abstract syntax trees through a syntax analysis framework such as ANTLR.

In some implementations, the ladder diagram conversion module 102 includes: a multi-coil decomposition module, a scan sequence calculation module, a node logical relationship calculation module and an expression priority calculation module; wherein,

The multi-coil decomposition module, scanning order calculation module, node logic relationship calculation module and expression priority calculation module are respectively used for the decomposition of multi-coil steps, node scanning sequence calculation, node logic relationship calculation and ladder diagram expression priority calculation .

Specifically, in an implementation manner provided by an embodiment of the present invention, the multi-coil decomposition module can be used to decompose steps with a number of coils greater than 1;

The scanning sequence calculation module can be used to convert the ladder diagram node relationship into an AOV (Activity OnVertex, a directed graph whose vertex represents activity) graph, and perform topological sorting on the nodes based on the AOV graph, thereby obtaining the nodes in the ladder diagram the scan sequence;

The node logical relationship calculation module can be used to formulate corresponding logical operator calculation rules based on the connection relationship between nodes, so as to calculate the logical relationship between the ladder diagram nodes;

The expression priority calculation module can be used to perform a pruning operation on nodes with a number of child nodes greater than 2 in the AOV graph through a pruning algorithm, that is, by inserting a virtual node to connect the child nodes, each node in the original AOV graph The number of child nodes of a node is not more than 2, and the operation priority relationship between different nodes is calculated in the pruned graph, and the priority calculator ("(", ")") is added to the ladder diagram expression.

In some implementations, the function block diagram conversion module 103 includes: a function block diagram analysis module and a function block diagram conversion rule module;

The function block diagram analysis module is used to resolve the PLCOpen XML file corresponding to the function block diagram program into a first data structure, and the first data structure includes: function block program, function block network, function block and network input and output connection data ;

The function block diagram conversion rule module is configured with function block conversion rules and network expression input and output rules, which are used to output the function block diagram analysis module according to the function block conversion rules and network expression input and output rules. The first data structure is converted to an ICIL intermediate structure.

In some implementations, the sequential function chart conversion module 104 includes: a sequential function chart analysis module and a sequential function chart conversion rule module;

The sequential function diagram analysis module is used to parse the PLCOpenXML file corresponding to the sequential function diagram program into a second data structure, and the second data structure includes: step, action block, migration, concurrent branch structure, concurrent merge structure, Select branch structure and select merge structure;

Step conversion rules and action block conversion rules (can be configured according to the 12 types of qualifiers commonly used in sequential function block diagrams (N, R, S, L, D, P, SD, DS) in the sequential function table diagram conversion rule module , SL, P1 and P0) respectively formulate different conversion operations) for converting the second data structure into an ICIL intermediate structure according to the step conversion rules and action block conversion rules.

In some implementation manners, structured text conversion rules are configured in the structured text conversion module 105;

The structured text conversion module 105 is specifically configured to convert the abstract syntax tree generated by the abstract syntax tree conversion module 101 according to the structured text language into an ICIL intermediate structure according to the structured text conversion rules.

Specifically, since the statements in the structured text are similar to the ICIL statements, the rules in this module are mainly used to convert the case statements and the three types of loop statements in the structured text into conditional selection relationships between processes.

In some implementations, the instruction table conversion module 106 is configured with instruction table conversion rules;

The instruction list conversion module 106 is specifically configured to convert the abstract syntax tree generated by the abstract syntax tree conversion module 101 according to the instruction list language into an ICIL intermediate structure according to the instruction list conversion rule.

Specifically, in the instruction table conversion module 106, corresponding instruction table conversion rules are mainly defined for each operator and modifier of the instruction table language and the combination relationship between the two, wherein the delay calculation modifier needs to be calculated separately , in the parentheses delay calculation operation in the present invention, the corresponding priority calculation algorithm is adopted to convert the delay calculation in the instruction into the priority operation relationship in the expression through the priority calculator ("(", ")").

In some implementations, the ICIL intermediate structure conversion module 107 is configured to analyze the ICIL intermediate structure, and generate codes in the ICIL program according to the analysis result. Specifically, the ICIL intermediate structure conversion module 107 completes the automatic code generation in the ICIL program by analyzing the ICIL intermediate structure, including the generation of ICIL language and the generation of indentation and paragraph management.

In some embodiments, the ICIL is an industrial controller intermediate language obtained by extending the CSP language, and its extended content includes module elements, statement elements and periodic channel elements; wherein,

The module element is used to unify the definition of the program organization unit in IEC 61131-3, so as to represent the calling and running of functions, function blocks and programs in the original PLC programming language through calling and running of modules;

The statement element is used to represent the assignment operation and the calling operation of the module;

The periodic channel element is used for periodically transmitting messages on the channel.

In some implementations, the module element includes: two parts: variable declaration and process definition; wherein,

The variable declaration is used to declare the variables used in the module;

The process definition is used to represent the execution behavior of the module through the process.

The above is an exemplary description of the programmable logic controller programming language conversion system 10 provided by the embodiment of the present invention. The programmable logic controller programming language conversion system 10 proposed by the present invention can realize the unified conversion of IEC 61131-3 language, In the process of developing and transplanting PLC products from different manufacturers, it is not necessary to write corresponding transplant codes for each PLC language; in addition, the formal modeling language ICIL and its conversion system 10 proposed by the present invention are conducive to subsequent in-depth development Based on the formal modeling, analysis and verification work of the intermediate language, since the IEC 61131-3 standard itself has not proposed a corresponding formal verification method, the present invention is of great significance for improving the security and reliability of industrial control programs in key areas , has broad application prospects in the PLC programming environment; in addition, the formalized modeling language ICIL proposed by the present invention is beneficial to unifying PLC programming development languages in the future.

Corresponding to the above programmable logic controller programming language conversion system, the present invention also provides a programmable logic controller programming language conversion method, please refer to Figure 2, which shows a programmable logic controller provided by the embodiment of the present invention A schematic flow chart of a logic controller programming language conversion method, the programmable logic controller programming language conversion method is used to convert the IEC 61131-3 programming language into an ICIL intermediate language, and the programmable logic controller programming language conversion method includes:

The abstract syntax tree conversion step S101 is to convert the text-like PLC programming language into an abstract syntax tree;

Ladder diagram conversion step S102, converting the ladder diagram into an ICIL intermediate structure;

Function block diagram conversion step S103, converting the function block diagram into an ICIL intermediate structure;

The sequential function table diagram conversion step S104 is to convert the sequential function table diagram into an ICIL intermediate structure;

The structured text conversion step S105 is to convert the abstract syntax tree obtained according to the structured text conversion into an ICIL intermediate structure;

Instruction table conversion step S106, converting the abstract syntax tree obtained according to the instruction table conversion into an ICIL intermediate structure;

ICIL intermediate structure converting step S107, converting the ICIL intermediate structure into an ICIL program.

In some embodiments, before step S101, step S100 may also be included: obtain the PLC programming language to be converted, and jump to the corresponding step according to the category of the PLC programming language, for example, if the PLC programming language is ladder Figure, then jump to step S102 by step S101; If described PLC programming language is a structured text graph, then jump to step S101 by step S101, then jump to step S105 by S101; If described PLC programming language is instruction table, jump to step S101, and then jump to step S106 from S101.

In some implementations, the abstract syntax tree conversion step S101 specifically takes a text-like PLC programming language as input, and converts the input text-like PLC programming language into an abstract syntax tree through lexical analysis and syntax analysis;

Wherein, the text-based PLC programming language includes: structured text language or instruction list language.

Specifically, the abstract syntax tree converting step S101 may take a structured text language and a syntax file of an instruction list language as input, and convert PLC programs written in these two languages into an abstract syntax tree through a syntax analysis framework such as ANTLR.

In some implementations, the ladder diagram conversion step S102 may include: a multi-coil decomposition step, a scan sequence calculation step, a node logical relationship calculation step, and an expression priority calculation step; wherein,

The multi-coil decomposing step, scanning sequence calculating step, node logical relationship calculating step and expression priority calculating step respectively perform multi-coil step decomposition, node scanning sequence calculation, node logical relationship calculation and ladder diagram expression priority calculation.

Specifically, in an implementation manner provided by an embodiment of the present invention, the multi-coil decomposing step may include: decomposing steps with a number of coils greater than 1;

The scanning sequence calculation step may include: converting the ladder diagram node relationship into an AOV (Activity OnVertex, a directed graph whose vertex represents activity) graph, and carrying out topological sorting to the nodes based on the AOV graph, thereby obtaining the nodes in the ladder diagram the scan sequence;

The step of calculating the logical relationship between nodes may include: formulating corresponding logical operator calculation rules based on the connection relationship between the nodes, so as to calculate the logical relationship between the nodes of the ladder diagram;

The expression priority calculation step may include: performing a pruning operation on nodes with a number of sub-nodes greater than 2 in the AOV diagram through a pruning algorithm, that is, by inserting virtual nodes to connect sub-nodes, each node in the original AOV diagram The number of child nodes of a node is not more than 2, and the operation priority relationship between different nodes is calculated in the pruned graph, and the priority calculator ("(", ")") is added to the ladder diagram expression.

In some implementations, the function block diagram conversion step S103 may include: a function block diagram analysis step and a function block diagram conversion rule step;

The function block diagram analysis step may include: parsing the PLCOpen XML file corresponding to the function block diagram program into a first data structure, the first data structure comprising: function block program, function block network, function block and network input and output connection data;

The function block diagram conversion rule step may include: converting the first data structure output by the function block diagram analysis step into an ICIL intermediate structure according to the function block conversion rule and network expression input and output rules.

In some implementations, the sequential function chart conversion step S104 includes: a sequential function chart analysis step and a sequential function chart conversion rule step;

The step of analyzing the sequential function table diagram may include: the PLCOpenXML file corresponding to the sequential function table diagram program is parsed into a second data structure, and the second data structure includes: step, action block, migration, concurrent branch structure, concurrent merging structure, select branch structure, and select merge structure;

The step of the conversion rule of the sequential function table diagram may include: according to the step conversion rule and the action block conversion rule (can be based on the 12 types of qualifiers commonly used in the sequential function block diagram (N, R, S, L, D, P, SD , DS, SL, P1 and P0) formulate different conversion operations respectively) convert the second data structure into an ICIL intermediate structure.

In some implementations, the structured text conversion step S105 may include: according to the structured text conversion rules, converting the abstract syntax tree generated in the structured text language in the step S101 into an ICIL intermediate structure.

Specifically, since the statements in the structured text are similar to the ICIL statements, the rules in this step are mainly used to convert the case statements and the three types of loop statements in the structured text into conditional selection relationships between processes.

In some implementations, the instruction list conversion step S106 may include: according to the instruction list conversion rules, converting the abstract syntax tree generated in the instruction list language in the step S101 into an ICIL intermediate structure.

Specifically, in the instruction table conversion step S106, the corresponding instruction table conversion rules are mainly defined for each operator and modifier of the instruction table language and the combination relationship between the two, wherein the delay calculation modifier needs to be calculated separately , in the parentheses delay calculation operation in the present invention, the corresponding priority calculation algorithm is adopted to convert the delay calculation in the instruction into the priority operation relationship in the expression through the priority calculator ("(", ")").

In some embodiments, the ICIL intermediate structure conversion step S107 may include: analyzing the ICIL intermediate structure, and generating codes in the ICIL program according to the analysis result. Specifically, the ICIL intermediate structure conversion step S107 completes the automatic code generation in the ICIL program by analyzing the ICIL intermediate structure, including the generation of ICIL language and the generation of indentation and paragraph management.

In some embodiments, the ICIL is an industrial controller intermediate language obtained by extending the CSP language, and its extended content includes module elements, statement elements and periodic channel elements; wherein,

The module element is used to unify the definition of the program organization unit in IEC 61131-3, so as to represent the calling and running of functions, function blocks and programs in the original PLC programming language through calling and running of modules;

The statement element is used to represent the assignment operation and the calling operation of the module;

The periodic channel element is used for periodically transmitting messages on the channel.

In some implementations, the module element includes: two parts: variable declaration and process definition; wherein,

The variable declaration is used to declare the variables used in the module;

The process definition is used to represent the execution behavior of the module through the process.

A specific embodiment provided by the embodiment of the present invention will be described below in conjunction with accompanying drawings 3 and 4. Fig. 3 shows a schematic diagram of a ladder diagram conforming to the IEC 61131-3 programming language specification provided by the embodiment of the present invention, and Fig. 4 shows A schematic diagram of the AOV map obtained by converting the ladder diagram provided in FIG. 3 provided in the embodiment of the present invention is shown, and in combination with the description of the ladder diagram conversion module 102 and the ladder diagram conversion step S102 in the foregoing specific embodiments, the embodiment of the present invention is used The process that the provided PLC programming language conversion system 10 converts the ladder diagram is as follows:

Step S1: Obtain the corresponding ladder diagram data structure by parsing the PLCOpen XML exported from the ladder diagram.

Step S2: According to the relationship between the data structures of the ladder diagram, the AOV graph shown in Figure 4 is obtained. The AOV graph can be expressed as a directed graph G(V, E), where the set of V nodes represents tasks or behaviors, and E The edge set represents the priority relationship between these tasks. The relationship between any node vi and vj can be represented by a node pair (vi, vj). The predecessor node of any node v has a higher priority than node v.

Step S3: On the basis of the AOV graph (Figure 4), sort according to the topological sorting algorithm, and the sequence that can be obtained is (n1,n2,n5,n6,n7,n10,n11,n8,n12,n13,n15,n14, n3,n9,n4).

In order to illustrate the conversion effect of the ladder diagram, the following ladder diagram conversion rules are proposed, and the final ICIL language expression is generated by sequentially traversing the above-mentioned topological sorting and applying the following rules:

1) If the current node is the first node in the topological sort, the currently generated operator is empty, that is, the operator is "";

2) If the current node is on the same line as the previous node, the currently generated operator is "&&";

3) If the current node is not on the same line as the previous node, and there is a connection line from the previous node to the current node in the AOV diagram, the current operator is "&&";

4) If the current node is not located in the same row as the previous node, and there is no connecting line from the previous node to the current node in the AOV graph, then the current operator is "||".

Step S4: Traverse the above topological sequence by applying the above rules, and obtain the final ICIL statement as n4=n1&&n2||n5&&n6&&n7||n10&&n11||n12&&n13||n15&&n14&&n3||n9;

Step S5: Pruning the AOV graph through the pruning algorithm, and on this basis, using the priority calculation algorithm to calculate the calculation priority of the expression in the previous step, so as to obtain the following ICIL statement:

n4=(n1&&n2||n5&&((n6&&n7||n10&&n11)&&n8||n12&&(n13||n15)&&n14))&&(n3||n9).

The above is an exemplary description of the programmable logic controller programming language conversion method provided by the embodiment of the present invention. The programmable logic controller programming language conversion method proposed by the present invention can realize the unified conversion of the IEC61131-3 language, and can be used by different manufacturers. In the process of developing and transplanting on PLC products, it is not necessary to write corresponding transplanting codes for each PLC language; in addition, the formal modeling language ICIL and its conversion method proposed by the present invention are conducive to subsequent in-depth development based on the intermediate language Since the IEC 61131-3 standard itself has not proposed a corresponding formal verification method, the present invention is of great significance for improving the safety and reliability of industrial control programs in key areas. In PLC programming It has broad application prospects in the environment; in addition, the formalized modeling language ICIL proposed by the present invention is beneficial to unifying the PLC programming development language in the future.

It should be noted that the flowcharts and block diagrams in the accompanying drawings show the architecture, functions and operations of possible implementations of systems, methods and computer program products according to multiple embodiments of the present invention. In this regard, each block in a flowchart or block diagram may represent a module, program segment, or part of code that includes one or more Executable instructions. It should also be noted that, in some alternative implementations, the functions noted in the block may occur out of the order noted in the figures. For example, two blocks in succession may, in fact, be executed substantially concurrently, or they may sometimes be executed in the reverse order, depending upon the functionality involved. It should also be noted that each block of the block diagrams and/or flowchart illustrations, and combinations of blocks in the block diagrams and/or flowchart illustrations, can be implemented by a dedicated hardware-based system that performs the specified function or action , or may be implemented by a combination of dedicated hardware and computer instructions.

Those skilled in the art can clearly understand that for the convenience and brevity of the description, the specific working process of the above-described system, device and unit can refer to the corresponding process in the foregoing method embodiment, which will not be repeated here.

In the several embodiments provided by the present invention, it should be understood that the disclosed devices and methods can be implemented in other ways. The device embodiments described above are only illustrative. For example, the division of the units is only a logical function division. In actual implementation, there may be other division methods. For example, multiple units or components can be combined or May be integrated into another system, or some features may be ignored, or not implemented. In another point, the mutual coupling or direct coupling or communication connection shown or discussed may be through some communication interfaces, and the indirect coupling or communication connection of devices or units may be in electrical, mechanical or other forms.

The units described as separate components may or may not be physically separated, and the components shown as units may or may not be physical units, that is, they may be located in one place, or may be distributed to multiple network units. Part or all of the units can be selected according to actual needs to achieve the purpose of the solution of this embodiment.

In addition, each functional unit in each embodiment of the present invention may be integrated into one processing unit, each unit may exist separately physically, or two or more units may be integrated into one unit.

If the functions described above are realized in the form of software function units and sold or used as independent products, they can be stored in a computer-readable storage medium. Based on this understanding, the essence of the technical solution of the present invention or the part that contributes to the prior art or the part of the technical solution can be embodied in the form of a software product, and the computer software product is stored in a storage medium, including Several instructions are used to make a computer device (which may be a personal computer, a server, or a network device, etc.) execute all or part of the steps of the methods described in various embodiments of the present invention. The aforementioned storage medium includes: U disk, mobile hard disk, read-only memory (ROM, Read-Only Memory), random access memory (RAM, Random Access Memory), magnetic disk or optical disk and other media that can store program codes. .

Finally, it should be noted that: the above embodiments are only used to illustrate the technical solutions of the present invention, rather than limiting them; although the present invention has been described in detail with reference to the foregoing embodiments, those of ordinary skill in the art should understand that: It is still possible to modify the technical solutions described in the foregoing embodiments, or perform equivalent replacements for some or all of the technical features; and these modifications or replacements do not make the essence of the corresponding technical solutions deviate from the technical solutions of the various embodiments of the present invention. All of them should be covered by the scope of the claims and description of the present invention.

Claims (10)

1. A method for converting a programming language of a Programmable Logic Controller (PLC), comprising:

an abstract syntax tree conversion step, which is to convert the text PLC programming language into an abstract syntax tree;

a ladder diagram conversion step, converting the ladder diagram into an ICIL intermediate structure;

a functional block diagram conversion step, namely converting the functional block diagram into an ICIL intermediate structure;

a sequence function table diagram conversion step, namely converting the sequence function table diagram into an ICIL intermediate structure;

a step of structural text conversion, which is to convert an abstract syntax tree obtained according to the structural text conversion into an ICIL intermediate structure;

an instruction table conversion step, namely converting the abstract syntax tree obtained by conversion according to the instruction table into an ICIL intermediate structure;

and an ICIL intermediate structure conversion step, namely converting the ICIL intermediate structure into an ICIL program.

2. The PLC programming language conversion method according to claim 1, wherein the abstract syntax tree conversion step converts the inputted text-based PLC programming language into an abstract syntax tree by lexical analysis and syntactic analysis, using a text-based PLC programming language as an input;

wherein the text type PLC programming language comprises: a structured text language or an instruction sheet language.

3. The plc programming language conversion method according to claim 1, wherein the ladder diagram conversion step includes: the method comprises the steps of multi-coil decomposition, scanning sequence calculation, node logic relationship calculation and expression priority calculation; wherein,

the multi-coil decomposition step, the scanning sequence calculation step, the node logic relationship calculation step and the expression priority calculation step are respectively used for carrying out multi-coil step decomposition, node scanning sequence calculation, node logic relationship calculation and ladder diagram expression priority calculation.

4. The plc programming language conversion method according to claim 1, wherein the function block diagram conversion step includes: a function block diagram analyzing step and a function block diagram conversion rule step;

the function block diagram parsing step is to parse the PLCOpen XML file corresponding to the function block diagram program into a first data structure, where the first data structure includes: function block programs, function block networks, function blocks and network input/output connection data;

and the step of the functional block diagram conversion rule is used for converting the first data structure output by the step of analyzing the functional block diagram into an ICIL intermediate structure according to the functional block conversion rule and the network expression input and output rule.

5. The plc programming language conversion method according to claim 1, wherein the sequential function chart conversion step includes: a step of analyzing a sequential function table diagram and a step of converting the sequential function table diagram into rules;

analyzing the sequence function table diagram, namely analyzing the PLCOPenXML file corresponding to the sequence function table diagram program into a second data structure, wherein the second data structure comprises: step, action block, migration, concurrent branch structure, concurrent merge structure, selective branch structure and selective merge structure;

and the step of converting the sequential function table diagram into a rule, namely converting the second data structure into an ICIL intermediate structure according to a step conversion rule and an action block conversion rule.

6. The plc programming language conversion method according to claim 1, wherein the structured text conversion step converts the abstract syntax tree generated by the abstract syntax tree conversion step according to a structured text language into an ICIL intermediate structure according to the structured text conversion rule.

7. The plc programming language conversion method according to claim 1, wherein the instruction table conversion step converts the abstract syntax tree generated by the instruction table language in the abstract syntax tree conversion step into the ICIL intermediate structure, specifically according to the instruction table conversion rule.

8. The method for converting programming languages of a programmable logic controller according to claim 1, wherein the ICIL intermediate structure converting step specifically includes parsing the ICIL intermediate structure, and generating a code in the ICIL program according to a result of the parsing.

9. The method for converting programming languages of a programmable logic controller according to any one of claims 1 to 8, wherein the ICIL is an intermediate language of the industrial controller that is extended based on a CSP language, and the extension content of the ICIL includes a module element, a statement element, and a periodic channel element; wherein,

the module elements are used for unifying the definition of the program organization unit in IEC61131-3 to express the calling and running of functions, function blocks and programs in the original PLC programming language through the calling and running of the module;

the statement element is used for expressing assignment operation and module calling operation;

and the periodic channel element is used for periodically transmitting the messages on the channel.

10. The plc programming language conversion method according to claim 9, wherein the module element includes: variable declaration and process definition; wherein,

the variable declaration is used for declaring variables used in the module;

the process definition is used to represent the execution behavior of the module by the process.