[논문 리뷰] An Introduction to Classic DEVS

Yentl Van Tendeloo, Hans Vangheluwe|arXiv (Cornell University)|2017. 01. 26.

Simulation Techniques and Applications참고 문헌 10인용 수 3

한 줄 요약

이 논문은 이산사건 추상화를 사용하여 복잡한 동적 시스템을 모델링하기 위한 형식적 방법인 Classic DEVS를 소개한다. 이는 엄밀한 의미론, 모ularity, 계층적 조합을 강조한다. 교육적 목적의 하향식 튜토리얼을 교통 신호등 예제를 통해 제시하며, 추상 시뮬레이터를 통한 시뮬레이션을 설명하고, 성능 분석 분야의 응용과 Parallel DEVS, Dynamic Structure DEVS, Cell-DEVS와 같은 변종이 해결하는 한계를 논의한다.

ABSTRACT

DEVS is a popular formalism for modelling complex dynamic systems using a discrete-event abstraction. At this abstraction level, a timed sequence ofpertinent "events" input to a system (or internal, in the case of timeouts) cause instantaneous changes to the state of the system. Between events, the state does not change, resulting in a a piecewise constant state trajectory. Main advantages of DEVS are its rigorous formal definition, and its support for modular composition. This chapter introduces the Classic DEVS formalism in a bottom-up fashion, using a simple traffic light example. The syntax and operational semantics of Atomic (i.e., non-hierarchical) models are intruced first. The semantics of Coupled (hierarchical) models is then given by translation into Atomic DEVS models. As this formal "flattening" is not efficient, a modular abstract simulator which operates directly on the coupled model is also presented. This is the common basis for subsequent efficient implementations. We continue to actual applications of DEVS modelling and simulation, as seen in performance analysis for queueing systems. Finally, we present some of the shortcomings in the Classic DEVS formalism, and show solutions to them in the form of variants of the original formalism.

연구 동기 및 목표

• 복잡한 동적 시스템을 이산사건 추상화를 사용하여 모델링하기 위한 형식적 방법으로서 Classic DEVS에 대한 종합적이고 접근 가능한 소개를 제공하는 것.
• 지속적인 교통 신호등 예제를 통해 원자적 및 결합된 DEVS 모델의 형식적 문법과 운영 의미론을 설명하는 것.
• 직접 계층적 DEVS 모델에 대해 작동하는 추상 시뮬레이터를 제시하여 모듈러하고 효율적인 시뮬레이션을 가능하게 하는 것.
• DEVS의 실용적 응용, 특히 대기열 시스템에 대한 성능 모델링에서의 유용성을 설명하는 것.
• Classic DEVS의 주요 한계를 식별하고, 이러한 단점을 보완하기 위한 주요 변종, 예를 들어 동적 구조 및 세포 모델링 지원을 제공하는 변종을 소개하는 것.

제안 방법

• 교통 신호등 예제를 사용하여 원자적 DEVS 모델을 소개하고, 각 상태에 대한 상태 집합과 시간 진전 함수를 정의한다.
• 입력 이벤트와 내부 타임아웃 기반의 이벤트 기반 상태 전이를 정의하여 조각별로 일정한 상태 궤적을 보장한다.
• 포트와 커플링을 통해 원자적 모델로의 번역을 통한 결합된 DEVS 모델을 제시하여 계층적 조합을 가능하게 한다.
• 플랫 번역보다 효율적인 방법으로 계층적 구조를 직접 운영하는 추상 시뮬레이터를 개발한다.
• 형식적 방법을 대기열 시스템 모델에 적용하여 성능 분석 및 시스템 평가에서의 유용성을 입증한다.
• 핵심 변종인 Parallel DEVS, Dynamic Structure DEVS, Cell-DEVS를 제안하고 설명하며, 각각 Classic DEVS의 특정한 한계를 해결한다.

실험 결과

연구 질문

• RQ1 Classic DEVS와 같은 이산사건 형식적 방법은 엄밀한 의미론과 모ularity를 갖추고 복잡한 동적 시스템을 어떻게 모델링할 수 있는가?
• RQ2 원자적 및 결합된 DEVS 모델의 핵심 구성 요소와 운영 의미론은 무엇이며, 어떻게 계층적 시스템 조합을 지원하는가?
• RQ3 추상 시뮬레이터는 완전한 평탄화 없이 어떻게 결합된 DEVS 모델의 효율적 시뮬레이션을 가능하게 하는가?
• RQ4 Dynamic Structure DEVS와 Cell-DEVS와 같은 변종은 어떤 방식으로 구조적 탄력성과 시간 해상도의 한계를 극복하는가?
• RQ5 DEVS는 대기열 시스템에 대해 성능 모델링에서 실용적으로 어떻게 응용되는가?

주요 결과

• Classic DEVS는 형식적으로 정의된 모듈러 프레임워크를 제공하며, 모델과 시뮬레이션 커널 간의 명확한 분리를 보장한다.
• 추상 시뮬레이터는 평탄화 과정을 피하고 계층적 구조를 직접 운영함으로써 결합된 모델의 효율적 시뮬레이션을 가능하게 한다.
• 교통 신호등 예제는 원자적 모델에서 결합된 모델로의 전환을 효과적으로 설명하며, 이벤트 처리와 상태 전이를 시연한다.
• 대기열 시스템에 대한 응용은 DEVS가 시스템 처리량과 대기 시간을 모델링하는 데 효과적임을 보여주며, 성능 분석에 적합하다.
• Dynamic Structure DEVS와 Cell-DEVS와 같은 변종은 각각 동적 구조적 변화 및 세포 모델링을 지원함으로써 Classic DEVS의 적용 범위를 확장한다.
• 성능적 트레이드오프가 존재하더라도, Parallel DEVS는 그 형식적 우아함과 기존 도구 및 프레임워크와의 호환성으로 인해 널리 사용된다.