Architecture for modeling, simulation, and execution of PLC based manufacturing system

In this paper, we propose an integrated architecture for modeling, simulation, and execution of PLC (programmable logic controller) based manufacturing system. The main objective is to integrate the high level modeling, simulation, and device level executable code generation. This architecture can improve the fidelity between high level system model and lower level PLC controlled devices. In this paper, we model the shop floor controller system using DEVS (discrete event system specification) formalism, subsequently, simulate the model and generate SOP (sequence of operations). We added two algorithms in conventional DEVS, the first algorithm makes an interface between 3D graphic model and DEVS model, whereas, the second algorithm generates SOP. As a result, the generated SOP can be mapped with PLC I/O (input/output) address to generate an executable controller code. For the purpose of further validation and implementation, the generated program can be downloaded to software or hardware PLC.

[1]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[2]  Philippe Schnoebelen,et al.  Towards the automatic verification of PLC programs written in Instruction List , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[3]  Z. M. Wu.  Modelling and simulation of an intelligent flexible manufacturing system via high-level object Petri nets (HLOPN) , 2005 .

[4]  Sang C. Park.  A methodology for creating a virtual model for a flexible manufacturing system , 2005, Comput. Ind..

[5]  Byoung Kyu Choi,et al.  GK-DEVS: geometric and kinematic DEVS Formalism for simulation modeling of 3-dimensional multi-component systems , 2001 .

[6]  Dawn M. Tilbury,et al.  A study of current logic design practices in the automotive manufacturing industry , 2003, Int. J. Hum. Comput. Stud..

[7]  Gabriel A. Wainer,et al.  A Framework for Remote Execution and Visualization of Cell-DEVS Models , 2003, Simul..

[8]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[9]  B. Hawkins,et al.  A framework: , 2020, Harmful Interaction between the Living and the Dead in Greek Tragedy.

[10]  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 .

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

[12]  Devinder Thapa,et al.  III-Phase Verification and Validation of IEC Standard Programmable Logic Controller , 2006, 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06).