Plant model generation for PLC simulation

This paper reports an automated procedure for constructing a plant model for PLC simulation. Since PLC programs contain only the control logic without information on the plant model, it is necessary to build the corresponding plant model to perform the simulation. Conventionally, a plant model for PLC simulation has been constructed manually, which requires much effort and in-depth knowledge of the simulation. As a remedy for this problem, we propose an automated procedure for generating a plant model from the symbol table of a PLC program. To do so, we propose a naming rule for PLC symbols so that the symbol names include sufficient information on the plant model. By analysing such symbol names, we extract a plant model automatically. The proposed methodology has been implemented and test runs performed.

[1]  Massimo Pacella,et al.  Object-oriented modeling and simulation of flexible manufacturing systems: a rule-based procedure , 2002, Simul. Model. Pract. Theory.

[2]  Agustín Rullán.  Programmable logic controllers versus personal computers for process control , 1997 .

[3]  Yoshiro Fukuda,et al.  Efficient manufacturing system implementation based on combination between real and virtual factory , 2006 .

[4]  Kazuaki Iwata,et al.  A Modelling and Simulation Architecture for Virtual Manufacturing Systems , 1995 .

[5]  Xing Lan,et al.  A Systematic Procedure for Designing State Combination Circuits in PLCs , 1999 .

[6]  Pär Klingstam,et al.  Overview of simulation tools for computer-aided production engineering , 1999 .

[7]  Wang Yi,et al.  A Tool Architecture for the Next Generation of Uppaal , 2002, 10th Anniversary Colloquium of UNU/IIST.

[8]  René David,et al.  Petri nets for modeling of dynamic systems: A survey , 1994, Autom..

[9]  Kazuaki Iwata,et al.  Development of a Virtual Manufacturing System by Integrating Product Models and Factory Models , 1993 .

[10]  Murat Uzam,et al.  Discrete event control system design using automation Petri nets and their ladder diagram implementation , 1998 .

[11]  K. Ridgway,et al.  An integrated modelling method to support manufacturing systems analysis and design , 1999 .

[12]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[13]  MengChu Zhou,et al.  Design of industrial automated systems via relay ladder logic programming and Petri nets , 1998, IEEE Trans. Syst. Man Cybern. Part C.

[14]  Yi Xian-qing.  An Integrated Modeling Method to Support the C4ISR Systems Research , 2003 .

[15]  R. Kretschmann,et al.  INTERNATIONAL ELECTROTECHNICAL COMMISSION TECHNICAL COMMITTEE No. 65B: INDUSTRIAL-PROCESS MEASUREMENT AND CONTROL WORKING GROUP 7/TASK FORCE 3: PROGRAMMING LANGUAGES FOR PROGRAMMABLE CONTROLLERS (IEC 61131-3, -8) MINUTES OF MEETING , 2007 .

[16]  David J. Dougall.  Applications and benefits of real-time simulation for PLC and PC control systems , 1997 .

[17]  Georg Frey.  Automatic implementation of Petri net based control algorithms on PLC , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[18]  Jaejin Jang,et al.  Application of design and control tools in a multirobot cell , 1997 .

[19]  Pau-Lo Hsu,et al.  A PLC-based design for the sequence controller in discrete event systems , 2000, Proceedings of the 2000. IEEE International Conference on Control Applications. Conference Proceedings (Cat. No.00CH37162).

[20]  S. Manesis,et al.  Automated synthesis of Ladder automation circuits based on state-diagrams , 2005, Adv. Eng. Softw..