Abstract:Industrial automation is largely based on PLC-based control systems. PLCs are today mostly programmed in the languages of the IEC 61131 standard which are not ready to meet the new challenges of widely distributed automation systems. Currently, an extension of IEC 61131 which includes object oriented programming as well as the new standard IEC 61499 are available. Moreover, service-oriented paradigms where autonomous and interoperable resources provide their functionalities in the form of services that can be accessed externally by clients without knowing the underlining implementation have been presented in the literature. In the supervisory control theory, methodologies based on formal models have been developed to improve the coordination of concurrent and distributed systems. In this paper, an event-driven approach is proposed to improve the design of industrial control systems using commercial PLCs. At a lower level, basic sequences are coded in elementary software objects, called function blocks, providing their functionalities as services. At an upper level, a Petri Net (PN) controller forces the execution of such services according to desired sequences, while by a PN supervisor constraints on the sequences are satisfied. Note to Practitioners—Industrial automation programming and design is still based on PLCs. Forty years after their introduction, they are still the most prevalent implementation platform for automation systems in many industries. After 1992, their success increased a lot with the introduction of IEC 61131 standard which reduces the number of languages available on PLC platform. However, with the tools available in IEC 61131 it is not easy to develop complex distributed control systems. This paper proposes the introduction of new software and methodological tools yet available from industry and research to build control applications. This allows the synthesis of the controller from a formal definition of the controlled system's behavior and from the control specification but at same time as much as possible IEC 61131 compliant.

Implementation of JFPC (Java for Process Control) under Linux - a mechanism to access industrial I/Os in a JAVA/Linux environment

Application of PROFINET IO in Neutron Scattering Instruments

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

How to improve control system performance using FF function blocks

Java Technology in an FPGA

Modernising the ESRF control system with GNU/Linux

On the Implementation of Industrial Automation Systems Based on PLC

Implementation of the control and data acquisition system for a small angle neutron scattering spectrometer according to the "Juelich-Munich standard"

Design and Development of Man-Machine Interface for UPFC-FCL

EPICS: A Retrospective on Porting iocCore to Multiple Operating Systems

The implementation and application of programming port communication between industry PC and Mitsubishi FX series PLC

Implementation Method of OPC Cross-platform Communication

Real-time Data Acquisition and Processing System Based on ITER Plant Fast Controller and FlexRIO FPGA

Developing a field controller based on the EPA industrial ethernet

CONTROL SYSTEM FOR A PEFP FPC BAKING SYSTEM

PLC-based implementation of supervisory control for flexible manufacturing systems using theory of regions

Strategies for Software and Hardware Compatibility Testing in Industrial Controllers

Integrating OPC Data into GSN Infrastructures

Research and application of advanced control software platform based on iFIX