Abstract

Programmable logic controllers are commonly used in automation systems. Continuously growing demands result in the growth of control program complexity. The classic approach, based on programmatic serial-cyclic execution, results in an unacceptable extension of response time. To overcome long response time massive parallel program execution is proposed. It utilize direct in hardware program implementation in field programmable devices. The paper brings a formal method of representing control programs using flow graphs and enabling single cycle computations. The developed method accepts ladder diagrams (LD) and sequential function charts (SFC), according to IEC61131-3 standard requirements. It is capable of handling logic and arithmetic computations, enabling its hardware mapping. The intermediate form is optimized using flow graph representation and BDDs for analyzing logic dependencies. The BDD representation of logic dependencies enables direct mapping to lookup tables of a selected FPGA family. All the above steps deliver high-performance and direct hardware implementation of the control program given by standard languages. The controller response time is short, predictable, and independent from logic conditions during program execution.

Highlights

  • Programmable logic controllers (PLCs) have been commonly used in automation systems for almost five decades [1]

  • The complex synthesis method of the control program is given. It starts from the theorem of a single-cycle equivalent representation of a program given using ladder diagram (LD) that preserves the sequential processing dependencies

  • Replacing variable qj (k) by dj (k) in all functions corresponding to the computations, described by respective rungs of the ladder diagram, enables the simultaneous update of all variables associated with the coils to become possible

Read more

Summary

Introduction

Programmable logic controllers (PLCs) have been commonly used in automation systems for almost five decades [1]. Efficient programming requires careful distribution of instructions with a uniform distribution of bit and word computation, enabling parallel operation of processing units [3] This implementation suffers from a lack of a respective compiler that enables automatic program translation and utilization of unique features of the dual-core architecture. The hardware-implemented control program abandons the sequential processing concept, typical for PLCs based on microprocessors, for maximal parallel computations This approach makes the computation time independent from the executed program size (number of instructions or graphic components) and/or logic conditions during its execution. The complex synthesis method of the control program is given It starts from the theorem of a single-cycle equivalent representation of a program given using ladder diagram (LD) that preserves the sequential processing dependencies. The paper is summarized with benchmarks showing the performance of obtained controllers and FPGA mapping methods performance

Method of Sequential Control Program Conversion to Single-Cycle
Control Program Representation Accommodated for Direct Hardware Synthesis
The Control and Data Flow Graph
Constructing the Data Flow Graph from Ladder Diagram Components
Constructing the Data Flow Graph from Complex Function Blocks
Constructing the Data Flow Graph from Sequential Function Chart
Optimization of Intermediate Representation
LUT-Oriented Technology Mapping
Hardware Mapping Method of a Partially-Mapped Flow Graph
Experiments
Conclusions
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call