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.