• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.219-227
• /
• 2008

DEVS 형식론은 이산 사건 시스템을 계층적이고 모듈러하게 표현할 수 있다. MATLAB/Simulink는 연속 시스템과 이산 시간 시스템을 모델링하고 시뮬레이션을 수행하는 데 널리 쓰인다. 본 논문은 MATLAB/Simulink 환경에서 DEVS 형식론을 구현하는 방법론을 제안한다. 본 논문에서 제안하는 방법론을 이용하여MATLAB/Simulink에서 제공하는 다양한 공학 방정식과 알고리즘을 사용할 수 있다. 또한 동일한 시뮬레이션 환경에서 연속 시스템과 이산 사건 시스템이 혼합된 하이브리드 시스템에 대한 시뮬레이션을 수행할 수 있다. 이를 위해 본 논문은 Simulink-DEVS 모델과 이 모델을 시뮬레이션을 수행하는 데 필요한 시간 진행 알고리즘을 제안한다. 특히 시간 진행 알고리즘은 시스템의 유형에 상관없이 적절한 시간 진행을 수행한다. 두 가지 실험 결과를 통해 본 논문에서 제안하는 방법론의 효용성을 입증한다.

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

시뮬레이션 기반 전투실험은 시뮬레이션 기술을 이용하여 전투태세를 점검하는 것이다. 이는 무기체계의 모델링 및 시뮬레이션에 깊이 연관되어 있다. 전투실험에서 무기체계의 특성과 복잡도를 분석하기 위해서는 모델링 및 시뮬레이션 환경이 복합체계로 구성되는 무기체계를 컴포넌트 단위로 분해할 수 있도록 해야 하며, 실제 하드웨어와 같이 충실도가 높은 컴포넌트를 시뮬레이션 상에서 활용할 수 있도록 해야 한다. 이러한 관점에서 모듈화 및 계층화 구조의 DEVS 프레임워크는 전투실험도구의 요구사항을 만족시킬 수 있는 가능성을 제공한다. 본 논문은 시뮬레이션 기반 전투실험을 수행하기 위한 DEVS 통합개발환경의 개발과정을 소개하고 있다. 편리하고, 유연하며, 신속한 전투 시뮬레이션 수행의 설계 원칙으로 새롭게 개발된 전투실험도구는 다이어그램을 이용하여 DEVS 모델을 개발하고 이를 외부 시뮬레이터와 편리하게 연동할 수 있는 모델 기반의 그래픽 설계도구, 신속한 통계 분석 수행을 위한 실험 설계 도구, 레고방식으로 무기체계를 조립하기 위한 표준 컴포넌트 모델 라이브러리의 세 부분으로 구성된다. 이러한 새로운 시뮬레이션 환경은 다양한 수준의 모델이 혼재된 복잡한 시뮬레이션 기반 실험분석을 보다 단순하고 효율적으로 수행할 수 있도록 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• 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 형식론으로 모의 실험 모델을 추가하여 간단한 모델링할 수 있을 뿐만 아니라 정확한 모의 실험 결과를 얻을 수 있다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1999년도 추계학술대회 논문집
• /
• pp.81-86
• /
• 1999

본 연구는 DEVS 모델링 및 시뮬레이션을 이용한 침입 탐지 기법의 성능평가를 주목적으로 한다. 최근 컴퓨터망의 확대와 컴퓨터 이용의 급격한 증가에 따른 부작용으로 컴퓨터 보안 문제가 중요하게 대두되고 있으며 이러한 추세에 따라 해커들로부터의 침입을 줄이기 위한 침입 탐지 시스템에 관한 연구가 활발히 진행되고 있다. 한편, 침입 탐지 기법으로 전문가 시스템, 신경망, 유전자 알고리즘 등 인공지능 기법을 이용한 다양한 시도가 이루어지고 있으나 이러한 기법들에 대한 성능평가는 대부분 실제 시스템의 구축을 통해서만 다루어 왔다. 따라서, 이를 극복하기 위하여 시뮬레이션 기법의 도입을 통한 성능평가 방법이 요청된다. 따라서, 본 연구에서는 엔진 베이스 모델링을 통하여 일반적인 침입 탐지 시스템을 설계하고 침입 탐지 기법의 하나인 유전자 알고리즘을 적용하여 시뮬레이션 테스트를 수행함으로써 DEVS 모델링 및 시뮬레이션을 이용한 성능평가의 타당성을 검증한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.1065-1067
• /
• 2015

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

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1992년도 제2회 정기총회 및 추계학술 발표회 발표논문 초록
• /
• pp.5-5
• /
• 1992

The DEVS(discrete event system specification) formalism describes a discrete event system in a hierarchical, modular form. DEVSIM++ is C++ based general purpose DEVS abstract simulator which can simulate systems to be modeled by the DEVS formalism in a sequential environment. We implement P-DEVSIM++ which is a parallel version of DEVSIM++. In P-DEVSIM++, the external and internal event of models can be processed in parallel. To process in parallel, we introduce a hierarchical distributed simulation technique and some optimistic distributed simulation techniques. But in our algorithm, the rollback of a model is localized itself in contrast to the Time Warp approach. To evaluate its performance, we simulate a single bus multiprocessor architecture system with an external common memory. Simulation result shows that significant speedup is made possible with our algorithm in a parallel environment.

• 한국멀티미디어학회논문지
• /
• 제25권8호
• /
• pp.1007-1021
• /
• 2022

Autonomous driving of unmanned aerial vehicles may have to pay expensive cost to create and switch new routes if unexpected obstacles exist or local map updates occured by the control system due to incorrect route information. Integrating digital twins into the path-following process requires more computing resources to quickly switch the wrong path to an alternative path, but it can quickly update the path during flight. In this study, we design a DEVS-based simulation environment which can modify optimized paths through short-term simulation of multi-virtual UAVs for applying digital twin concepts to path follow. Through simulation, we confirmed the possibility of increasing the mission stability of UAV.

• 한국정보통신학회논문지
• /
• 제23권12호
• /
• pp.1700-1709
• /
• 2019

최근, 선박의 안전항해를 지원하기 위한 시스템(서비스)의 개발을 위해 여러 연구가 진행되고 있으며, 이들 연구에서는 개발한 시스템의 유용성 검증 및 효과도 평가에 공통적인 어려움을 겪고 있다. 본 논문에서는 이러한 문제를 해결하기 위해 DEVS 형식론 기반 선박 항해 모델링 및 시뮬레이션 기법을 제안한다. 선행연구에 이어 국제해상충돌예방규칙과 관련된 내용을 분석 및 도출하여 의사결정을 위한 항해사 및 조타수 에이전트를 모델링하고, 실제 선박의 운동특성을 반영하기 위한 추정 및 보간 기법을 제안한다. 또한, 설계한 내용을 반영하여 선박 항해 시뮬레이션 시스템을 구현하고, 개발한 시스템의 유용성을 검증하기 위한 다섯 가지 충돌회피 시나리오를 개발한다. 그 후, 각 시나리오에 따른 시뮬레이션을 수행하고 결과를 재구성하여 제시한다. 이를 통해 시뮬레이션 아키텍처 내에서 선박 구성요소 및 에이전트 모델이 유기적으로 결합하여 충돌회피 의사결정 및 항해 시뮬레이션이 가능함을 확인하였다.

• 한국CDE학회논문집
• /
• 제15권4호
• /
• pp.271-278
• /
• 2010

Weapon systems for future war require operating various war scenarios that are getting complex. Similarly, modeling and simulation technique is getting attention to acquire more effective weapon systems. Several S/W tools exist for simulating small scale engagements which depict a kind of war. However, it is very hard to model combat objects more systematic, and reuse them. To overcome these difficulties, this paper presents a modeling methodology for simulating small scale engagement using the DEVS-formalism. In this paper, we systematically classified and defined combat objects, likewise, explain a framework for a small scale combat simulation.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1994년도 춘계초청 강연회 및 임시총회
• /
• pp.0.1-0
• /
• 1994