DOI QR코드

DOI QR Code

Implementation and Static Verification Methodology of Discrete Event Simulation Software based on the DEVS Diagram: A Practical Approach

DEVS 다이어그램 기반 이산사건 시뮬레이션 소프트웨어 구현 및 정적 검증기법: 실용적 접근방법

  • Received : 2018.08.01
  • Accepted : 2018.09.05
  • Published : 2018.09.30

Abstract

Discrete Event System Specification (DEVS) has been used for decades as it provides sound semantics for hierarchical modular specification of discrete event systems. Instead of the mathematical specification, the DEVS diagram, based on the structured DEVS formalism, has provided more intuitive and convenient representation of complex DEVS models. This paper proposes a clean room process for implementation and verification of a DEVS diagram model specification into a simulation software source code. Specifically, it underlies a sequence of transformation steps from conformance and integrity checking of a given diagram model, translation into a corresponding tabular model, and finally conversion to a simulation source code, with each step being inversely verifiable for traceability. A simple example helps developers to understand the proposed process with associated transformation methods; a case study shows that the proposed process is effective for and adaptable to practical simulation software development.

이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하고 있어 이산사건시스템 모델링 시뮬레이션 (M&S)에 많이 사용되어 왔다. 이러한 수학적 표현 대신에 DEVS 다이어그램은 복잡한 시스템을 보다 직관적이며 편리한 표현력을 제공한다. 본 논문은 DEVS 다이어그램을 이용하여 표현된 모델을 시뮬레이션 코드로 체계적으로 구현하며 검증하는 DEVS 클린룸 프로세스를 제안하였다. 구체적으로, 주어진 다이어그램 모델의 적합성 검사, 테이블 DEVS 모델로의 변환, 마지막으로 시뮬레이션 소스코드로 변환하는 방법과 역으로 추적성을 기반으로 한 검사기법을 통해 정적 검증하는 구체적인 방법을 제시하였다. 간단한 예제를 통해 제안된 프로세스를 적용하는 구체적인 방법을 설명하였으며, 적용사례 통해 제안된 기법이 실용적으로 적용 가능한 효과적인 프로세스임을 확인하였다.

Keywords

References

  1. Byun, J.H, Choi, C.B., Kim, T.G., 2009. "Verification of the DEVS model implementation using aspect embedded DEVS," 2009 Proceeding of Spring Simulation Multiconference, Artical No. 151.
  2. DTaQ, 2016. Request for Proposal: Total life-cycle RAM standard dataset system development: third phase. Retrieved by google search from https://www.dtaq.re.kr/ at 2018.7.
  3. DTaQ, 2015. Simulation model definition document for RAM validation and verification, Technical Report.
  4. 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
  5. Karl Wiegers, 2001. Peer Reviews in Software: A Practical Guide, Addison-Wesley Professional.
  6. Kim, T. G., C. H. Sung, et. al, 2011. "DEVSim++ Toolset for Defense Modeling and Simulation 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
  7. Mills, H.D., Dyer, M. and Linger, R.C, 1987. Cleanroom Software Engineering, IEEE Software.
  8. Saadawi, H., and Wainer, G., 2013. "Principles of discrete event system specification model verification," Simulation, vol. 89, Issue 1, pp. 41-67. https://doi.org/10.1177/0037549711424424
  9. Song, H.S., and T. G. Kim, 2010. "DEVS Diagram Revised: A Structred Approach For DEVS Modling," 2010 European Simulation and Modeling Conference, Hasselt, Belgium, Oct. 2010.
  10. Song, H.S., 2012. "Structured DEVS Formalism: A Structural Modelling Method of Discrete Event Systems," Journal of Korean Simulation Society, vol. 21, no.2, pp. 19-30.
  11. Sung, Changho and Tag Gon Kim, 2012. "Collaborative Modeling Process for Development of Domain-Specific Discrete Event Simulation Systems," IEEE Transactions on Systems, Man, and Cybernetics - Part C: Applications and Reviews, Vol. 42, No. 4, pp. 532-546. https://doi.org/10.1109/TSMCC.2011.2135850
  12. Zeigler, B.P and Tag G. Kim, 2000. Theory of Modelling and Simulation (2ndEd.), Acedemic Press.