• 한국시뮬레이션학회논문지
• /
• 제8권4호
• /
• pp.137-154
• /
• 1999

In this paper, we propose a software design method that will track the effects of modifications in a component to the rest of the components in the design phase. The prediction of the effects due to the design modifications before coding can be a valuable aid for the complex and large software development. Within the method, the target system is represented by the structured I/O system level specification which is one of the system representation level defined by the system theory. Then it is abstracted to the I/O system level. The DEVS (Discrete Event System Specification) model is constructed based on tile I/O system level specification. Finally, the DEVS model is simulated to generate the behavior of the software by the abstract simulator in DEVS simulation environment. As an application, the graphic user interface system of a metal grating production scheduling system is presented.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 1999년도 추계학술대회논문집
• /
• pp.35-42
• /
• 1999

In order to cope with the changes of container terminal situation in these days, many simulation studies for container terminal have been accomplished. But established simulation studies using simulation language have restrictions in model representation and difficulties in modeling of large scaled container terminal system. To make these problems better, in this paper addresses object-oriented simulation of container terminal system using a DEVS formalism. In a step of system modeling, using a DEVS formalism aim at the exact system modeling that has a basis of semantics and utilizing the object-oriented manner can flexibly cope with the changes of system environment. In this study a model was developed and verified through the simulation of some alternatives.

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

본 논문에서는 공항 정밀접근 항공기의 안전성을 증대시키기 위한 방법으로 S/W 패킷모뎀을 이용한 PAR 관제 자동화 방안을 제안하고, DEVS 형식론을 이용하여 제안하는 시스템의 기능을 검증하였다. 기존의 PAR 관제는 음성으로 항공기를 통제함으로써 조종사의 정보 획득 능력이 떨어질 수 있다. 이를 해결하기 위하여 디지털 신호에 의한 자동 관제 시스템을 제안하고, 공항의 PAR이 추적하고 있는 항공기의 비행경로, 강하각, 거리를 조종사에게 실시간으로 전송해 주고 일반화함으로서 관제사의 숙련도와 관제 특성에 기인하는 요소를 배제할 수 있다. 제안된 시스템의 동작을 검증하기 위하여 확장된 DEVS 형식론인 C-DEVS 형식론을 사용하고, 하나의 모델로 합성된 원자 모델을 통해 시스템의 전체 상태 시퀀스를 검색하여 시스템의 안전성(Safeness)과 필연성(Liveness)을 검증할 수 있다. 제안하는 시스템의 C-DEVS 모델을 기존의 음성 관제 시스템과 비교하여 두 시스템이 동일한 상태 시퀀스를 가짐을 확인하였으며, 모든 상태를 검증함으로써 실제 상황에 적용할 수 있을 것으로 생각된다.

• 한국군사과학기술학회지
• /
• 제10권3호
• /
• pp.90-99
• /
• 2007

The DEVS formalism has the well-defined relationship between its model and simulator. However, it does not define the connection between its model and experimental frame needed when a simulator's implemented with it. So, in most DEVS based simulators, the modules of the two parts are tangled, so that changing and reusing them is not easy. This paper proposes a method to improve the changeability of the experimental frame and the reusability of the model by modularizing the two parts using the AOP technology. I applied the new method to a real project, and the result shows that it improves the two qualities effectively than before.

• 한국군사과학기술학회지
• /
• 제17권2호
• /
• pp.235-247
• /
• 2014

Based on two dimensional model partition method proposed in Part 1, Part 2 provides detailed model specification and implementation. To mathematically delineate a model's behaviors and interactions among them, we extend the DEVS (Discrete Event Systems Specification) formalism and newly propose CE-DEVS (Combat Entity-DEVS) for an upper abstraction sub-model of a combat entity model. The proposed CE-DEVS additionally define two sets and one function to reflect essential semantics for the model's behaviors explicitly. These definitions enable us to understand and represent the model's behaviors easily since they eliminate differences of meaning between real-world expressions and model specifications. For model implementation, upper abstraction sub-models are implemented with DEVSim++, while the lower sub-models are realized using the C++ language. With the use of overall modeling techniques proposed in Part 1 and 2, we can conduct constructive simulation and assess factors about combat logics as well as battle field functions of the next-generation combat entity, minimizing additional modeling efforts. From the anti-torpedo warfare experiment, we can gain interesting experimental results regarding engagement situations employing developing weapons and their tactics. Finally, we expect that this work will serve an immediate application for various engagement warfare.

• 대한조선학회논문집
• /
• 제47권4호
• /
• pp.628-645
• /
• 2010

To perform the engagement level simulation between the underwater vehicle model and the surface model those are constituted with various systems/ sub-systems, we implemented four different federates as a federation according to the IEEE 1516 HLA (High Level Architecture) protocol that is the international standard in the distributed simulation. Those are CFCS (Command and Fire Control System) federate, motion federate, external entities (torpedos, countermeasure and surfaceship) federate, and visualization federate that interacts with OSG (Open Scene Graph)-based visualization rendering module. In this paper, we present the detailed method about the model constitution for discrete event simulation in the distributed environment. For the sake of this purpose, we introduce the DEVS (Discrete Event System Specification)-HLA-based modeling method of the CFCS federate that reflects not only the interations between models, but also commands from user and tactics manager that is separated from the model. The CFCS federate makes decisions in various missions such as the normal diving, the barrier misision, the target motion analysis, the torpedo launch, and the torpedo evasion. In the perspective of DEVS modeling, the CFCS federate is the coupled model that has the tactical data process model, command model and fire control model as an atomic model. The message passing and time synchronization with other three federates are settled by the $m\ddot{a}k$ RTI (Runtime Infrastructure) that supports IEEE 1516. In this paper, we provides the detailed modeling method of the complicated model that has hierarchical relationship such as the CFCS system in the submarine and that satisfies both of DEVS modeling method for the discrete event simulation and HLA modeling method for the distributed simulation.

• 한국시뮬레이션학회논문지
• /
• 제15권2호
• /
• pp.1-12
• /
• 2006

지능형 시스템에 대한 요구가 지속적으로 증가하면서, 최근에는 인공지능과 시뮬레이션 기술을 연동하기 위한 다양한 접근이 이루어지고 있다. 본 논문의 기반이 되는 RG-DEVS는 이산 사건 시뮬레이션 모델링 방법론인 DEVS에 인공지능의 계획(planning) 기술을 반영함으로써 동적으로 시뮬레이션 모델이 정의될 수 있는 인공지능과 시뮬레이션의 연동 기술이다. 그러나, 오늘날 많은 문제 해결 시스템들에 반영되고 있는 계층성(hierarchy)이 계획에 반영되어 있지 않다. 계층성은 탐색 공간을 작게 하여 계획의 계산 비용을 줄일 수 있을 뿐 아니라, 모델링 대상 시스템의 계층적 작업 흐름을 반영하기에도 유용하다. 본 논문은 RG-DEVS에 계층적 계획 능력을 추가하여 확장한 모델링 방법론인 HRG-DEVS출 제안하고, 이를 검증하기 위하여 고전적인 계획 문제로 알려진 계층적인 블록 쌓기 문제인 ABSTRIPS에 적용하였다.

• 한국멀티미디어학회논문지
• /
• 제19권12호
• /
• pp.2024-2035
• /
• 2016

Modern industry requires people with the ability to create and improve their knowledge. Most educational institutions have used mentoring activities which can train those people. Then each of the institutions has different directions because they work in their own fields. For that reason, many people which want to make new mentoring program have no choice but to go through many trials and errors. This paper deals with the design method of basic process model for mentoring based on DEVS in order that people plan a new mentoring business or make a new mentoring group easily. Our proposed model is expected to be used as a guide to establish procedures for mentoring systems.

• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1996년도 추계학술대회
• /
• pp.74-79
• /
• 1996

This paper describes a methodology for the development of models of discrete event system(DES). 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 couple DES models within a framework. The structure employs the DEVS formalism for the DES models. The proposed formal structure has been applied to develop a DEVS model for the human cardiovascular system. For this, the cardiac cycle is partitioned into a set of phases based on events identified through VisSim simulation in the CS of the electrical analog model. VisSim is the simulation tool of visual environment for developing continuous, discrete, and hybrid system models and performing dynamic simulation. For each phase, a CS of the electrical analog model for the cardiovascular system has been simulated by VisSim 2.0. To validate this model, first develop the DEVS model, then simulate the model in the DEVSIM++ environment. It has same simulation results for the data obtained from the CS simulation using VisSim. The comparison shows that the DEVS model represents dynamics of the human heart system at each phase of cardiac cycle.

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.37-44
• /
• 2018

복잡한 이산 사건 동적 시스템을 분석하기 위해 모델링 및 시뮬레이션(M&S) 기법을 적용함에 있어서, 기존에는 사용자 수준에 따라 각기 다른 시뮬레이션 환경을 사용해야 했다. 그에 따른 불편함을 해결하기 위하여 본 논문에서는 사용자 수준에 따라 M&S를 수행할 수 있는 통합된 개발 환경 및 개발 환경에서 모델을 효율적으로 관리하기 위해 정형화된 인터페이스를 제안한다. 인터페이스는 확장된 DEVS 형식론 및 모델 제작 규칙으로 구성되어있다. 개발 환경은 모델링 환경과 시뮬레이션 환경으로 나뉘고, 모델링 환경에서는 사용자의 수준별로 다른 모델링 방식을 제공한다. 모델링 작업의 결과로 생성된 모델을 활용하여 시뮬레이션 환경에서 여러 파라미터를 입력해서 시뮬레이션 함으로써 다양한 경우에 대해서 실험을 할 수 있다. 사례 연구에서는 제안한 M&S 환경을 구현한 내용에 대해 소개하고, 환경을 활용해서 복잡한 국방 전투 시스템을 모델링하고, 만들어진 모델을 바탕으로 시뮬레이션 하는 과정을 소개한다.