PLCStudio: Simulation based PLC code verification

Proceedings - Winter Simulation Conference

Volumn , Issue , 2008, Pages 222-228

  Park, Sang C ^a   Park, Chang Mok ^a   Wang, Gi Nam ^a   Kwak, Jongeun ^a   Yeo, Sungjoo ^a  

^a Ajou University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

3D GRAPHIC; A PLANTS; CODE VERIFICATIONS; CONTROL LOGIC; DISCRETE EVENT MODELS; DISCRETE EVENT SYSTEMS SPECIFICATIONS; EFFICIENT CONSTRUCTIONS; MANUFACTURING DEVICES; PLANT MODELS; PLC PROGRAMMING; PLC PROGRAMS; PRODUCTION SYSTEMS; PROPOSED ARCHITECTURES; SIMULATION-BASED; VIRTUAL DEVICE MODELS; VIRTUAL PLANT MODELS; VISUAL VERIFICATIONS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; HIERARCHICAL SYSTEMS; PRODUCTION ENGINEERING; SPECIFICATIONS; THREE DIMENSIONAL; VIRTUAL REALITY;

CONCURRENCY CONTROL;

EID: 60749116630     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2008.4736071     Document Type: Conference Paper

References (19)

1. C. P. Chuang, X, Lan, J. C. Chen, A systematic procedure for designing state combination circuits in PLCs, Journal of Industrial Technology, 1999;15(3):2-5.
2. S. Manesis, K. Akantziotis, Automated synthesis of ladder automation circuits based on state-diagrams, Advances in Engineering Software, 2005;36:225-233.
3. A. Rullan, Programmable logic controllers versus personal computers for process control, Computers and Industrial Engineering, 1997;33:421-424.
4. J. Jang, P. H. Koo, S. Y. Nof, Application of design and control tools in a multirobot cell, Computers and Industrial Engineering, 1997;32:89-100.
5. P. Klingstam, P. Gullander, Overview of simulation tools for computer-aided production engineering, Computers in Industry, 1999;38:173-186.
6. A. M. A. Al-Ahmari, K. Ridgway, An integrated modeling method to support manufacturing system analysis and design, Computers in Industry, 1999;38:225-238.
7. B. P. Zeigler, Multifacetted modeling and discrete event simulation, Academic Press, Orland, 1984.
8. T. G. Kim, DEVSIM++ User's Manual, Department of Electrical Engineering, KAIST, Korea, 1994.
9. M. P. Groover, Fundamentals of modern manufacturing, Wiley, 2006.
10. B.K. Choi, B.H. Kim, New trends in CIM: Virtual manufacturing systems for next generation manufacturing, Current Advances in Mechanical Design and Production Seventh Cairo University Int. MDP Conf, Cairo, February 15-17, 2000,425-436
11. M. Onosato, K. Iwata, Development of a virtual manufacturing system by integrating product models and factory models, CIRP, 1993;42(l):475-478.
12. K, Iwata, M. Onosato, K. Teramoto, S. Osaki, A modeling and simulation architecture for virtual manufacturing systems, CIRP, 1995;44(l):399-402.
13. nd Int. Conf, on Computer and Industrial Engineering, 1997/12/20, 304-306
14. Anglani A, Grieco A, Pacella M, Tolio T. Object-oriented modeling and simulation of flexible manufacturing system: a rule-based procedure, Simulation Modeling Practice and Theory, 2002;10:209-234.
15. G. Fray, Automatic implementation of Petri net based control algorithms on PLCs, Proceedings of the American control conference ACC 2000, Chicago; 2000, 2819-23.
16. J. S. Lee, P. L. Hsu, A PLC-based design for the sequence controller in discrete event systems, Proceedings of the 2000 IEEE International conference on Control Applications, Anchorage; 2000, 929-34.
17. M. A. Jafari, T. O. Boucher, A rule-based system for generating a ladder logic control program from a high level system model, Journal of Intelligent Manufacturing Systems, 1994 ;5 :103-120.
18. D. Alexandre, B. Gerd, G. L. Kim, Y. Wang, A tool architecture for the next generation of UPPAAL, http://www.uppaal.com; 2003
19. G. L. Kim, P. Paul, Y. Wang, UPPAAL in a nutshell, International Journal on Software Tools for Technology Transfer, 1997;1(1+2):134-152.