Method and device for compiling control program

Abstract

The embodiment of the invention discloses a method and a device for compiling a control program. The method comprises the steps of: compiling and linking a source program to generate an intermediate language program with limited variable features; mapping the intermediate language program with the limited variable features into a target command based on a mapping relationship between the intermediate language program with the limited variable features and the target command which can be directly carried out by a target processor. Through the embodiment of the invention, demands of the system on reliability and safety can be satisfied.

Description

technical field [0001] The invention relates to the field of industrial control, in particular to a method and device for compiling a control program. Background technique [0002] In the field of industrial control, it often involves converting the control program written by the user in a high-level language (that is, the source program) into a control instruction that can be directly executed by the industrial device (for example, a processor). This conversion process is the compilation of the control program. process. The high-level language used by the user is generally the programming language specified by the relevant standards in the field of industrial control, such as the programming language specified by IEC 61131-3, the programming language specified by IEC 61499, and the CFC (Sequential Function Chart) applicable to specific fields. Graph), SAMA (Scientific Apparatus Makers Association, Scientific Apparatus Manufacturers Association) graph and other programming ...

AI Technical Summary

Problems solved by technology

Therefore, the compilation complexity is still very large, which will increase the probability of system failure, so it is not suitable for systems with high reliability requirements

[0007] On the other hand, the general-purpose intermediate language is designed for general-purpose application scenarios, and its biggest feature is its powerful functions and operational capabilities, that is, it has high variability. However, it also makes the general-purpose intermediate language program The compilation process and compilation results have great uncertainty

This kind of uncertainty will form a disadvantage for industrial control systems with high safety requirements, especially when compiling general-purpose intermediate languages, if compilation errors or compilation exceptions occur, it may lead to problems such as illegal access to system resources, Problems such as system software crashes affect the security of the system

[0008] In addition, the general-purpose language compiler is a third-party compiler, and its development process does not and cannot follow the safety requirements and safety development process formulated for specific industrial control fields, and, from the perspective of actual operation, it is also It is difficult to implement security verification of the results compiled by third-party compilers

Therefore, general-purpose language compilers cannot meet high security requirements and are not suitable for systems with high security requirements

Images