• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.10a
• /
• pp.24-29
• /
• 1999

Proposed in this paper is a modeling and simulation methodology for a virtual manufacturing environment. Based on DEVS formalism[Zeigler 76], the proposed model, so called GKDEVS, is designed to descript the geometrical knematic structure as well as event-driven and continuous state dynamics. In terms of abstract simulation algorithm[Zeigler 84], the simulation method of GKDEVS is proposed for combined discrete-continuous simulation. Using the GKDEVS, and FMS model consisting of a turing machine, a 3-axis machine and a RGV-mounted robot is constructed and simulated.

• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.219-227
• /
• 2008

The DEVS (Discrete Event Systems Specification) formalism supports specification of discrete event models in a hierarchical modular manner. MATLAB/Simulink is widely used for modeling, simulating and analyzing continuous and discrete time systems. This paper proposes a realization of the DEVS formalism in MATLAB/ Simulink. The proposed design enables to use a great amount of mathematical packages and functions included in MATLAB /Simulink. The design is also employed as real time simulation and hybrid system simulation which is a mixture of continuous systems and discrete event systems. The paper introduces Simulink-DEVS model, in which a simulation algorithm is embedded. The model consists of a Simulink-atomic model and a Simulink-coupled model. In addition, the time advance algorithm to simulate the model is suggested. The algorithm handles the time synchronization and the accommodation of different concepts specific to continuous and discrete event models. Two experimental results are presented for a pure discrete event model and a hybrid model.

• Korean Journal of Computational Design and Engineering
• /
• v.18 no.2
• /
• pp.138-147
• /
• 2013

The liquefaction process system is regarded as primary among all topside systems in LNG FPSO. This liquefaction process system is composed of many types of equipment. LNG equipment on offshore plants has quite different demands on the equipment compared to traditional onshore LNG plants, so the reliability analysis of this process system needs to be performed. This study investigates how DEVS formalism for discrete event simulation can be used to reliability analysis of the liquefaction cycle for LNG FPSO. The reliability analysis method based on DEVS formalism could be better model for reflecting the system configuration than the conventional reliability analysis methods, such as fault tree analysis and event tree analysis.

• Journal of Biomedical Engineering Research
• /
• v.16 no.4
• /
• pp.415-424
• /
• 1995

Combined models, specified by two or more modeling formalisms, can represent a wide variety of complex systems. This paper describes a methodology for the development of combined models in two model types of discrete event and continuous process. The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. This paper proposes a formal structure which can combine model of the DES and the CS within a framework. The structure employs the DEVS formalism for the DES models and differential or polynomial equations for the CS models. To employ the proposed structure to specify a DEVS/CS combined model, a modeler needs to take the following steps. First, a modeler should identify events in the CS and transform the states of the CS into the DES. Second, a modular employs the formalism to specify the system as the DES. Finally, a moduler developes sub-models for the CS and continguos states of the DES and establishs one-to-one correspondence between the sub-models and such states. The proposed formal structre has been applied to develop a DEVS/CS combined model for the human cardiovascular system. For this, the cardiac cycle is partitioned into a set of phases based on events identified through observation. For each phase, a CS model has been developed and associated with the phase. To validate the DEVS/CS combined model developed, then simulate the model in the DEVSIM + + environment, which is a model simulation results with the results obtained from the CS model simulation using SPICE. The comparison shows that the DEVS/CS combined model adequately represents dynamics of the human heart system at each phase of cardiac cycle.

• Journal of the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.37-44
• /
• 2018

In applying modeling and simulation (M&S) techniques to analyze complex discrete event dynamic systems, conventionally users had to use different simulation environments depending on the user-level. To solve the inconvenience, this paper proposes an integrated development environment for M&S depending on user-level and a formalized interface to manage the model in the development environment efficiently. The interface consists of an extended DEVS formalism and model making rules. The development environment is divided into a modeling environment and a simulation environment. In the modeling environment, three modeling methods are provided for each level of the users. Users inputs several parameters to the model generated as a result of the modeling process, and experiments in various cases by using the simulation environment. The case study shows the implementation of the proposed M&S environment, and using the implemented environment, it shows the M&S process of the complex defense combat system.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.03a
• /
• pp.38-42
• /
• 1998

본 논문에서는 DEVS 형식론과 High Level Architecture에 기반을 둔 이 기종 시뮬레이션 환경의 구축에 대해 기술한다. DEVS 형식론은 여러 가지 방법으로 기술된 모델들을 동일한 형식론으로 간주하기 위해 사용되었다. 즉, 이산사건 모델링을 위한 세가지 세계관(world view)으로 기술된 시뮬레이션 모델들을 DEVS 형식론으로의 변환을 통해 전체적으로는 DEVS 형식론만을 사용한 것과 동일한 형태로 표현되도록 하였다. High Level Architecture는 시뮬레이션 수행시의 상호 연동성을 보장하기 위해 사용되었다. 이때, DEVS 형식론과 High Level Architecture에서의 시뮬레이션 시간 진행 방법이 다르기 때문에 이의 해결을 Synchronizer, EOS 방법을 제안하였다.

• The Journal of the Korea Contents Association
• /
• v.6 no.11
• /
• pp.258-265
• /
• 2006

DEVS formalism is advantageous in modeling large-scale complex systems and it reveals good readability, because it can specify discrete event systems in a hierarchical manner. In contrast, it has drawback in that the simulation speed of DEVS models is comparably slow since it requires frequent message passing between the component models in run-time. This paper proposes a method, called model composition, for simulation speedup of DEVS models. The method is viewed as a compiled simulation technique which eliminates run-time interpretation of communication paths between component models. Experimental results show that the simulation speed of transformed DEVS models is about 18 times faster than original ones.

• Journal of the Korea Society for Simulation
• /
• v.5 no.2
• /
• pp.41-58
• /
• 1996

The Discrete Event Systems Specification(DEVS) formalism specifies a discrete event system in a hierarchical, modular form. This paper presents a distributed simulation environment D-DEVSim++ for models specified by the DEVS formalism. D-DEVSim++ employs a new simulation scheme which is a hybrid algorithm of the hierarchical simulation and Time Warp mechanisms. The scheme can utilize both the hierarchical scheduling parallelism and the inherent parallelism of DEVS models. This hierarchical scheduling parallelism is investigated through analysis. Performance of the proposed methodology is evaluated through benchmark simulation on a 5-dimensional hypercube parallel machine. The performance results indicate that the methodology can achieve significant speedup. Also, it is shown that the analyzed speedup for the hierarchical scheduling time corresponds the experiment.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.5-5
• /
• 1992

The DEVS(discrete event system specification) formalism describes a discrete event system in a hierarchical, modular form. DEVSIM++ is C++ based general purpose DEVS abstract simulator which can simulate systems to be modeled by the DEVS formalism in a sequential environment. We implement P-DEVSIM++ which is a parallel version of DEVSIM++. In P-DEVSIM++, the external and internal event of models can be processed in parallel. To process in parallel, we introduce a hierarchical distributed simulation technique and some optimistic distributed simulation techniques. But in our algorithm, the rollback of a model is localized itself in contrast to the Time Warp approach. To evaluate its performance, we simulate a single bus multiprocessor architecture system with an external common memory. Simulation result shows that significant speedup is made possible with our algorithm in a parallel environment.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• pp.253-258
• /
• 2002

This paper proposes a methodology for development of protocol models. The methodology attempts to employ two modeling environments in models development, NS2 and DEVSim++, which will interoperate during simulation. NS2 is a widely used network simulator in protocol research, which employs an informal modeling approach. Within the approach time and state information of protocol models are not explicitly described, thus being hard to validate model. On the other hand the DEVS formalism is a mathematical framework for modeling a discrete event system in a hierarchical, modular manner. In DEVS, model's time and state information is described explicitly, By using DEVS formalism, models can easily be validated and errors in the modeling stage can be reduced. However, the DEVS simulator, DEVSim++, supports a small amount of models library which are required to build simulation models of general communication network. Although NS2 employs an informal modeling approach and models validation is difficult, it supports abundant models library validated by experimental users. Thus, combination of DEVS models and NS2 models may be an effective solution for network modeling. Such combination requires interoperation between DEVSim++ simulator and NS2 simulator. This paper develops an environment for such interoperation. Correctness and effectiveness of the implemented interoperation environment have been validated by simulation of UDP and TCP models.