• 정보보호학회논문지
• /
• 제19권3호
• /
• pp.95-105
• /
• 2009

본 논문은 VoIP의 주요 보안 위협인 스팸에 대응하기 위한 목적으로 VoIP 스팸 탐지 기술의 성능평가를 위한 시뮬레이션 모델을 설계하고 있다. 성능평가 시뮬레이션 모델은 입력 데이터를 제공하는 기능과 출력 데이터를 분석하는 기능을 갖는다. 본 논문에서는 VoIP스팸 탐지 기술의 성능평가 입력 데이터를 위하여 VoIP 발신자 특성을 고려하여 네 종류의 Caller 모델을 개발하였고, 각 caller 모델은 결정된 패턴 내에서 call을 생성하게 된다. 성능평가는 SPIT (Spam over Internet Telephony) Level 결정 알고리즘을 대상으로 수행하고, 성능평가의 지표 도출을 통해 평가 알고리즘의 성능 지수를 산정한다. 성능평가 모델은 DEVS 형식론 기반으로 설계하였으며 DEVSJAVA$^{TM}$를 이용한 모델링 및 시뮬레이션을 통해 설계된 모델을 검증하였다.

• 한국시뮬레이션학회논문지
• /
• 제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을 이용하였다.

• 한국시뮬레이션학회논문지
• /
• 제22권4호
• /
• pp.67-82
• /
• 2013

본 논문은 공학급 국방 모델의 시뮬레이션 성능 향상을 위해 다중 충실도(Multi-fidelity) 모델링 시뮬레이션(M&S: Modeling and Simulation) 기법을 제안한다. 제안하는 기법은 다양한 충실도를 지닌 모델을 활용하여 고 충실도 모델의 시뮬레이션과 비교하여 유사한 수준의 시스템 분석 결과를 얻음과 동시에 시뮬레이션 성능 측면에서 이득을 가져오는 방안이다. 다중 충실도 원리를 적용하기 위해 본 논문은 충실도를 모델 동작과 실행 측면으로 세분화하고, 충실도 변환 지점을 FCP (Fidelity Change Point)로 정의한다. 이러한 원리를 바탕으로 본 논문은 다음의 세 가지 쟁점을 다룬다. 먼저, 모델 동작과 실행 측면의 충실도 변환을 위한 모델 구조와 제안하는 모델에 대한 수학적 형식론, 마지막으로 모델 실행을 위한 시뮬레이션 알고리즘을 제안한다. 사례 연구로 어뢰의 표적 추적 시나리오에 대한 기초 실험을 수행하였고, 실험 결과 제안하는 기법을 사용한 경우 기존의 시뮬레이션과 비교하여 최대 4.24배의 시뮬레이션 성능 향상을 보임을 확인하였다. 본 논문에서 제안하는 기법은 M&S 기반의 시스템 분석을 하는 다양한 분야에서 활용될 수 있음을 기대한다.

• 한국정보통신학회논문지
• /
• 제16권12호
• /
• pp.2581-2588
• /
• 2012

전투 시스템의 생존성은 전투 환경의 여러 요인에 따라 변화한다. 기존의 전투 시스템 생존성 분석 시뮬레이션 프로그램은 전투 환경에 따라 변화하는 생존성의 분석에는 한계를 가진다. 이 논문에서는 이러한 한계를 극복하기 위하여 에이전트 기반 모델링 및 시뮬레이션 기법을 이용한 전투 시스템의 동적 생존성 분석 방법을 제안한다. 시뮬레이션을 위해 DEVS 형식론, SES/MB 프레임워크, 에이전트 기술을 이용하여 전투 시스템을 구성하는 여러 요소를 모델링하고, 전투 시스템에 탑승하는 승무원을 각 역할에 따른 에이전트로 모델링한다. 제안하는 기법을 적용하면, 전투 환경에서의 전투 시스템 정적 생존성을 비롯하여 전투 시스템에 탑승하고 있는 승무원의 대응에 따라 변화하는 생존성을 분석할 수 있다.

• 한국정보통신학회논문지
• /
• 제23권9호
• /
• pp.1038-1048
• /
• 2019

최근, 선박의 항해 안전을 지원하기 위한 다양한 시스템이 개발되고 있다. 이러한 시스템의 유용성을 검증하기 위해서는 실제 선박에 탑재하여 운용해보는 것이 가장 이상적이나 현실적으로는 많은 어려움이 존재한다. 그 대안으로 모델링 및 시뮬레이션(M&S) 기법을 적용한 유용성 검증 방법이 요구된다. 현실과 가장 가까운 선박 조종 시뮬레이터(FMSS)는 구축비용이 수억에서 수십억에 달하는 등 매우 고가이고, 운용을 위한 전문 인력이 필요하다는 한계가 존재한다. 이러한 이유로, 본 논문에서는 이산사건 시스템 명세(DEVS) 형식론 기반의 선박 항해 모델링 및 시뮬레이션을 통한 항해 안전 지원 시스템을 검증하기 위한 방법을 제안한다. 그 첫 단계로 SES/MB 프레임워크를 기반으로 항해 시뮬레이션 아키텍처를 설계하고, DEVS 형식론을 기반으로 선박 핵심 장비 및 항해사 에이전트를 모델링하는 것에 관한 내용을 기술한다. 이러한 내용을 바탕으로 선박 항해 시뮬레이션 시스템을 구현하고, 다양한 시나리오를 통해 충돌회피 시뮬레이션 등과 같은 항해 안전 지원 요소의 효과도 평가가 가능할 것으로 판단된다.

• 한국시뮬레이션학회논문지
• /
• 제29권1호
• /
• pp.71-79
• /
• 2020

현대사회의 도시화 추세가 지속됨에 따라 인구의 집중으로 주거환경에 대한 도시문제의 중요성이 대두되고 있다. 다양한 도시문제 중에서 대표적인 문제 중 하나는 쓰레기 문제로 시민들의 주거환경 악화의 원인이 되며 시정 만족도에 대해 직접적으로 영향을 미치는 요인이다. 이와 같은 쓰레기 문제는 단순히 주거지역의 쓰레기 배출량에 대한 분석으로는 정확히 예측할 수 없으며 쓰레기의 주거지역에 분포하고 있는 거주민의 생활양식과 특징에 대한 분석이 필요하다. 본 연구에서는 주거지역 내의 거주민의 분포에 따라 발생할 수 있는 쓰레기 문제와 이에 대한 만족도 분석을 수행하기 위하여 이산사건 시스템 형식론을 활용한 에이전트 기반 거주민 모델링과 시뮬레이션 환경을 제안한다. 제안하는 연구는 주거민의 시계열적인 특성을 표현하기 위하여 원자모델을 사용하였으며 시뮬레이션 모델의 재사용성을 증대시키기 위한 결합모델을 사용하여 다가구와 다가구 주택을 모의하였다. 또한, 본 연구는 다가구 주택지역에 대한 시뮬레이션 모델링을 진행하고, 시뮬레이션을 수행하였다. 연구결과로 다가구 주택지역의 시뮬레이션에서는 거주민의 특성을 고려한 결과와 그렇지 않은 결과 사이에 뚜렷한 차이점을 발견할 수 있었으며 지역 문화적 특성과 시간적 특성을 고려한 시뮬레이션이 필요함을 확인할 수 있었다.

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

The need for network security is being increasing due to the development of information communication and internet technology. In this paper, firewall models, operating system models and other network component models are constructed. Each model is defined by basic or compound model, referencing DEVS formalism. These models and the simulation environment are implemented with MODSIM III, a general purpose, modular, block-structured high-level programming language which provides direct support for object-oriented programming and discrete-event simulation. In this simulation environment with representative attacks, the following three attacks are generated, SYN flooding and Smurf attack as an attack type of denial of service, Mail bomb attack as an attack type of e-mail. The simulation is performed with the models that exploited various security policies against these attacks. The results of this study show that the modeling method of packet filtering system, proxy system, unix and windows NT operating system. In addition, the results of the simulation show that the analysis of security performance according to various security policies, and the analysis of correlation between availability and confidentiality according to security empowerment.

• 한국항행학회논문지
• /
• 제23권5호
• /
• pp.345-351
• /
• 2019

항공용 SIL은 항공전자시스템의 통합 및 검증에 사용되는 통합시험환경이다. 최근에는 항공전자시스템의 요구도 검증을 시스템 통합 측면에서부터 충분히 고려하기 위하여 항공용 SIL 분야의 개발 참여를 비행체 요구분석 단계부터로 앞당기고 있으며, 비행체의 체계종합 일정에 영향을 주지 않도록 항공용 SIL의 개발 비용 및 기간을 최소화하기 위한 노력을 꾸준히 진행하고 있는 추세이다. 본 논문에서는 항전체계 검증에 사용되는 항공용 SIL의 모델링 방법 표준화를 통한 개발기간/비용 단축 및 유지보수성 증대를 위하여 항공용 SIL에 적용 가능한 모델링 형식론 기반의 항공용 시뮬레이션 모델 프레임워크(ASMF)를 제안한다.

• 한국시뮬레이션학회논문지
• /
• 제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++시뮬레이션 엔진에 적용하여 시뮬레이션 함으로써 모델의 동작을 실증하였다.

• 한국시뮬레이션학회논문지
• /
• 제8권1호
• /
• pp.113-138
• /
• 1999

Driven by the explosive expansion and acceptance of the Internet and its multimedia front-end, the Web, a new generation of the modeling and simulation tools have come up with the name of Web-Based Simulation (WBS). Most of WBS libraries inherit its powerful advantages from Java. However, there are cases where explicit specification of models or interface objects is more desirable than the black-box programs. This paper presents an XML-based DEVS (Discrete Event System Specification) markup language for sharing simulation models on the Web. DEVS provides a system-theoretic formalism for the language while XML supports platform-independent data access. This paper focuses on the design of such a language.