Digital Library

of the European Council for Modelling and Simulation



Visual Validation Of PLC Programs


Min.S Ko, Sang C. Park, Gi Nam. Wang

Published in:


ECMS 2008 Proceedings

Edited by: Loucas S. Louca, Yiorgos Chrysanthou, Zuzana Oplatkova, Khalid Al-Begain


ISBN: 978-0-9553018-6-5

Doi: 10.7148/2008


22nd European Conference on Modelling and Simulation,

Nicosia, June 3-6, 2008


Citation format:

Ko, M. S., Park, S. C., & Wang, G. N. (2008). Visual Validation Of PLC Programs. ECMS 2008 Proceedings edited by: L. S. Louca, Y. Chrysanthou, Z. Oplatkova, K. Al-Begain (pp. 410-415). European Council for Modeling and Simulation. doi:10.7148/2008-0410



Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program with a corresponding plant model, so that users can intuitively verify the PLC program in a 3D graphic environment. The plant model includes all manufacturing devices of a production system as well as corresponding device programs to perform their tasks in the production system, and a PLC program contains the control logic for the plant model. For the implementation of the proposed PLC programming environment, it is essential to develop an efficient methodology to construct a virtual device model as well as a virtual plant model. The proposed PLC programming environment provides an efficient construction method for a plant model based on the DEVS (Discrete Event Systems Specifications) formalism, which supports the specification of discrete event models in a hierarchical, modular manner.

Full text: