Simulation framework for the verification of PLC programs in automobile industries

International Journal of Production Research

Volumn 49, Issue 16, 2011, Pages 4925-4943

  Koo, Lock Jo ^a   Park, Chang Mok ^b   Lee, Chang Ho ^a   Park, Sangchul ^a   Wang, Gi Nam ^a  

^a Ajou University   (South Korea)

^b Induk University   (South Korea)

Author keywords

automobile industry; simulation; verification of PLC; virtual manufacturing

Indexed keywords

CAR ASSEMBLY; DISCRETE EVENT SYSTEMS SPECIFICATIONS; ERROR CODES; FUNCTIONAL MODEL; MANUAL MODES; MANUFACTURING LINES; MANUFACTURING SYSTEM; MODEL-BASED OPC; MODELING AND SIMULATION; OBJECT MODEL; PLC PROGRAMS; SEQUENTIAL ERROR; SIMULATION; SIMULATION FRAMEWORK; SUPERVISORY CONTROL; TRANSFER MODELS; VIRTUAL DEVICE MODELS; VIRTUAL DEVICES; VIRTUAL MANUFACTURING; VIRTUAL PLANT MODEL;

AGILE MANUFACTURING SYSTEMS; AUTOMOTIVE INDUSTRY; EQUIPMENT;

COMPUTER SIMULATION;

EID: 79960525143     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/00207543.2010.492404     Document Type: Article

References (30)

1. Al-Ahmari, A.M.A. and Ridgway, K., 1999. An integrated modeling method to support manufacturing system analysis and design. Computers in Industry, 38 (3), 225-238.
2. Anglani, A., et al., 2002. Object-oriented modeling and simulation of flexible manufacturing system: A rule-based procedure. Simulation Modeling Practice and Theory, 10 (3), 209-234.
3. Canet, G., et al., 2000. Towards automatic verification of PLC programs written in Instruction List. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 2000), 8-11 October, Nashville, Tennessee, USA, 2449-2454. (Pubitemid 32068867)
4. Chen, K.Y. and Lu, S.S., 1997. A Petri-net and entity-relationship diagram based object-oriented design method for manufacturing systems control. International Journal of Computer Integrated Manufacturing, 10 (1-4), 17-28.
5. Cheon, S.W., et al., 2004. The software verification and validation process for a PLC-based engineered safety features-component control system in nuclear power plants. In: Proceedings of the 30th annual conference of the IEEE Industrial Electronics Society, 2-6 November, Busan, Korea, 827-831. (Pubitemid 40845915)
6. Chocron, D. and Cerny, E., 1980. A Petri net based industrial sequencer. In: Proceedings of the IEEE international conference and exhibition on industrial control and instrumentation, 17-20 March, Philadelphia, USA, 18-20.
7. Choi, B.K., Han, K.H., and Park, T.Y., 1996. Object-oriented graphical modeling of FMSs. The International Journal of Flexible Manufacturing Systems, 8 (2), 159-182. (Pubitemid 126713919)
8. Clarke, E.M., Grumberg, O., and Peled, D., 1999. Model checking. Cambridge, MA: The MIT press.
9. David, J.D., 1998. Applications and benefits of real-time I/O simulation for PLC and PC control systems. ISA Transactions, 36 (4), 305-311.
10. Development of Next Generation Technology, 2007 ( Digital progress simulator & OLP system for automobile part industry. Ajou University industry academic collaboration foundation.
11. Frey, G. and Litz, L., 2000. Formal methods in PLC programming. In: Proceedings of the IEEE conference on systems, man and cybernetics (SMC 2000), vol. 4, 8-11 October, Nashville, Tennessee, USA, 2431-2466.
12. Hibino, H., Inukai, T., and Fukuda, Y., 2006. Efficient manufacturing system implementation based on combination between real and virtual factory. International Journal of Production Research, 44 (18-19), 3897-3915. (Pubitemid 44181129)
13. Holloqy, L.E., Krogh, B.H., and Giua, A., 1997. A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems, 7 (2), 151-190. (Pubitemid 127510011)
14. Huang, H. and Yeh, C., 2005. Development of a virtual factory emulator based on three-tier architecture. In: Proceedings of the IEEE international conference on robotics and automation, vol. 3, 10-15 May Detroit, Michigan, 2434-2439.
15. IEC, 2003. Programmable controller -part 3: Programming languages. Publication 61131.3. International Electrotechnical Commission, Geveva.
16. Klein, S., Frey, G., and Minas, M., 2003. PLC programming with signal interpreted Petri nets. In: Applications and theory of Petri nets 2003. LNCS vol. 2679. Berlin: Springer, 440-449.
17. Kovacs, G.L., et al., 1999. Application of software reuse and object-oriented methodologies for the modeling and control of manufacturing systems. Computers in Industry, 39 (3), 177-189.
18. Lamprire-Couffin, S., et al., 1999. Formal verification of PLC programs: A survey. In: Proceedings of the ECC'99, 31 August -3 September Karlsruhe, Germany, paper no. 741.
19. Larsen, K.G., Petterson, P., and Yi, W., 1995. Compositional and symbolic model-checking of real-time systems. In: Proceedings of the 16th IEEE real-time systems symposium, 5-7 December, Pisa, Italy. Washington, DC: IEEE Computer Society, 76-89.
20. Michel, G., 1990. Programmable logic controllers: Architectures and application. Chichester, UK: Wiley.
21. Park, S.C., 2005. A methodology for creating a virtual model for a flexible manufacturing system. Computers in Industry, 56 (7), 734-746. (Pubitemid 41230992)
22. Park, C.M., et al., 2008. Simulation based control program verification in an automobile industry. In: Proceedings of the international conference on modelling, identification and control, 11-13 February. Innsbruck, Austria, 596-052.
23. Rumbaugh, J., et al., 1991. Object-oriented modeling and design. Englewood Cliffs, NJ: Prentice Hall.
24. Thapa, D., et al., 2006. Verification of PLC program using a generic intermediate language. In: Proceedings of the ICSCA, 5-8 May, ChongQing, China, 2956-2960.
25. Tempelmeier, H. and Kuhn, H., 1993. Flexible manufacturing systems. New York: John Wiley and Sons.
26. UDMTEK, 2008. PLC-StudioTM. Available from: Http://www.udmtek.com/eng/ frame/page/ products/plcstudio1.php [Accessed 14 February 2009].
27. Williams, H.X., 1999. Compact timed automata for PLC programs [online]. Technical report CSI-R9925. University of Nijmegen, Computing Science. Available from: Http:// www.cs.kun.nl/csi/reports/info/CSI-R9925.html [Accessed 18 May 2009].
28. Wonham, W.M., 2003. Notes on control of discrete event systems. Publication ECE 1636F/1637S 2003-2004. Systems Control Group, Dept. of ECE, University of Toronto.
29. Zhou, M.C. and Venkatesh, K., 1998. Modeling, simulation, and control of flexible manufacturing systems -a Petri net approach. Singapore: World Scientific.
30. Zhou, M.C. and Twiss, E., 1998. Design of industrial automated systems via relay ladder logic programming and Petri nets. IEEE Transactions on Systems Man and Cybernetics, 28 (1), 137-150. (Pubitemid 128748613)