• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2003년도 추계학술대회 및 정기총회
• /
• pp.87-93
• /
• 2003

This paper reviews existing message-filtering schemes and presents a quantization-based message-filtering approach which reduces state update transmission and message traffic requirement. For a realization of the approach we develop a DEVS-based integrator which provides behavior and characteristic of the quantization-based approach. We take a spaceship and space traveling system as a case study to evaluate performance of the quantization-based approach. The approach is validated by DEVSJAVA simulations of the case study. The comparison of message traffic requirement between DTSS (Discrete Time System Specification)-based and DEVS-based systems apparently shows system performance improvement through the quantization-based approach.

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

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

• 한국시뮬레이션학회논문지
• /
• 제26권4호
• /
• pp.51-61
• /
• 2017

최근 빅 데이터가 증가하는 추세에 따라 이를 분석 및 처리하고 활용하는 방안에 대한 관심도 증대되고 있다. 이러한 빅 데이터를 저장, 관리하기 위한 대표적인 플랫폼으로 분산 컴퓨팅 프레임워크인 맵리듀스와 분산 파일 시스템인 HDFS로 구성된 하둡 플랫폼이 있다. 하둡은 일반적으로 수백 수천 대 이상의 클러스터로 구축되는데, 이 때 실제 클러스터 구성이나 파라미터에 따라 하둡 플랫폼이 가지는 효과도를 분석하는 것이 중요하다. 하지만 수천 대 이상의 클러스터 구축하여 이를 분석하는 것이 실질적으로 어렵기 때문에 모델링 및 시뮬레이션 기법을 통해 분석하는 것이 필요하다. 본 논문은 계층적이고 모듈러한 모델링이 가능한 DEVS 형식론을 기반으로 하둡 시뮬레이션 환경을 제안한다. 제안하는 시뮬레이션 환경은 하둡 실행 결과를 이용한 입력 모델 설계를 통해 어플리케이션의 특성을 잘 반영할 수 있으며, 파라미터/알고리즘/모델들을 다양하게 변경하여 실험할 수 있는 재겨냥성 환경을 제공한다. 또한 사용자 편의성의 극대화를 위해 사용자 인터페이스, 실시간 모델 뷰어, 입력 시나리오 편집기를 제공한다. 본 논문에서는 어플리케이션 실행 결과와의 비교를 통해 하둡 시뮬레이터를 검증하고, 다양한 파라미터에 대한 실험을 진행한다.

• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1996년도 추계학술대회
• /
• pp.74-79
• /
• 1996

This paper describes a methodology for the development of models of discrete event system(DES). 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 couple DES models within a framework. The structure employs the DEVS formalism for the DES models. The proposed formal structure has been applied to develop a DEVS model for the human cardiovascular system. For this, the cardiac cycle is partitioned into a set of phases based on events identified through VisSim simulation in the CS of the electrical analog model. VisSim is the simulation tool of visual environment for developing continuous, discrete, and hybrid system models and performing dynamic simulation. For each phase, a CS of the electrical analog model for the cardiovascular system has been simulated by VisSim 2.0. To validate this model, first develop the DEVS model, then simulate the model in the DEVSIM++ environment. It has same simulation results for the data obtained from the CS simulation using VisSim. The comparison shows that the DEVS model represents dynamics of the human heart system at each phase of cardiac cycle.

• 한국항행학회논문지
• /
• 제11권4호
• /
• pp.479-484
• /
• 2007

본 논문은 FRA(Fault Recovery Agent)의 설계와 구축을 설명한다. FRA는 홈 네트워크 환경에서 멀티미디어 원격 교육을 위한 소프트웨어 오류를 복구하기에 적합한 에이전트이다. 분산 멀티미디어 시스템 견지에서 보면, QoS의 가장 중요한 범주는 시간성, 볼륨, 신뢰성이다. 본 논문에서는 결함 허용을 통해서 신뢰성을 향상시키는 방법에 대해서 기술한다. 본 논문은 규칙-기반 DEVS 모델링과 시뮬레이션 기법을 사용하면서 분산 멀티미디어 상에서의 오류 복구 시스템의 성능 분석을 설명한다. DEVS에서 하나의 시스템은 시간, 입력, 상태, 출력 및 함수들을 가지고 있다. 제시된 방법이 기존 방법에 비하여 오류 발생률과 작업 수행 시간에 있어서 더 효율적이다.

• 디지털콘텐츠학회 논문지
• /
• 제6권1호
• /
• pp.85-88
• /
• 2005

분산 멀티미디어 응용에 대한 요구는 정교한 QoS 관리를 위해서 필요하다. 분산 멀티미디어 시스템 견지에서 보면, QoS의 가장 중요한 범주는 시간성, 볼륨, 신뢰성이다. 본 논문에서는 결함 허용을 통해서 신뢰성을 향상시키는 방법에 대해서 기술한다. ERA는 분산 멀티미디어에서 하나의 소프트웨어 오류를 자동적으로 복구할 수 있는 시스템이다. 본 논문은 규칙-기반 DEVS 모델링과 시뮬레이션 기법을 사용하면서 분산 멀티미디어 상에서의 오류 복구 시스템의 성능 분석을 설명한다. DEVS에서 하나의 시스템은 시간 입력, 상태, 출력 및 함수들을 가지고 있다.

• 디지털콘텐츠학회 논문지
• /
• 제9권4호
• /
• pp.785-790
• /
• 2008

디지털 캐로절은 사용자들에게 미디어 동기화 메카니즘을 통하여 미디어 객체 공유를 가능하게 한다. 본 시스템은 공동 작업에 참여한 사용자들이 다른 참여자들에게 같은 뷰로써 공유된 미디어 또는 오류 객체들을 참조할 수 있도록 구축한다. 본 논문에서는 결함 허용을 통하여 신뢰성을 향상시키는 방법에 대해서 기술한다. ER은 분산 멀티미디어에서 하나의 소프트웨어 오류를 자동적으로 복구할 수 있는 시스템이다. 본 논문은 규칙-기반 DEVS(Discrete Event System Specification) 모델링과 시뮬레이션 기법을 사용하면서 분산 멀티미디어 상에서의 오류 복구 시스템의 성능 분석을 설명한다. DEVS에서 하나의 시스템은 시간, 입력, 상태, 출력 및 함수들을 가지고 있다.

• 한국컴퓨터정보학회논문지
• /
• 제23권2호
• /
• pp.45-51
• /
• 2018

In this paper, we propose a Designed and Developed home router management system. Through the fourth industrial revolution and development of IoT technology, now people can experience a wide range of IoT related services at their workplace or daily lives. At the industrial site, IoT devices are used to improve productivity such as factory automation, and at home, IoT technology is used to control home appliances from a remote distance. Usually IoT device is integrated and controlled by the router. Home router connects different IoT devices together at home, however when security issues arise, it can invade personal privacy. Even though these threats exist, the perception for home router security is still insufficient. In this paper, we have designed and developed home router management system using DEVS methodology to promote the safe use of home router. Through the DEVS methodology, we have designed the system and developed the mobile application. This management system enables users to set up security options for home router easily.

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

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

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2005년도 추계학술대회 및 정기총회
• /
• pp.65-70
• /
• 2005

Recently, Grid is embossed as a new issue according to the need of cooperation related to distributed resources, data sharing, Interaction and so on. It focuses on sharing of large scale resources, high-performance, applications of new paradigms, which improved more than established distributed computing. Because of the environmental specificity distributed geographically and dynamic, the most important problem in grid environment is to share and to allocate distributed grid resources. This paper proposes supply-driven strategies model that is applicable for resource management in grid environment and presents a optimal resource allocation algorithm based on resource demands. Supply-driven strategies model can offer efficient resource management by transaction allocation based on user demand and provider strategy. This paper implements the supply-driven strategies model on the DEVS modeling and simulation environment and shows the efficiency and excellency of this model by comparing with established models.