• 한국시뮬레이션학회논문지
• /
• 제16권3호
• /
• pp.75-87
• /
• 2007

VoIP 서비스 품질이 개선되고 많은 문제점들이 극복되면서 이에 대한 사용자들의 관심이 높아지고 있다. VoIP는 인스턴트 메시징 서비스 등 사용자들의 편익을 위한 서비스를 제공하고 있지만 비용 및 보안 문제는 사용자들의 이러한 서비스 사용을 주저하게 만들고 있다. 본 논문은 이와 같은 문제 중 하나인 VoIP 스팸 문제를 다루고자 한다. 스팸 콜에서의 음성 메시지 신호 패턴을 고려하여 정상 콜과 Noise가 포함된 정상 콜, 스팸 콜 이 세 가지 음성 모델을 설계하고, 논문에서 제시하는 음성 신호 정보량 기반의 스팸 탐지 알고리즘에 적용해 보았다. 각 모델의 모델링 및 시뮬레이션은 DEVS-$Java^{TM}$를 이용하였다. 본 연구는 스팸 콜 음성 신호를 탐지하기 위한 방법을 제시하고 이를 모델링 및 시뮬레이션 방법론을 통해 검증하는 것에 기여점을 둘 수 있다.

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

• 한국시뮬레이션학회논문지
• /
• 제21권4호
• /
• pp.35-46
• /
• 2012

실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다.

• 한국컴퓨터정보학회논문지
• /
• 제27권5호
• /
• pp.101-107
• /
• 2022

모델링 및 시뮬레이션은 목표 시스템의 동작 검증, 성능 분석, 운용 최적화, 예측을 위해 사용되는 기술이다. 이 기술의 대표적인 이산사건 시스템 명세(DEVS)는 모델들을 엄격한 형식론으로 정의하고 모델 간의 구조를 계층화한다. 이 DEVS 모델들의 원자 모델은 목표와 다른 의도로 동작하게 될 경우 시뮬레이션은 잘못된 의사결정으로 이어질 수 있다. 그럼에도 대부분 DEVS 시스템은 모델 테스트의 부재 또는 수동 테스트 환경으로 제공하여 개발자가 모델을 검증하는 데 오랜 시간이 소비된다. 본 논문에서는 파이썬 기반 DEVS에서 정확하고 빠른 원자 모델의 검증을 위해 스크립트 기반 테스트 시스템을 제안한다. 제안 테스트 시스템은 기존 방식인 수동 테스트와 새로운 방식인 스크립트 기반 테스트를 둘 다 사용한다. 우리 시스템의 실험 결과, 제안 테스트 방식은 스크립트를 10번 연속 실행 시 24ms 이내에 실행되었다. 그리하여 제안 시스템은 스크립트 기반 테스트를 사용해서 빠른 원자 모델 검증 시간을 보장하고, 테스트 스크립트의 재사용성을 향상한다.

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

본 논문은 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS : Discrete Event System Specification)을 기반으로 미시적 교통류 시뮬레이션 시스템의 교통 흐름 분석에 대한 연구를 주목적으로 한다. 도로교통망 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류하는데, 미시적 모형은 개별차량의 행태를 바탕을 둔 모형으로 거시적 모형에 비해 설명력이 뛰어나다는 장점을 가지고 있지만 실제 교통상황에서 관측하고 검증하기가 어렵다는 단점을 갖고 있다. 따라서 본 논문에서는 신뢰성 있는 미시적 교통류 모형의 설계를 위해 DEVS 형식론을 기반으로 개별 차량에 대한 차량 추종 및 차로 변경 모형을 모델링하고 이를 근거로 교통류 시뮬레이션 시스템의 교통흐름 분석을 한다.

• 한국항행학회논문지
• /
• 제24권3호
• /
• pp.184-191
• /
• 2020

항공용 SIL은 항공전자시스템의 통합 및 검증에 사용되는 통합시험환경이다. 항공용 SIL에는 여러 가지 제약으로 인해 항공기에 탑재되는 장비를 직접 연동할 수 없을 때 장비의 소프트웨어 모델이 필요하다. 지금까지 항공기 개발에 적용한 항공용 SIL의 소프트웨어 모델은 표준화된 방법 없이 일반적인 소프트웨어 개발 방법의 적용으로 재사용이 어려워 소프트웨어 모델 재사용을 위한 프레임워크의 필요성이 제기되었다. 이러한 항공용 SIL 모델의 표준화된 모델링 방법을 위해 DEVS (discrete event system specification) 형식론을 채용하였다. DEVS 형식론은 이벤트 구동(event-driven) 알고리즘이며 이는 기존의 항공용 SIL에 적용되는 절차적이고 반복적인 알고리즘과 어울려 동작하기 힘들다. 이에 본 논문에서는 항공용 SIL 모델의 특징과 기존 방식이 가지는 한계를 보완하고 모델의 재사용성을 극대화할 수 있는 이벤트 기반의 모델링 방법과 실시간 시뮬레이션 방법을 제안한다.

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

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

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2023년도 제67차 동계학술대회논문집 31권1호
• /
• pp.47-49
• /
• 2023

사회적으로 복잡한 문제들이 시공간 형태로 문제 표현이 가능하고 이를 활용하여 문제를 해결하기 위한 연구들이 진행 중이다. 특히, 시뮬레이션 이론 중 하나인 BM-DEVS는 시공간 논리를 적용하여 실세계에서 일어나는 문제들을 시공간 규칙으로써 표현하였고 이를 모델에 적용하여 시스템에서 행위를 모니터링한다. 하지만 BM-DEVS에서는 시스템 차원에서 정의된 시공간 규칙들을 평가하기 위하여 Büchi 오토마타로의 변환과 오토마타를 모델들에 반영할 수 있어야 한다. 이를 위하여 시스템을 구축하는 모델러가 직접 규칙을 오토마타로 변환하는 작업을 해야하며 이에 대한 오토마타를 모델에 적용하기까지는 많은 시간이 소요된다. 이러한 문제를 해결하기 위해 본 논문에서는 모델링의 단순화를 위하여 시공간 규칙을 모델들에 자동적으로 적용하는 방법에 대하여 소개한다.

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

침입 탐지 시스템이 침입 행위를 탐지하기 위해서 시간에 대한 처리를 고려하지 않고는 침입을 탐지할 수 없는 경우(예 Denial of Service)가 존재한다. 즉 사건의 발생 시점에 대한 처리없이는 침입 탐지가 불가능하다. 본 논문에서는 시뮬레이션 모델을 통하여 시간에 관한 처리를 체계적으로 구성하고, 여러 가지 상황을 조성하여 반복적으로 실행함으로써 침입 탐지 시스템의 핵심 요소인 침입 판별을 효과적으로 수행할 수 있도록 하였다.

• 한국콘텐츠학회논문지
• /
• 제6권11호
• /
• pp.258-265
• /
• 2006

DEVS 형식론은 이산사건 시스템의 구조를 계층적으로 나타낼 수 있기 때문에 복잡한 시스템을 모델링 하기에 적합하며, 가독성이 좋기 때문에 유지 보수에 유리한 장점이 있다. 반면에, 계층적인 모델의 구조는 시뮬레이션 실행 시에 빈번한 메시지 전달을 야기 시켜 시뮬레이션 속도가 저하되는 단점이 있다. 본 논문에서는 계층적인 DEVS 모델들을 하나로 합성하여 빈번한 메시지 전달을 방지하고 시뮬레이션 실행 속도를 개선할 수 있는 모델 합성법을 제안한다. 제안한 방법은 시뮬레이터 실행코드를 생성하기 이전에 구성 모델들 간의 메시지 전달 관계를 해석하여 실행시간에는 모델 해석과정을 생략하도록 하는 기법으로 기존의 모델 수평화 기법보다 훨씬 뛰어난 속도 향상 결과를 보인다. 제안한 방법의 효용성을 보이기 위해 실험을 통하여 시뮬레이션 속도가 18배 정도 개선될 수 있음을 보인다.