• ETRI Journal
• /
• 제37권1호
• /
• pp.175-185
• /
• 2015

This paper presents a system-of-systems (SoS) approach to the formal modeling of a cyber-physical system (CPS) for simulation-based analysis. The approach is based on a convergence technology for modeling and simulation of a highly complex system in which SoS modeling methodology, hybrid systems modeling theory, and simulation interoperation technology are merged. The methodology maps each constituent system of a CPS to a disparate model of either continuous or discrete types. The theory employs two formalisms for modeling of the two model types with formal specification of interfaces between them. Finally, the technology adapts a simulation bus called DEVS BUS whose protocol synchronizes time and exchange messages between subsystems simulation. Benefits of the approach include reusability of simulation models and environments, and simulation-based analysis of subsystems of a CPS in an inter-relational manner.

• 대한교통학회지
• /
• 제14권1호
• /
• pp.101-116
• /
• 1996

Increased attention has been paid in recent years to the need of traffic management for alleviating urban traffic congestion. This paper presents a discrete event modeling and simulation framework for analyzing the traffic flow. Traffic simulation models can be classified as being either microscopic and macroscopic models. The discrete event modeling and simulation technique can be basically employed to describe the macroscopic traffic simulation model. To do this, we have employed the System Entity Structure/Model Base (SES/MB) framework which integrates the dynamic-based formalism of simulation with the symbolic formalism of AI. The SES/MB framework supports to hierarchical, modular discrete event modeling and simulation environment. We also adopt the Symbolic DEVS (Discrete Event System Specification) to developed the automated analysis methodology for generating optimal signal light policy. Several simulation tests will demonstrates the techniques.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제4권3호
• /
• pp.211-227
• /
• 2012

To implement a combined discrete event and discrete time simulation such as submarine diving simulation in a distributed environment, e.g., in the High Level Architecture (HLA)/Run-Time Infrastructure (RTI), a HLA interface, which can easily connect combined models with the HLA/RTI, was developed in this study. To verify the function and performance of the HLA interface, it was applied to the submarine dive scenario in a distributed environment, and the distributed simulation shows the same results as the stand-alone simulation. Finally, by adding a visualization model to the simulation and by editing this model, we can confirm that the HLA interface can provide user-friendly functions such as adding new model and editing a model.

• 한국시뮬레이션학회논문지
• /
• 제21권1호
• /
• pp.27-34
• /
• 2012

본 논문의 목적은 복잡한 군수지원시스템의 모델링과 시뮬레이션을 위한 방법론을 제안하는 것이다. 제안하는 군수지원시스템 시뮬레이션 모델을 구성하는 요소들은 세 가지가 있다 : Logistics force agent(static model), Military supplies transport manager(function model), Military supplies state manager(dynamic model). Logistics force agent는 main function agent와function agent로 구성된다. Function agent가 다른 Logistics force agent에도 적용할 수 있도록 설계되었으며, 이는 에이전트의 높은 조합성과 재사용성을 가진다. Military supplies transport manager는 보급로에 대한 정보를 가지며 military supplies state manager로부터 받은 결정변수를 기반으로 보급로를 결정하고 군수품을 수송하는 역할을 하는 에이전트이다. Military supplies state manager는 군수품 보급을 요청받고 보급량, 우선순위 따위의 결정 변수를 military supplies transport manager에게 알려주는 역할을 한다. 본 논문에서는 군수 시뮬레이션 모델의 설계를 위해 Discrete Event Systems Specification(DEVS) formalism을 이용하였다.

• Journal of Computational Design and Engineering
• /
• 제1권4호
• /
• pp.233-242
• /
• 2014

A magnetically levitated vehicle (Maglev) system is under commercialization as a new transportation system in Korea. The Maglev is operated by an unmanned automatic control system. Therefore, the plan of train operation should be carefully established and validated in advance. In general, when making a train operation plan, statistically predicted traffic data is used. However, a traffic wave often occurs in real train service, and demand-driven simulation technology is required to review a train operation plan and service quality considering traffic waves. We propose a method and model to simulate Maglev operation considering continuous demand changes. For this purpose, we employed a discrete event model that is suitable for modeling the behavior of railway passenger transportation. We modeled the system hierarchically using discrete event system specification (DEVS) formalism. In addition, through implementation and an experiment using the DEVSim++ simulation environment, we tested the feasibility of the proposed model. Our experimental results also verified that our demand-driven simulation technology can be used for a priori review of train operation plans and strategies.

• 한국멀티미디어학회논문지
• /
• 제20권7호
• /
• pp.1090-1101
• /
• 2017

This study analyzes spatial density and integration of Space Syntax and Discrete Event Simulation (DEVS) of complex system theory and analyzes spatial structure by property, type and depth. The aim of this study is to secure the validity of the theoretical application. The study evaluated the correlation between spatial density and integration by setting up eight types of analysis models. In addition, analyzed the correlation of structural characteristics and approached the application of discrete event simulation of spatial syntax theory. It is confirmed that the concept of integration of spatial syntax theory and analysis using discrete event simulation are valid as new spatial analysis methodology. Also expect that realistic and concrete predictions will be possible if discrete event simulation evolves into research for space allocation and space efficiency optimization.

• 한국시뮬레이션학회논문지
• /
• 제8권2호
• /
• pp.87-100
• /
• 1999

A manufacturing environment without a computerized system causes numerous problems, since many important decisions are made based on the experience of veteran staffs. Especially, when a strategy for the improvement of manufacturing efficiency is considered, it is hard to predict the effect of the strategy. A solution to the problem without large investment of the computerized system is the simulation study. This paper shows the modeling and simulation based on DEVS(Discrete Event System Specification). Two types of models are implemented, one for representing the current production strategy and the other for the new strategy. The new strategy is expressed as priority rules within the model. The process in concern is the metal grating production process in which the size of the group, for applying a specific cutting and scheduling strategies, is one of the important factors in improving the production efficiency. Some reliable criteria for the evaluation related to the production effeciency are established from the simulation study.

• 한국시뮬레이션학회논문지
• /
• 제13권4호
• /
• pp.43-53
• /
• 2004

The distributed OCSP (Online Certificate Status Protocol), composed of multiple responders, is a model that enhances the utilization of each responder and reduces the response time. In a multi-user distributed environment, load balancing mechanism must be developed for the improvement of the performance of the whole system. Conservative load balancing algorithms often ignore the communication cost of gathering the information of responders. As the number of request is increased, however, fail to consider the communication cost may cause serious problems since the communication time is too large to disregard. We propose an adaptive load balancing algorithm and evaluate the effectiveness by performing modeling and simulation. The principal advantage of new algorithm is in their simplicity: there is no need to maintain and process system state information. We evaluated the quality of load balancing achieved by the new algorithm by comparing the queue size of responders and analyzing the utilization of these responders. The simulation results show how efficiently load balancing is done with the new algorithm.

• 한국시뮬레이션학회논문지
• /
• 제7권2호
• /
• pp.1-16
• /
• 1998

This paper presents an automated methodology for campus network design and performance analysis using the rule-based SES and DEVS modeling & simulation techniques. Proposed methodology for structural design and performance analysis can be utilized not only in the early stage of network design for selecting configurable candidate from all possible design alternatives, but also in simulation verification for generating performance data. Our approach supercedes conventional methodologies in that, first, it can support the configuration automation by utilizing the knowledge of design expert ; second, it can provide the simulation-based performance evaluation ; third, it is established on the basis of the well-formalized framework so that it can support a hierarchical and modular system design. Several simulation tests performed on a campus network example will illustrate our technique.

• 대한조선학회논문집
• /
• 제61권3호
• /
• pp.152-160
• /
• 2024

In the event of a maritime accident, search plans have traditionally been planned using experiential methods. However, these approaches cannot guarantee safety when the scale of a maritime accident increases. Therefore, this study proposes a model utilizing discrete event simulation (DES) to predict the diving time for compartment searches of a ship located on the seabed. The discrete event simulation model was created by applying the DEVS formalism. The M/V Sewol sinking was used as an example to simulate how to effectively navigate compartments of different sizes. The simulation results showed the optimal dive time with the number of decompression chambers needed to navigate the compartment as a variable. Based on this, we propose a methodology for efficient navigation planning while ensuring diver safety.