Abstract:PLC (programmable logic controller) is one type of general industrial control platforms with high reliability, which has been widely used in many real-time control systems, such as transfer lines and continuous casting machines. With the increasing size and complexity of PLC programs, the traditional manual test cannot meet the needs of industrial fields due to its inefficiency and error-prone features. Program slicing is a method of program analysis and understanding. Based on some slicing criterion, it removes the irrelevant statements from the source code to obtain a group of interested program segments. In this way, the scope of the program under study is narrowed. In this paper, program slicing of PLC programs will be studied. The slicing of PLC programs needs special treatment which is usually not necessary in other software written in high level language or assembly language. For example, PLC programs run in cyclic operating mode, and they usually allow each ladder to include more than one output ports making the number of outputs in one statement much larger than that of those in other software. We first introduce a ladder transformation as a preparation for program slicing. Then algorithms for static slicing for PLC programs are proposed. A demo is given to show that this method can effectively reduce the scale of program.

A Solution to the Embedded PLC's Programmer in the CNC System

Development of Application Software of Open Numerical Control Shoe Last Machine Tool System

PLC Control System Design of Large Hydraulic Equipment

The Cement Kiln Advanced Control Based on the Configuration Software Programming

Research and development of soft TPLC in integrated pc-based CNC system

Implementation of Serial Communication between PLC and Single-chip Microcomputer

Research on Reconfigurable CNC System Based on Programmable Logical Device

The Application of Multifunctional HMI and PLC in Control System of Beer Fermentation

Study on Integrated System of Intelligent Embedded Programmable Logic Controller

Application of Economic CNC System Based on PLC and Touch Screen

The Design and Realization an Embedded Programmable Logical Control Structure Based on RT -Linux Operating System

Development of Open CNC System Software

The Design and Implementation of Programmable Motion Controller

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

Static slicing for PLC program with ladder transformation

Study of Software and Hardware in Computer Numerical Control Engrave System

The Real-time Testing and Control System for Hydraulic Test Bench Based on PLC

Control system design of three -dimension engraving machine based on ARM + CPLD

Study and Development of Automatic Control System for Chamfering Machine Based on PLC

Study on Computer Aided Programming Software of CNC Based on Image Processing

Application of PLC Communication in Transformation of Electric Control System of 4m Vertical Lathe