• 한국시뮬레이션학회논문지
• /
• 제3권1호
• /
• pp.75-88
• /
• 1994

Discrete event modeling is finding ever more application to anlysis and design of complex manufacturing, communication, computer systems, etc. This paper shows how packet network systems may be advantageously represented as DEVS (Discrete Event System Specification) models by employing System Entity structure / Model base (SES/MB) framework developed by Zeigler. DEVS models and network structure representations support a strong basis for performance analysis of packet network systems. This approach is illustated in a typical packet network example with several routing strategies.

• 한국시뮬레이션학회논문지
• /
• 제18권4호
• /
• pp.127-136
• /
• 2009

MANET(Mobile Ad-hoc NETwork)에 있어 모델링 및 시뮬레이션은 실제 시스템 환경을 구축하기 어려운 여건에서 가상의 환경을 통한 분석연구를 위한 가장 효과적이고 유용한 방법이다. MANET의 연구에 있어서 네트워크 전체의 동작특성을 관찰하기 위해서는 노드간 전달과정과 관련한 상태 및 특성변화의 추적이 중요하며 이산 사건 시스템의 특징을 가진다. Zeigler's DEVS(Discrete Event System Specification) 형식론은 계층적이고 모듈라한 기법으로 이산사건 시스템을 명세할 수 있는 수학적 형식론이며, 이에 기반한 DEVSim++는 모델링의 무결성을 제공하며 객체지향형기법에 의한 계층적 최적화 모델링 및 시뮬레이션 환경을 제공한다. 그러나 네트워크를 구성하는 노드의 이동 특성으로 인해 네트워크의 연결 상태가 지속적으로 변하는 MANET을 모델링하기에는 어려운 부분이 있다. 본 논문에서는 DEVS방법론을 도입하여 MANET을 모델링하는 과정에서 노드의 이동 특성을 고려한, 네트워크의 변화특성에 따른 네트워크 상태의 변화를 관찰하기 위하여 네트워크 특성을 중심으로 MANET을 표현하는 방법을 제안하고 MANET DEVS 모델을 제시한다. 또한 제시한 모델을 DEVSim++시뮬레이션 엔진에 적용하여 시뮬레이션 함으로써 모델의 동작을 실증하였다.

• 한국군사과학기술학회지
• /
• 제9권4호
• /
• pp.61-70
• /
• 2006

This paper is to describe LYNX-ESM Simulation System to simulate for EW operating environment analysis and system performance verification of LYNX-ESM system using Discrete Event Simulation(DEVS) Methodology. This system consists of 3 PC with TCP/IP network. Each PC is loaded with Modeling & Simulation program based DEVS. Each connected program conducts EW simulation. As a result, we analyze the operating environment of the maritime EW threat, simulate the EW threat discrimination and geolocation capability, and estimate the LYNX-ESM system effectiveness before real LYNX-ESM system development.

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

Studies of Internet algorithms or policies require experiments on the real large-scale networks. But practical problems with large real networks make them difficult. Instead many researchers use simulations on the Internet topology models. So, It is Important that study about topology model that reflect characteristic of the internet exactly. We propose new topology model which reflect of hierarchical network and addition, removal of nodes and accompanied change of topologies. In the modeling scheme for network generation, we applied DEVS formalism and analyzed the topologies generated by our algorithms.

• 대한의용생체공학회:의공학회지
• /
• 제16권4호
• /
• pp.415-424
• /
• 1995

Combined models, specified by two or more modeling formalisms, can represent a wide variety of complex systems. This paper describes a methodology for the development of combined models in two model types of discrete event and continuous process. 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 combine model of the DES and the CS within a framework. The structure employs the DEVS formalism for the DES models and differential or polynomial equations for the CS models. To employ the proposed structure to specify a DEVS/CS combined model, a modeler needs to take the following steps. First, a modeler should identify events in the CS and transform the states of the CS into the DES. Second, a modular employs the formalism to specify the system as the DES. Finally, a moduler developes sub-models for the CS and continguos states of the DES and establishs one-to-one correspondence between the sub-models and such states. The proposed formal structre has been applied to develop a DEVS/CS combined model for the human cardiovascular system. For this, the cardiac cycle is partitioned into a set of phases based on events identified through observation. For each phase, a CS model has been developed and associated with the phase. To validate the DEVS/CS combined model developed, then simulate the model in the DEVSIM + + environment, which is a model simulation results with the results obtained from the CS model simulation using SPICE. The comparison shows that the DEVS/CS combined model adequately represents dynamics of the human heart system at each phase of cardiac cycle.

• 한국군사과학기술학회지
• /
• 제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.

• 한국통신학회논문지
• /
• 제24권7B호
• /
• pp.1279-1288
• /
• 1999

DEVSim++ is a C++ based, object-oriented modeling/simulation environment which realizes the hierarchical, modular DEVS formalism for discrete event systems specification. The paper describes a methodology for performance modeling and analysis of an ATM-based network system within the DEVSim++ environment. The methodology develops performance models for the system using the DEVS framework and implement the models in C++. Performance indices measured are the length of queues located at connection of the system and cell waiting times with respect to QoS grades for a network bandwidth of 155 Mbps.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제4권4호
• /
• pp.452-474
• /
• 2010

Formidable growth of Internet technologies has revealed challenging issues about its scale and performance evaluation. Modeling and simulation play a central role in the evaluation of the behavior and performance of the large-scale network systems. Large numbers of nodes affect simulation performance, simulation execution time and scalability in a weighty manner. Most of the existing simulators have numerous problems such as size, lack of system theoretic approach and complexity of modeled network. In this work, a scalable discrete-event modeling approach is described for studying networks' scalability and performance traits. Key fundamental attributes of Internet and its protocols are incorporated into a set of simulation models developed using the Discrete Event System Specification (DEVS) approach. Large-scale network models are simulated and evaluated to show the benefits of the developed network models and approaches.

• 디지털산업정보학회논문지
• /
• 제6권2호
• /
• pp.71-80
• /
• 2010

This thesis is purposed on developing security product co-evaluation statistics administrate program which is can administrate or analysis CC accreditation product using by DEVS modeling via portal site of member of CCRA. Via developing security product evaluation statistics administrate program, it can analysis the trend of all countries of the world in many ways, and noticed the ways of evaluation and accreditation of most countries via scheme analysis. Except this, it can analysis the situation of accreditation trend of any countries via data analysis of ICCC 2009. Also, For trend analysis to evaluation technique of CCRA member, it analyzed up to date technology and policy of the evaluation organization and the Certification Authority of most countries. And it peformed analysis the most trend of information security of evaluation authorization in CCRA member countries. In this program, It provide the function of trend statistics analysis which can statically analyzed the evaluation accreditation trends of most countries and automatical statistics by categorization ( by Product, Class and statistics in national) and report creation functions which can easily extraction and use the needed data. It has been updated the related informations until latest accredited product using by CC(Common Criteria) portal home page's data.

• 한국시뮬레이션학회논문지
• /
• 제14권2호
• /
• pp.57-71
• /
• 2005

A simulation for the analysis of the evasive capability of a conventional costal submarine against a light Anti-Submarine Warfare (ASW) torpedo has been studied. The Torpedo, Submarine Controller, Devoy, and Jammer models of this simulation are analysised and designed using Unified Modeling Language (UML) and in addition they are modeled Discrete Event System Specification (DEVS). We examine maximum speed, acceleration, countermeasure systems capabilities of a submarine, and sonar range of a torpedo as the factors which affect the evasive capability of the submarine. This paper shows the relationships between those various factors and the submarine's evasive capability as the outcome of the simulation. The simulation models can be applied for simulation based acquisition (SBA) of a submarine system.