• Journal of the Korea Society of Computer and Information
• /
• v.26 no.1
• /
• pp.171-178
• /
• 2021

In this paper, the author proposes a method for detecting modification of transmitted messages in C/C++ based Discrete Event System Specification (DEVS) simulation. When a message generated by a model instance is delivered to other model instances, it may be modified by some of the recipients. Such modifications may corrupt simulation results, which may lead to wrong decision making. In the proposed method, every model instance stores a copy of every transmitted message. Before the deletion of the transmitted message, the instance compares them. Once a modification has been detected, the method interrupt the current simulation run. The procedure is automatically performed by a simulator instance. Thus, the method does not require programmers to follow secure coding or to add specific codes in their models. The performance of the method is compared with a DEVS simulator.

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.1065-1067
• /
• 2015

시스템 모델링은 규모와 크기에 따라서 방법이 모두 다르며, 시스템 요구사항에 따라서 설계를 하는 방법이다. 하지만 현재까지의 기법은 개별적인 방법만 고려했기 때문에 시스템 요구사항의 모든 것을 적용하기 어려운 단점이 있다. 따라서 요구사항에 따른 시스템의 완성도를 높이기 위해서는 복합적인 모델링 방법의 접근이 필요하다. 본 논문에서는 절차지향 및 객체지향 모델링 방법에 대한 접근을 통합 할 수 있는 DEVS기반 하이브리드 모델링 기법에 대해 제안한다. 제안하는 기법은 프로세스와 객체와의 관계를 계층형으로 구조화 시킬 수 있으며, 수학적 명세가 가능하다. 또한, 하이브리드 모델링의 시뮬레이션을 위한 분산처리 환경에서 DEVS 기반 하이브리드 시뮬레이션에 대해 제안을 한다. 제안하는 모델을 통해서 복잡한 시스템에 대한 명세와 검증이 가능하다.

• Journal of information and communication convergence engineering
• /
• v.6 no.1
• /
• pp.59-63
• /
• 2008

The methods or algorithms which can accelerate simulation speed became of great importance, as the modeling and simulation methodology for discrete event systems is used in many areas such as model validation/verification and performance evaluation. This paper proposes a tool named, DEVSIF composer. The tool is made of an automated compiled simulation technology and it builds a new composed model which can be executed much fast by composing the component models together. Models are described by our new specification language DEVSIF, which is compatible with object-oriented language and supports representation of a hierarchical model structure. Experimental results demonstrates that DEVSIF composer enhances the simulation speed of a transformed DEVS model 5 times faster than that of the original ones in average.

• Journal of the Korea Society for Simulation
• /
• v.29 no.2
• /
• pp.63-72
• /
• 2020

Tank, which is a representative ground weapon system, is one of the most important weapon systems in each country. For the cost-effective acquisition of a tank based on scientific analysis, the operational concept and effectiveness should be studied based on engagement simulation technology. Besides physical capabilities including maneuver and communication, logical models including decision-making of a tank commander should be developed systematically. This paper describes a method to model a tank for engagement simulation based on Base System Model(BSM), which is the standard architecture of the weapon system model in AddSIM, an integrated engagement simulation software. In particular, a method is proposed to develop logical models by hierarchical and modular approach based on human decision-making model. The proposed method applies a mathematical formalism called DEVS(Discrete EVent system Specification) formalism. It is expected that the proposed method is widely used to study the operational concept and analyze the effectiveness of tanks in the Korean military in the future.

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

Discrete event simulation environments often need to be modified because additional questions to systems may become apparent while observing the simulation results repeatedly. It leads to increasing development budget and depreciating the effectiveness of the environment. To avoid the modifications and to generate the altered results, this paper applies an Event Control Model (ECM) with control functions that modulate, delete and generate the events at the simulation time. In addition, this paper suggests an easier approach for domain-users, who do not want to program at source code level, by using ECM templates. The simulators with the ECMs can have better extensibility because it becomes more adaptable to possibly unanticipated changes. It prevents increasing development costs due to modifications or development of new models by M&S experts, and it provides a new alternative step to domain users. To support the effectiveness of this approach, this paper describes a relevant example, which is composed of an initial simulation model based on our empirical studies. It will show that there exist the uncountable benefits because the existing simulator is reused by domain users without new projects.

• Journal of the Korea Society for Simulation
• /
• v.15 no.1
• /
• pp.43-50
• /
• 2006

The major objective of this paper is to propose a hybrid simulation environment for autonomous UAV system by integrating the continuous-time model with discrete-event model. Proposed system is able to support high autonomous behavior by combining the planner, recognizer, and controller model to deal with the HL20 AIRPLANE model. Thus, the high level decision may be efficiently issued even upon the unexpected circumstance. The proposed system model has been successfully verified by several simulation test performed on the DEVS simulation S/W environment.

• Journal of the Korea Society for Simulation
• /
• v.13 no.3
• /
• pp.21-29
• /
• 2004

The major objective of this paper is to analyze network vulnerabilities using the SIMVA (SIMualtion-based Vulnerability Analyzer). SIMVA is capable of monitor network status and analyze vulnerabilities automatically. To do this, we have employed the advanced modeling and simulation concepts such as SES/MB (System Entity Structure / Model Base) framework, DEVS (Discrete Event System Specification) formalism, and experimental frame for developing network security models and simulation-based analysis of vulnerability. SIMVA can analyze static vulnerability as well as dynamic vulnerability consistently and quantitatively. In this paper, we verified and tested the capability of application of SIMVA by slammer worm attack scenario.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.457-459
• /
• 1998

본 논문에서는 하드웨어-소프트웨어 시스템에서의 시스템 레벨 모델링 및 통합 모의 실험(co-simulation)에 관한 새로운 방법을 다루고 있다. 복잡한 시스템의 하드웨어와 소프트웨어를 하나의 객체 지향 방법론으로 모델링 및 모의 실험하여 빠르고 쉽고 정확하게 시스템의 성능을 예측하고 분석하여, 시스템 설계가 최적화 되도록 도움을 주는 설계 도구를 제안한다. ASIC, 보조 디바이스, 벗, 디스크 및 소프트웨어 등을 객체 지향 모델링 방법인 UML(Unified Modeling Language) 형식론으로 시스템의 구조를 GUI을 사용하여 모델링하고, 이것으로부터 자동적으로 DEVS(Discrete EVent System) 모의 실험 모델을 생성해내어 통합 모의 실험을 수행함으로써 시스템의 성능을 쉽고 빠르게 측정하고 예측하는 방법론을 제시한다. UML과 DEVS는 형식론으로서, UML은 추상화 수준의 시스템 모델링과 그래픽 사용자 인터페이스를 제공하며, 모의 시험은 DEVS의 시뮬레이터인 DEVS++을 사용하였다. DEVS++는 C++ 라이브러리 형태이므로 쉽게 UML에서 DEVS 형식론으로 모의 실험 모델을 추가하여 간단한 모델링할 수 있을 뿐만 아니라 정확한 모의 실험 결과를 얻을 수 있다.

• Journal of Korean Society of Transportation
• /
• v.14 no.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.