Journal of the Korea Society for Simulation (한국시뮬레이션학회논문지)

The Korea Society for Simulation (한국시뮬레이션학회)
권호 표지
DOI QR코드

DOI QR Code

Structured DEVS Formalism: A Structural Modelling Method of Discrete Event Systems

Structured DEVS Formalism: 이산사건 시스템의 구조적 모델링 기법

  • 송해상 (서원대학교 컴퓨터공학과)
  • Received : 2012.04.14
  • Accepted : 2012.06.12
  • Published : 2012.06.30
Download PDF
⟨ Previous Next ⟩

Abstract

In recent decades, it has been known that the Discrete Event System Specification, or DEVS, formalism provides sound semantics to design a modular and hierarchical model of a discrete event system. In spite of this benefit, practitioners have difficulties in applying the semantics to real-world systems modeling because DEVS needs to specify a large size of sets of events and/or states in an unstructured form. To resolve the difficulties, this paper proposes an extension of the DEVS formalism, called the Structured DEVS formalism, with an associated graphical representation, called the DEVS diagram, by means of structural representation of such sets based on closure property of set theory. The proposed formalism is proved to be equivalent to the original DEVS formalism in their model specification, yet the new formalism specifies sets in a structured form with a concept of phases, variables and ports. A simplified example of the structured DEVS with the DEVS diagram shows the effectiveness of the proposed formalism which can be easily implemented in an objected-oriented simulation environment.

최근 몇 십년간 이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하여 왔다. 그럼에도 불구하고 실용 엔지니어들은 실세계의 시스템을 모델링에 적용하는데 어려움을 겪기도 하는데 이는 DEVS가 많은 상태와 사건들을 구조화되지 않은 형태로 명세해야 하는 것 때문이다. 본 논문은 집합 이론을 바탕으로 그러한 사건 및 상태집합들을 구조화된 형태로 표현하는 Structured DEVS 형식론과 이와 연관된 DEVS 다이어그램을 제안하고자 한다. 위상, 변수, 포트 등의 개념을 사용하여 집합들을 명세한 구조적 DEVS 형식론은 원래의 DEVS 형식론과 동등함을 증명하였다. DEVS 다이어그램을 이용하여 구조적 DEVS 형식론으로 표현된 예시 모델이 쉽게 객체지향 시뮬레이션 환경에서 구현될 수 있음을 보임으로써 제안된 형식론이 효과적임을 보였다.

Keywords

References

  1. Lee, S.Y, Jang, S.H., Lee, J.S. (2010) "워게임 시뮬레이션에서 전장상황을 고려한 최적경로 모델링 및 시뮬레이션", 한국시뮬레이션학회논문지, Vol. 19, No. 3, pp. 27-35.
  2. Lim, S.Y. and Kim, T.G. (2001) "DEVS형식론에 기반한 하이브리드 시스템 모델링 시뮬레이션 방법론 - 제1부:모델링 및 시뮬레이션 방법론", 한국시뮬레이션학회논문지, Vol. 10, No. 3, pp.1-14.
  3. Song, Hae S., Lee, J.Y., Kim, T.G. (2010) "DEVS-based Modeling Simulation for Semiconductor Manufacturing Using an Simulation-based Adaptive Real-time Job Control Framework", 한국시뮬레이션학회논문지, Vol. 10, No. 3, pp. 45-54.
  4. Hong, Jun S.; Hae S. Song; Tag G. Kim and K. H. Park. 1997. "A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development", Discrete Event Dynamic Systems, Vol. 7, No. 4, pp. 355-375. https://doi.org/10.1023/A:1008262409521
  5. Hong, Ki J. and Tag G. Kim. (2006) "DEVSpecL-DEVS specification language for modeling, simulation and analysis of discrete event systems", Information and Software Technology, Vol. 48, No. 4, pp. 221-234. https://doi.org/10.1016/j.infsof.2005.04.008
  6. Kim, Jae H. and Tag G. Kim. (2006) "Parametric Behavior Modeling Framework for War Game Models Development Using OO Co-Modeling Methodology", 2006 Spring Simulation MultiConf., Huntsville, USA, pp. 69-75.
  7. Kim, Tag G.; C. H. Sung; S.Y. Hong; J.H. Hong; C.B. Choi, J.H. Kim; K.M. Seo; and J.W. Bae. (2011) "DEVSim++ Tools Set for Defense M&S and Interoperation", The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology, Vol. 8, No. 3, pp. 129-142. https://doi.org/10.1177/1548512910389203
  8. Kim, Tag G. and S. B. Park. (1992) "The DEVS formalism: hierarchical modular systems specification in C++", 1992 European Simulation Multi-conference, York, United Kingdom. pp. 152-156.
  9. Moallemi, M. and Gabriel A. Wainer. (2010) "Designing and Interface for Real-Time and Embedded DEVS", Proceedings of 2010 Spring Simulation Conference, pp. 154-161.
  10. Nikolaidou, M.; V. Dalakas; L. Mitsi; G.D. Kapos; and D. Anagnostopoulos. (2008) "A SysML Profile for Classical DEVS Simulators", Proceedings of 3rd Internal Conference on Software Engineering Advances, pp. 445-450.
  11. Song, Hae S. and Tag G. Kim. (2005) "Application of Real-time DEVS to Analysis of Safety-critical Embedded Control Systems: Railroad-crossing Control Example", Simulation, Vol. 81, No. 2, pp. 119-136. https://doi.org/10.1177/0037549705052229
  12. Song, Hae S. and Tag G. Kim. (2010) "DEVS Diagram Revisited: A Structured Approach for DEVS Modeling", Proc. of 2010 European Simulation and Modelling Conference, oct. 25-27 Hasselt, Belgium, pp. 94-101.
  13. Zeigler, B.P. (1984), Multifacetted Modeling and Discrete Event Simulation, Academic Press.
  14. Zeigler, B. P. and Tag G. Kim. (2000) Theory of Modelling and Simulation (2nd Ed.), Academic Press.