Simulation based control program verification in an automobile industry

Authors:
Chang-Mok Park;Kil-Young Seong;Sang C. Park;Gi-Nam Wang;Kwan-Hee Han
Affiliations:
Ajou University Suwon, South Korea;Ajou University Suwon, South Korea;Ajou University Suwon, South Korea;Ajou University Suwon, South Korea;Gyeongsang National University, South Korea
Venue:
MIC '08 Proceedings of the 27th IASTED International Conference on Modelling, Identification and Control
Year:
2008

Citing 8
Cited 1

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Application of software reuse and object-oriented methodologies for the modelling and control of manufacturing systems

Computers in Industry - ASI 1997
Model checking

Model checking
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)

FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Compositional and symbolic model-checking of real-time systems

RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
A study of current logic design practices in the automotive manufacturing industry

International Journal of Human-Computer Studies
A methodology for creating a virtual model for a flexible manufacturing system

Computers in Industry
PLC programming with signal interpreted Petri nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets

Machine control level simulation of an as/rs in the automotive industry

Proceedings of the Winter Simulation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we proposed an approach to verify the controller logics of an automobile industry using simulation. For this purpose, we proposed state based object mode to make virtual car body assembly line and also proposed a verification methodology from the observed signal sequences during simulation. We applied to real PLC application in car body assembly line and ascertained the effectiveness of proposed system.