• 한국통신학회논문지
• /
• 제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.

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

최근 기업활동의 일부로서 물류의 중요성이 급속히 부각되고 있고, 물류의 전략 개발과 모델링 방면에서 많은 연구가 진행되었다. 본 논문에서는 이산 사건 시스템을 기술하는 언어인 DEVS 형식론을 이용하여 물류 시스템의 성능을 측정하는 시뮬레이터를 구현한다. 본 논문의 대상 시스템은 다수의 차량을 이용하여 다수의 창고에서 다종의 물건들을 다수의 판매처로 운송하는 시스템이다. 각각의 창고에서는 판매처에서 요구한 물건들을 적재하여 판매처에서는 원하는 물건들을 하차하고 정해진 시간 내에 배달되는지를 검증한다. 모델링된 시스템을 시뮬레이션화하기 위해 DEVSim++를 이용한다. DEVSim++는 DEVS 형식론을 C++ 언어로 표현한 것이다. 여러 가상의 데이터로 시뮬레이션한 결과 적절히 동작하는 것을 알 수 있었다. 향후 모델을 확장해서 전국적인 규모에서 시뮬레이션할 수 있는 무류 시뮬레이터를 구현하면 물류 관련 업무에서 필수적으로 쓰일 도구가 될 것이다.

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

본 논문에서는 다수의 승강기들이 서로 협력하여 운영되는 대형 고층 빌딩의 승강기 시스템에 대해서 DEVS 형식론을 이용하여 모델링하고 시뮬레이션한다. 다수의 독립적으로 운영되는 승강기로 이루어진 기존의 승강기 시스템과는 달리, 제안된 시스템에서는 사용자의 요구에 따라 승강기의 스케쥴이 생성, 변경, 삭제되는 동적 스케쥴링 기능을 갖도록 하였다. 제안된 시스템은 승강기 시스템을 나타내는 ELEVATOR 모델과 시뮬레이션 수행에 필요한 실험장치인 EF 모델로 구성된다. ELEVATOR 모델은 빌딩을 나타내는 BUILD 모델, 승강기를 나타내는 ELEV 모델과 각 승가기의 스케쥴을 다이나믹하게 제어하는 SCHED 모델로 구성된다. EF 모델은 실험용 데이터를 생성하는 GENR 모델, 이동하는 승객의 데이터를 추적하고 결과를 수집하는 TRANSD 모델로 구성된다. 모델링된 시스템의 시뮬레이션을 위해 DEVSim++를 이용하여 구현하였다. DEVSim++는 DEVS 형식론을 C++로 구현한 것이다. 시뮬레이션을 통하여 제안된 시스템의 효율, 수행 시간을 기존의 승강기 시스템과 비교, 분석하였다.

• 한국시뮬레이션학회논문지
• /
• 제10권3호
• /
• pp.15-30
• /
• 2001

Hybrid simulation may employ different types of simulation based on which models in different system types are developed. The simulation requires simulation time synchronization and data exchange between such simulators, which is called simulators interoperation. This paper develops such interoperable simulation environments for modeling and simulation of hybrid systems whose components consist of continuous and discrete event systems. The environments, one for centerized and the other for distribute, support interoperation between a discrete event simulator of DEVSim++ and a continuous simulator of MATLAB. The centerized environment, HDEVSim++, is developed by extending the sxisting DEVSim++ environment; the distributed environment, HDEVSimHLA, is developed using the HLA/RTl library. Verification of both environments is made and performance comparison between the two using a simple example is presented. .

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1994년도 추계학술발표회 및 정기총회
• /
• pp.7-8
• /
• 1994

최근 들어 원자재, 재공품 또는 완제품을 신속하고 정확하게 공급/배분하기 위해 저장과 인출을 담당하는 Material Handling System을 이용하여 작업자의 개입요소를 줄이며, 제고관리 Computer를 이용하여 입고/출고 명령을 유효적절하게 처리하는 ASRS(Atomated Storage and Retreival System : 자동창고 시스템)가 널리 공급되고 있다. 중앙은행의 현금창고, 병원의 약품창고, 식품/화장품 회사의 배송창고, 군수물자의 군납창고에 이르기까지 물품의 저장 또는 공급의 필용성을 갖는 곳에서는 어디든지 찾아볼 수 있는 ASRS는 가깝게는 관공소나 대형빌딩의 주차장에도 이의 개념이 도입되어 사용됨을 볼 수 있다. 최근의 인금인상, 구인난등의 이유로 ASRS설치는 계속 증가할 추세에 있으나 자동 창고 시스템을 설치하기 위해서는 막대한 초기 투자가 필요하며 시스템의 설계 및 설치후 운영에 대한 연구가 반드시 필요하다. ASRS의 운영 Rule 검증, 수행능력 분석등의 목적을 갖는 연구에는 여러 접근방법이 있을 수 있으나 구성 설비와 운영 Rule의 복잡한 관계로 컴퓨터 시뮬레이션의 거의 유일한 문제해결 방법이다. ASRS의 Modeling에 관한 기존의 연구로는 수리모델 수립. 이산사건 시스템의 관점에서 event-graphy, petri-net을 이용한 modeling이 있으며 ASRS에 대한 전용 Simulator 개발등이 진행되었다. 본 연구의 대상 시스템은 2개의 Rack과 하나의 Stacker Crane 으로 구성된 Aisle과 입출고의 물류를 처리하는 순환 RGVS(Rail Guided Vehicle System), 입/출고장을 구성하는 Conveyor Net등으로 이루어진 제조-물류시스템의 일반적인 ASRS이다. 또 이 ASRS의 입/출고 방식은 전수 입/출고만을 포함하며 Blocking 방지를 위한 Capaicty 예약, 다중설비 선택등의 문제등을 고려하고 있다. 본 연구의 접근방법으로는 ASRS의 개념적인 Reference Model을 수립하고 이 Reference Model에 대한 Formal Model로 DEVS(Discrete Event System Specification)을 이용하여 시스템을 Modeling하였다. 이의 Computer Simulation을 위하여 DEVS형식론 환경에서의 Simulation Language인 DEVSim ++ⓒ를 이용하여 시스템을 구현하였다.

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

• 정보보호학회논문지
• /
• 제29권2호
• /
• pp.465-472
• /
• 2019

최근 몇 년 사이에 사이버 공격의 보편화로, 사이버 공간내의 공격을 사이버전이라는 일종의 전쟁으로 간주하고 있다. 그러나 사이버전은 직접적인 피해 식별이 불가하여 공격에 대한 아군의 피해 파악이 어렵다. 사이버전에서 발생할 수 있는 공격에 대한 피해를 효과적으로 평가하기 위해, 본 논문은 MOCE(Measure of Cyber Effectiveness) 산출 식을 활용하여 사이버 공격에 대한 피해를 산출할 수 있는 DEVSim++ 기반의 사이버전의 피해 평가 시뮬레이션을 제시한다. 또한 사이버 지휘 통제 단계에서 지휘관의 판단을 돕기 위해, 공격 분류별 피해 받은 개체 수를 벤 다이어그램 형태로 표현하여 결과를 직관적으로 가시화한다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 The Korea Society for Simulation 98 춘계학술대회 논문집
• /
• pp.38-42
• /
• 1998

본 논문에서는 DEVS 형식론과 High Level Architecture에 기반을 둔 이 기종 시뮬레이션 환경의 구축에 대해 기술한다. DEVS 형식론은 여러 가지 방법으로 기술된 모델들을 동일한 형식론으로 간주하기 위해 사용되었다. 즉, 이산사건 모델링을 위한 세가지 세계관(world view)으로 기술된 시뮬레이션 모델들을 DEVS 형식론으로의 변환을 통해 전체적으로는 DEVS 형식론만을 사용한 것과 동일한 형태로 표현되도록 하였다. High Level Architecture는 시뮬레이션 수행시의 상호 연동성을 보장하기 위해 사용되었다. 이때, DEVS 형식론과 High Level Architecture에서의 시뮬레이션 시간 진행 방법이 다르기 때문에 이의 해결을 Synchronizer, EOS 방법을 제안하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권12호
• /
• pp.1493-1503
• /
• 1999

ATM Clustering System과 같이 SAN(System Area Network) 환경에서 동작하는 시스템은 낮은 지연시간과 넓은 대역폭의 네트워크가 필수적이나 기존의 에러 복구 프로토콜들은 이러한 요구를 충족시키기에는 큰 오버헤드를 가지고 있다. 제안된 새로운 에러 복구 프로토콜은 ATM Clustering System 환경에서 최적의 성능을 나타내는 light-weight 프로토콜로 에러가 없는 상황과 에러 복구가 진행중인 상황에 따라 acknowledgement 주기를 적응적으로 변화시키는 adaptive acknowledgement scheme를 제안하여 적용하였다. 제안된 프로토콜은 상용 툴인 SDT를 이용한 논리 검증 받았고, DEVSim++ 환경에서의 성능 분석을 통해 프로토콜이 최상의 성능을 보이기 위한 파라메터 값을 찾았고, 이 값을 적용하였을 때의 성능을 기존의 프로토콜과 비교하여 제안된 프로토콜이 더 우수함을 확인하였다.Abstract While a system working with SAN, such as ATM Clustering System, requires a network with low latency and wide bandwidth, the previous error recovery protocols have a serious network overhead to satisfy this requirement. The suggested error recovery protocol is a light-weight protocol which can shows its best performance at ATM Clustering System and uses a newly suggested adaptive acknowledgement scheme. In the adaptive acknowledgement scheme, the period of acknowledgement is dynamically changed depending on the state of the network. We proved the logical correctness of our protocol with SDT and did performance analysis with DEVSim++. From the analysis, we found the optimal parameter values for best performance and showed that our protocol works better than the previous error recovery protocols.

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

SDR(Software Defined Radio)은 서로 다른 무선 전달 프로토콜간의 유동적 연동을 제공할 수 있는 솔루션이다. u-health 서비스 네트워크와 같은 여러가지 전달 프로토콜을 지원하는 센서노드들로 구성될 수 있는 다종 유비쿼터스 네트워크 환경에서, 특정 노드의 전달 프로토콜을 지원하는 AP(Access Point)로의 트래픽 집중이나, 특정 노드의 전달 프로토콜을 지원하는 AP에서의 장애 발생 또는 미설치로 인한 전달불능 등이 발생할 수 있다. 본 논문에서는 SDR 기능을 가진 노드와 혼잡 제어 기능을 가진 AP를 포함하는 다종 유비쿼터스 네트워크에서의 전달성능을 분석하기 위한 모델링 및 시뮬레이션에 대한 연구결과를 제시한다. 본 연구에서는 전달 프로토콜들의 구체적인 동작과정보다는 다종 전달 프로토콜로 구성된 네트워크에서의 유동적 연동성의 제공에 따른 전체 네트워크의 전달성능의 변화특성(dynamics)을 분석하기 위하여 DEVS(Discrete Event Systems Specification)방법론을 활용하였으며, DEVS형식론에 근거한 모델링과 DEVSim++시뮬레이션환경을 통한 분석결과를 제시하였다.