Abstract:Programmable Logic Controllers (PLCs) are widely used in industry. PLC systems are reactive systems which run cyclically. In each cycle, the system state is checked and the program is executed once to determine the system behavior for a single cycle. Development of PLC systems conventionally follows the V-model, but increasing demand for efficiency and reliability requires a new rigorous and rapid design flow. In this paper, we propose a component-based formal modeling and synthesis method for cyclic execution platforms and apply it to PLC. Our method consists of three main phases: modeling, verification and code synthesis. In the modeling phase, the BIP (Behavior–Interaction–Priority) framework which is flexible and expressive is used as the modeling language. Real-time behavior, which is intensely concerned in PLC systems, can be modeled as well. In the verification phase, the system model is translated to timed automata and checked by Uppaal. Verification helps to ensure correctness of the model and further increases reliability of the implementation. In the code synthesis phase, the software part of the system model is extracted and synthesized to cyclic code. Although the PLC software runs cyclically, the software model is not necessarily given in a cyclic manner. We propose an algorithm which can generate high-performance cyclic code from a model which describes the business work-flow. This feature significantly simplifies program development. A set of tools is implemented to support our design flow and they are applied to an industrial case study for a PLC system that controls dozens of physical devices in a huge palace.

A New Approach to Programmable Logic Array for Single-Clock CMOS

Complex Programmale Logic Device Applied to Optimized SVPWM Algorithm

Fast Performance-Optimized Compilation Method for Field Programmable Gate Array

Programmable Logic Arrays

DSTN (Distributed Sleep Transistor Network) for Low Power Programmable Logic array Design

Design and Synthesis of Programmable Logic Block With Mixed LUT and Macrogate

Multi-Phase Clocking for Multi-Threaded Gate-Level-Pipelined Superconductive Logic.

Power Gating Structure for Reversible Programmable Logic Array

A Digital Optical Phase-Locked Loop Based on Field Programmable Gate Array and Its Applications

Reversible Programmable Logic Array (RPLA) using Feynman & MUX Gates for Low Power Industrial Applications

Eight-input optical programmable logic array enabled by parallel spectrum modulation

Design Methodology for Thin-Film Transistor Based Pseudo-CMOS Logic Array with Multi-Layer Interconnect Architecture.

Design Methodology for TFT-Based Pseudo-CMOS Logic Array with Multilayer Interconnection Architecture and Optimization Algorithms

A comparison of programmable gate array logic cell circuits

An 8.5–12.5ghz Multi-Pll Clock Architecture with LC PLL and Ring PLL for Multi-Lane Multi-Protocol SerDes

Design Of The High Speed All Digital Pll For Sram Bist Based On 55nm Process

Exploration of FPGA PLB Architecture Base on LUT and Microgates

A Single Phase Adiabatic Logic

Activity And Register Placement Aware Gated Clock Network Design

Formal Component-Based Modeling and Synthesis for PLC Systems

A Novel Hybrid FPGA Architecture