• Journal of the Korea Society for Simulation
• /
• v.1 no.1
• /
• pp.64-76
• /
• 1992

The DEVS(discrete event system specificaition) formalism specifies a discrete event system in a hierarchical, modular form. DEVSIM++ is a C++based general purpose DEVS abstract simulator which can simulate systems modeled by the DEVS formalism in a sequential environment. This paper describes P-DEVSIM++which is a parallel version of DEVSIM++ . In P-DEVSIM++, the external and internal event of DEVS models can by processed in parallel. For such processing, we propose a parallel, distributed optimistic simulation algorithm based on the Time Warp approach. However, the proposed algorithm localizes the rollback of a model within itself, not possible in the standard Time Warp approach. An advantage of such localization is that the simulation time may be reduced. 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.

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

As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.24 no.2
• /
• pp.15-25
• /
• 2018

Purpose: The important things in space plan of a screening center are improving the spatial awareness by space systemization and minimizing the examination time for customers, and reducing the required time of screening work and maximizing the capacity for the screening center. Therefore, we tried to solve the problem of improving spatial awareness and reducing the examination time by using the pedestrian based discrete event simulation at the minimum cost. Methods: We have analyzed the drawbacks and the supplement points by comparing the floor plan at the time of opening and the current floor plan. Based on the analysis, we propose an improved plan which changes the location of the examination rooms and the number of services, and we also verify the improved plan based on simulation analyses. Results: 1) Through the analyses, we derived the drawbacks of the floor plan at the time of opening, and we realized that the current floor plan reflects the drawbacks. 2) The major reasons of the long examination time are the human traffic jam and the occurrence of queues due to unreasonable allocation of services. 3) Through the discrete event simulation analyses, it was possible to specify the place of the queues manually so as to use the given space fairly. 4) Using the discrete event simulation, it was possible to reduce the examination time and to improve the spatial awareness effectively at the minimum cost. Implications: Although the proposed simulation methodology in this paper is an analysis of the existing screening center, we expect that the proposed methodology will be used to develop a more efficient architectural design process by pre-applying the method to the course of designing a screening center and finding the suitability of the proposed method with the matched number of services.

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

• Journal of Information Processing Systems
• /
• v.17 no.1
• /
• pp.28-36
• /
• 2021

This paper proposes two novel methods to model and simulate a mobile Internet of Things (IoT) system using the discrete event system specification (DEVS) formalism. In traditional simulation methods, it is advantageous to partition the simulation area hierarchically to reduce simulation time; however, in this case, the structure of the model may change as the IoT nodes to be modeled move. The proposed methods reduce the simulation time while maintaining the model structure, even when the IoT nodes move. To evaluate the performance of the proposed methods, a prototype mobile IoT system was modeled and simulated. The simulation results show that the proposed methods achieve good performance, even if the number of IoT nodes or the movement of IoT nodes increases.

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

Discrete event system specification (DEVS) has been used in many simulations including hybrid systems featuring both discrete and continuous behavior that require a lot of time to get results. Therefore, in this study, we proposed the acceleration of a DEVS-based hybrid system simulation using multi-cores and GPUs tightly coupled computing. We analyzed the proposed heterogeneous computing of the simulation in terms of the configuration of the target device, changing simulation parameters, and power consumption for efficient simulation. The result revealed that the proposed architecture offers an advantage for high-performance simulation in terms of execution time, although more power consumption is required. With these results, we discovered that our approach is applicable in hybrid system simulation, and we demonstrated the possibility of optimized hardware distribution in terms of power consumption versus execution time via experiments in the proposed architecture.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.24 no.10B
• /
• pp.1852-1860
• /
• 1999

This paper studied performance of the AAL2 for variable rate real time services in ATM network with discrete-time simulation model. In this simulation, input parameters are packet fill delay for AAL2 PDU generation, guard time for ATM cell generation, burstness and number of channels. Though variation of the above mentioned parameters, we obtained end-to end delay variations and throughput, analyzed performance effect of the each parameter for voice packet service.

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.4
• /
• pp.134-140
• /
• 1998

The authors have shown that the performance of discrete-time observer-based monitoring systems can be represented by the performance index k$_2$(P) (condition number of the eigensystem P of the observer matrix in terms of L$_2$ norm). The observers with the minimized performance index can be defined as robust observers in the sense that the observer performance can be guaranteed in harsh environments. In this paper, based on the performance index, a design methodology for the robust discrete-time observer is developed. Similar to the continuous-time case, the methodology determines the structure and eigenvalues of the observer matrix simultaneously. A complete design procedure is given for single-output case and is illustrated with a spindle-driver example. The simulation results demonstrate the improved performance compared with a traditional pole-placement observer technique.

• Journal of Power System Engineering
• /
• v.9 no.4
• /
• pp.175-180
• /
• 2005

Incorrections between model and plant are parameter, system order uncertainties and modeling error due to disturbance like friction. Therefore to achieve a good tracking performance, adaptive discrete time sliding mode tracking controller is used under time-varying desired position. Based on the diophantine equation, a new discrete time sliding function is defined and utilized for the control law. Robustness is increased by using both a recursive least-square method and a sliding function-based nonlinear feedback. The effectiveness of the proposed control algorithm is proved by the results of simulation and experiment.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.20 no.44
• /
• pp.153-161
• /
• 1997

This paper has proposed the modelling by simulation in order to evaluate the performance of process through discrete event simulation using SIMAN language in flexible manufacturing systems. The production system is assumed to be a job shop type of system under the batch production of discrete products. In this paper, the input data is the workstation(process) time, the number of workstation(process), a probability distribution, the number of simulation runs. Also, transient period is considered. In the case study, this paper deals with three products in real flexible manufacturing systems. Finally, a number of simulation runs were executed under different experimental conditions to obtain preliminary statistics on the following performance measures: operating rate of facility and average system operating rate, transient period, central processing unit, average system throughput, and average waiting time in queues.