A Formal Model Conversion Approach To Developing A DEVS-Based Factory Simulator  

Oleh:

Choi, Byoung-Kyu ; Park, Bum-Chul ; Park, Jeong-Hyeon

Jenis: Article from Journal - ilmiah internasional
Dalam koleksi: Simulation vol. 79 no. 8 (Aug. 2003), page 440-461.
Topik: Factory simulator; DEVS; JR-net; virtual prototyping; and virtual factory
Fulltext: 440.pdf (2.3MB)

Isi artikel

This article presents a model conversion approach to developing a 3D discrete event system specifi-cation (DEVS)-based factory simulator, in which the target automated manufacturing systems (AMS) are modeled by employing a job-resource relation network (JR-net), and this input JR-net model is systematically converted to a DEVS model. For this purpose, the JR-net modeling framework has been extended further to handle 3D geometric information while providing a formal specification of the JR-net. Also, a hierarchical DEVS model architecture and a systematic conversion method for converting a JR-net model into a DEVS model are proposed. Based on the proposed approach, a 3D factory simulator has been developed in C++ with OpenGL and a DEVS engine. The proposed factory simulator may be used as a virtual prototyping tool for designing new AMS. Its validity is demonstrated by constructing a virtual factory of a special type of AMS called a flexible manufacturing system.

Opini Anda

Klik untuk menuliskan opini Anda tentang koleksi ini!

Kembali