Research On The Formal Description And Conversion Algorithm From FBD To C Code In Cloud Configuration

Programmable Logic Controller(PLC)is an important part of the Industrial 4.0era and the development of Industrial Internet of Things.The software of PLC programming platform based on IEC 61131-3 standard is very important in the development of industrial automation.Function Block Diagram(FBD),as a graphical programming language defined by this standard,develops PLC programs through data flow modeling and digital circuit basis without complex electrical knowledge,and therefore becomes the choice of more and more developers.The PLC program developed by FBD can be compiled by converting to C language and recompiling to machine-recognized machine language.With the development of technology and the improvement of industrial control requirements,the volume and complexity of the developed PLC control program are increasing.As a graphical language,more and more computing resources are needed to compile and convert FBD program.With the development of cloud computing technology,some large-scale programs developed by text languages start to use cloud compilers to improve compilation efficiency.Compilation and conversion tasks for FBD programs can also be migrated to the cloud,reducing computing pressure on local clients,and improving the updateability of FBD programming software.The following work has been done for this purpose.(1)Propose a cloud configuration FBD platform architecture based on container orchestration technology,which creates a separate container for each client to run FBD server-side model and provides compilation services.Based on this architecture,FBD in the client and server are formally described.(2)Propose a method for checking the consistency of client-side and server-side FBD models,and a case study of the two models is carried out based on an example program.(3)Propose the dynamic division method of the function block network in the FBD program,and the detection method of the connection specification of the function block network,and map the function block network into an AOV diagram on this basis.(4)Propose a FBD network scanning method based on the priority of function blocks,which is optimized for cloud configuration.Combining the two existing network scanning methods,a corresponding class topology sorting algorithm for AOV graphs is designed.(5)Propose a mapping rules and conversion methods of various elements in the FBD program to C language codes,including the mapping rules and general pattern codes for data types and function block functions.Based on the above research,the client’s editing interface and basic functions,as well as the conversion algorithm in the service side of the FBD platform in cloud configuration are designed and implemented,and the availability and correctness of the platform are verified by two industrial control scenarios...