Mixed mode verification of PLC based control systems

The aim of this paper is to present a method of developing a PLC based control system by introducing an additional verification step. This step can be implemented before the entire equipment is fully functional and ready to be tested thus reducing the development time and revealing bugs in the control system in early phase of development.

[1]  J.F. Martins,et al.  PLC controlled industrial processes on-line simulator , 2007, 2007 IEEE International Symposium on Industrial Electronics.

[3]  John W. Webb,et al.  Programmable Logic Controllers: Principles and Applications , 1994 .

[4]  Devinder Thapa,et al.  III-Phase Verification and Validation of IEC Standard Programmable Logic Controller , 2006, 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06).