• Journal of the Korea Society for Simulation
• /
• v.6 no.1
• /
• pp.1-13
• /
• 1997

In this paper, we present a partitioning algorithm for distributed simulation of DEVS (Discrete Event System Specification) models. To preserve concurrency inherent in models, the proposed algorithm utilizes the structural information of models. Through benchmark simulation experiments, we show that the proposed algorithm can generate good partitions.

• Journal of the Korea Society for Simulation
• /
• v.5 no.1
• /
• pp.81-90
• /
• 1996

In this paper, we propose a new events ordering mechanism for the optimistic distributed simulation of DEVS models. To simulate DEVS models in a distributed environment, a synchronization protocol is required for correct simulation. Time Warp is the most well-known optimistic synchronization protocol for distributed simulation. However, employing the Time Warp protocol in distributed simulation of DEVS models incurs events ordering problem due to the semantic difference between Time Warp and DEVS, Thus, to resolve such semantic difference, we devise the time-and-priority-stamp and $\varepsilon$ -delay schemes. The proposed schemes can order simultaneous events correctly in Time Warp-based distributed simulation of DEVS models.Time Warp and DEVS, Thus, to resolve such semantic difference, we devise the time-and-priority-stamp and $\varepsilon$ -delay schemes. The proposed schemes can order simultaneous events correctly in Time Warp-based distributed simulation of DEVS models.

• Journal of the Korea Society for Simulation
• /
• v.14 no.1
• /
• pp.19-32
• /
• 2005

In this study, a distributed simulation of Petri net models under HLA/RTI framework is considered. Throughout our modeling experiences, it is recognized that the proper use of interface specification and time management services are important in order to achieve successful implementation of RTI. The interfacing tokens between Petri net models are distinguished as information entity and physical entity. Both entities are modeled as InteractionClass in order to send and receive messages. For the synchronization of local simulation clocks, a conservative method with NERA service is considered. A cell manufacturing system is modeled and implemented with RTI to illustrate the distributed simulation of Petri net models.

• Spatial Information Research
• /
• v.21 no.2
• /
• pp.45-54
• /
• 2013

Analytical and simulation error models have the ability to describe (or realize) error-corrupted versions of spatial data. But the different approaches for modeling positional errors require an internal validation that ascertains whether the analytical and simulation error models predict correct positional errors in a defined set of conditions. This paper presents stochastic simulation models of a point and a line segm ent to be validated w ith analytical error models, which are an error ellipse and an error band model, respectively. The simulation error models populate positional errors by the Monte Carlo simulation, according to an assumed error distribution prescribed by given parameters of a variance-covariance matrix. In the validation process, a set of positional errors by the simulation models is compared to a theoretical description by the analytical error models. Results show that the proposed simulation models realize positional uncertainties of the same spatial data according to a defined level of positional quality.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.10a
• /
• pp.423-428
• /
• 1995

Simulation models have been developed to predict the overall behavior of the CANDU plant systems during normal operational transients. For real time simulation purpose, simplified thermal hydraulic models are applied with appropriate system control logics, which include primary heat transport system solver with its component models and secondary side system models. The secondary side models are mainly used to provide boundary conditions for primary system calculation and to accomodate plant power control logics. Also, for the effective use of simulation package, hardware oriented basic simulation network has been established with appropriate graphic display system. Through validation with typical plant power maneuvering cases using proven plant performance analysis computer code, the present simulation package shows reasonable capability in the prediction of the dynamic behavior of plant variables during operational transients of CANDU plant, which means that this simulation tool can be utilized as a basic framework for full scope simulation network through further improvements.

• 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.

• Journal of Astronomy and Space Sciences
• /
• v.27 no.4
• /
• pp.407-412
• /
• 2010

Software reusability is one of key factors which impacts cost and schedule on a software development project. It is very crucial also in satellite simulator development since there are many commercial simulator models related to satellite and dynamics. If these models can be used in another simulator platform, great deal of confidence and cost/schedule reduction would be achieved. Simulation model portability (SMP) is maintained by European Space Agency and many models compatible with SMP/simulation model interface (SMI) are available. Korea Aerospace Research Institute (KARI) is developing hardware abstraction layer (HAL) supported satellite simulator to verify on-board software of satellite. From above reasons, KARI wants to port these SMI compatible models to the HAL supported satellite simulator. To port these SMI compatible models to the HAL supported satellite simulator, simulation scheduler is preliminary designed according to the SMI standard.

• Journal of the Korea Society for Simulation
• /
• v.8 no.4
• /
• pp.9-24
• /
• 1999

We describe a heterogeneous simulation framework, so called DEVS-HLA, in which conventional simulation models and the DEVS (Discrete Event System Specification) models are interoperable. DEVS-HLA conceptually consists of three layers: model layer, DEVS BUS layer, and HLA (High Level Architecture) layer. The model layer has a collection of heterogeneous simulation models, such as DEVS, CSIM, SLAM, and so on, to represent various aspects of a complex system. The DEVS BUS layer provides a virtual software bus, DEVS BUS, so that such simulation models can communicate with each other. Finally, the HLA layer is employed as a communication infrastructure, which supports several good features for distributed simulation. The DEVS BUS has been implemented on the HLA/RTI (Run-Time Infrastructure) and a simple example of a flexible manufacturing system has been developed to validate the DEVS-HLA.

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

Web-based simulation is one of the most interesting field of simulation research today. Among many research area of web-based simulation, we concern about what a effective way of building simulation model is since creating comprehensive simulation models can be expensive and time consuming. So this paper discusses how to integrate distributed simulation sub-models as objects for constructing the required simulation model which is more large and complex. We introduce two web-oriented methodologies (such as JIDL, CORBA) and the concepts of agent for assisting modelers to integrate simulation models scattered over the web. SINDBAD, which we designed, is a simulation environment which makes it possible constructing a simulation model with distributed model objects on the web and performing the parallel simulation in a distributed way. It is organized according to design patterns in the object oriented concept. Actually we are on the premise that all the distributed objects are originally composed in a CORBA-compatible way to start with our prototype of SINDBAD.

• Journal of the Korea Society for Simulation
• /
• v.21 no.3
• /
• pp.35-42
• /
• 2012

Defense Modeling and Simulation aims to provide a computerized war environment where we can analyze weapon systems realistically. As we invest significant efforts to represent weapon systems and their operational environments on the computer, there has been an increasing need to reuse predefined weapon models. In this paper, we introduce OB-Cloud (Ontology-Based Cloud storage) to utilize predefined weapon models. OB-Cloud has been implemented as a repository for OpenSIM (Open Simulation engine for Interoperable Models), which is an integrated simulation environment for aiding weapons effectiveness analysis, under the development of our research team. OB-Cloud uses weapon ontology and thesaurus dictionaries to provide semantic search for reusable models. In this paper, we present repository services of OB-Cloud, including registration of weapon models and semantic retrieval of similar models, and illustrate how we can improve reusability of weapon models, through an example.