|
Digital Library of the
European Council for Modelling and Simulation |
Title: |
Visual
Validation Of PLC Programs |
Authors: |
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 |
DOI: |
http://dx.doi.org/10.7148/2008-0410 |
Abstract: |
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: |