Formal Methods in PLC Control Demonstrated at a Flexible Manufacturing Line
نویسنده
چکیده
This paper presents various formal approaches in the development of logic control algorithms. Programmable Logic Controllers (PLCs) are commonly used in automation and the algorithms running on them tend to be quite complex. This motivates the application of formal approaches to PLC programming. The approaches range from completely formalized design methods on the one end over the verification and validation (V&V) of formally described controllers to V&V of existing algorithms (developed in some industrially used PLC programming language) on the other end. This paper contains an overview and comparison of various design and verification approaches applied to a common example – the model of a flexible manufacturing line – presented at a session organized by the author at the American Control Conference 2002.
منابع مشابه
Robust control filter for manufacturing systems : application to PLC training
In this paper, we show how research dealing with the design of a robust filter for manufacturing controllers can be used in the field of PLC training. Maintenance tasks and improvements in the manufacturing process involve changes in the PLC (programmable logic controller) program that can have bad safety consequences. Hence, a PLC program which is at the startup of the production lifecycle saf...
متن کاملImproving Automation Software Dependability: A Role For Formal Methods?
The growth of manufacturing control software from simple NC and PLC-based systems to concurrent networked systems incorporating PC’s, PLC’s and CNC’s has created new challenges to the maintenance of safe and dependable manufacturing operations. Key milestones in this evolution, and the prospects for the use of formal verification methods in achieving enhanced dependability of future manufacturi...
متن کاملTwo Diagnostic Models for Plc Controlled Flexible Manufacturing Systems
The control of flexible manufacturing systems (FMS’s) is generally characterised by logical and sequential functions under the auspices of a programmable logic controller (PLC). Operational faults associated with control processes are often confusing to maintenance personnel at workshop level. This has resulted in the development of automatic diagnosis techniques. In this paper two generic diag...
متن کاملLayout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کاملSynthesis and Implementation of Local Modular Supervisory Control for a Manufacturing Cell
The Supervisory Control Theory is applied to a manufacturing cell commanded by a programmable logic controller (PLC). By means of local modular approach a methodology that exploits modularity of the plant and of the behavioral specifications models optimal supervisors are obtained without state-space explosion. For the purpose of simplifying the ladder diagram implementation in the PLC, reduced...
متن کامل