Simulation framework for the verification of PLC programs in automobile industries
- 15 August 2011
- journal article
- research article
- Published by Taylor & Francis Ltd in International Journal of Production Research
- Vol. 49 (16), 4925-4943
- https://doi.org/10.1080/00207543.2010.492404
Abstract
The objective of this study is to propose a framework of virtual plant models for the verification of PLC logic through modeling and simulation. The proposed virtual plant model consists of three types of object: the virtual device model (object model), the intermediary transfer model (functional model), and the PLC program & HMI (dynamic model). A virtual device model consists of a physical part, which is used to represent the properties of a real device and a logical part, which is used to manage the device's operation. For the fidelity of the virtual plant model, an intermediary transfer model controls the virtual device through a PLC program and sends information on the virtual device's state to the supervisory control model. Moreover, the PLC program and HMI are used for constructing communication environments similar to a real manufacturing line. For the implementation of the proposed virtual plant model, this study employs an I/O model based on the formalism of Automata and Discrete Event Systems Specifications (DEVS). As a result of the application to a car assembly line, 18 error codes are detected through the manual mode and have been revised. Finally, we can confirm there is no sequential error in the PLC program by checking the time chart. Moreover, the bottleneck and ramp-up/down times are reduced when a manufacturing system/line is built.This publication has 9 references indexed in Scilit:
- Efficient manufacturing system implementation based on combination between real and virtual factoryInternational Journal of Production Research, 2006
- A methodology for creating a virtual model for a flexible manufacturing systemComputers in Industry, 2005
- Object-oriented modeling and simulation of flexible manufacturing systems: a rule-based procedureSimulation Modelling Practice and Theory, 2002
- Application of software reuse and object-oriented methodologies for the modelling and control of manufacturing systemsComputers in Industry, 1999
- An integrated modelling method to support manufacturing systems analysis and designComputers in Industry, 1999
- Design of industrial automated systems via relay ladder logic programming and Petri netsIEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), 1998
- A Petri-net and entity-relationship diagram based object-oriented design method for manufacturing systems controlInternational Journal of Computer Integrated Manufacturing, 1997
- A Survey of Petri Net Methods for Controlled Discrete Event SystemsDiscrete Event Dynamic Systems, 1997
- Object-oriented graphical modeling of FMSsInternational Journal of Flexible Manufacturing Systems, 1996