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.

Selection and Validation of Fast and Synchronous Interface to the Controller of a Space Nuclear Reactor Power System

FCS-MPC of Power Converters: an Event-Driven Brain Emotional Learning Approach

Multi-Interface PLC / Wireless Network Simulation

Design And Implementation Of The Universal Servo Control Algorithm Verification System Based On High-Speed Communication Fieldbus

Design And Evaluation Of Event-Driven Networked Realtime Control Systems With Iec Function Blocks

Modeling and Validation of PLC-Controlled Systems: A Case Study.

Simulation based performance analysis of networked control systems with resource constraints

Real-Time Controller Design Test Bench for High-Voltage Direct Current Modular Multilevel Converters

Power System Real-Time Simulation using Modelica and the FMI

A Component-Based Modeling and Validation Method for PLC Systems

An Event Driven Synchronization Framework for Physical Controller Co-Simulation of Megawatt-Level Power Electronic Systems

Real Time Control and Performance Analysis of A Smart Multi-Machine System through Hardware-in-the-Loop Simulation

Novel Networked Remote Laboratory Architecture for Open Connectivity Based on PLC-OPC-LabVIEW-EJS Integration. Application in Remote Fuzzy Control and Sensors Data Acquisition

An Event-Based Synchronization Framework for Controller Hardware-in-the-loop Simulation of Electric Railway Power Electronics Systems

Real Time Digital Simulation Studies for Svc Controller

Design and Performance Analysis of a Non-Standard EPICS Fast Controller

Assessing Open Interfaces and Protocols of PLCs for Computation Offloading at Field Level

Design of PLC Integrated Process Simulation Software for Steam Generator Using Matlab Simulink

A Self-Restoring Fault-Tolerant Method for Controller Cooperation Simulation of Power Electronics Systems

The use of IEC 61131-3 to enhance PLC control and Matlab/Simulink process simulations

Formal Component-Based Modeling and Synthesis for PLC Systems