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

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

DOI QR Code

Dynamic Verification Methodology of User Code in AddSIM Environment

AddSIM 환경에서의 사용자 코드 동적 검증 방법론

  • Received : 2019.01.25
  • Accepted : 2019.03.14
  • Published : 2019.03.31
Download PDF
⟨ Previous Next ⟩

Abstract

Defense simulation is actively used to test various weapon systems and evaluate their effectiveness. The AddSIM environment is a simulation framework designed to support the weapon systems dealt with in defense simulation from an integrated point of view and is designed for reuse and scalability. Models used in AddSIM require base model structure fidelity and verification of user code area. Therefore, this paper describes the dynamic verification method used for completeness of models used in AddSIM. For the dynamic verification of user code, the specification method and the verification algorithm are described. Also, we introduce the prototype of the dynamic verifier implemented based on verification specification method and algorithm. The case study analyzes the verification results based on the simulation example implemented in AddSIM environment.

국방 시뮬레이션은 여러 무기체계를 실험하고 그 효용성을 평가하기 위해 활발히 사용된다. AddSIM 환경의 경우 국방 시뮬레이션에서 다루는 무기체계들을 보다 통합적인 관점에서 지원하기 위해 고안된 시뮬레이션 프레임워크로 재사용성과 확장성을 고려하여 설계되었다. AddSIM에서 사용되는 모델의 경우 기본 모델 구조에 대한 정보와 실제 무기 체계의 설계를 위해 사용되는 사용자 코드 영역에서의 검증이 통합적이며 정확한 시뮬레이션을 위해 필요하다. 따라서 본 논문에서는 AddSIM에서 사용되는 모델들에 대한 완전성을 위해 사용된 동적 검증 방법에 대해 설명한다. 사용자 코드 동적 검증 방법에 대해서는 명세 기법과 검증을 위한 알고리즘에 대해 설명한다. 또한, 검증 명세 기법 및 알고리즘을 바탕으로 구현된 동적 검증기 프로토타입에 대해 소개하며, 사례 연구에서는 AddSIM 환경에서 구현된 시뮬레이션 예제를 바탕으로 수행한 검증 결과를 분석한다.

Keywords

SMROBX_2019_v28n1_41_f0001.png 이미지

Fig. 1. Pseudo-code requirements specification template

SMROBX_2019_v28n1_41_f0002.png 이미지

Fig. 2. Dynamic Verification DEVS Model

SMROBX_2019_v28n1_41_f0003.png 이미지

Fig. 3. Dynamic Verification of Single AddSim Model

SMROBX_2019_v28n1_41_f0004.png 이미지

Fig. 4. Dynamic Verification of Multiple AddSim Models

SMROBX_2019_v28n1_41_f0005.png 이미지

Fig. 5. Schematic of AddSIM’s Dynamic Verification

SMROBX_2019_v28n1_41_f0006.png 이미지

Fig. 6. Scenario of simulation example

SMROBX_2019_v28n1_41_f0007.png 이미지

Fig. 7. Requirement 1 Verifier Model

SMROBX_2019_v28n1_41_f0008.png 이미지

Fig. 9. Verification execution result

SMROBX_2019_v28n1_41_f0009.png 이미지

Fig. 8. Requirement 2 Verifier Model

Table 1. Components of the Dynamic Verification Requirements Specification Model

SMROBX_2019_v28n1_41_t0001.png 이미지

References

  1. Balci, O. (2003, December). Verification, validation, and certification of modeling and simulation applications: verification, validation, and certification of modeling and simulation applications. In Proceedings of the 35th conference on Winter simulation: driving innovation (pp. 150-158). Winter Simulation Conference.
  2. Kim, T.G. (2017) DEVSim++ User Manual, available at http://smslab.kaist.ac.kr
  3. Kung, D., & Zhu, H. (2007). Software verification and validation. Wiley Encyclopedia of Computer Science and Engineering.
  4. Oh, H. S., Park, S., Kim, H. J., Lee, T., Lee, S., Kim, D., ... & Park, J. H. (2014, December). AddSIM: A new Korean engagement simulation environment using high resolution models. In Simulation Conference (WSC), 2014 Winter (pp. 2942-2953). IEEE.
  5. Zeigler, B. P., Praehofer, H., & Kim, T. G. (1976). Theory of modelling and simulation (Vol. 7). New York: Wiley.
  6. 김도형, 박주혜, 오현식, & 박삼준. (2014). 컴포넌트기반 체계모의환경(AddSIM)에서 실행을 위한 DEVS 모델 변환 방법. 한국정보과학회 학술발표논문집, 81-83.
  7. 양지용, 최재웅, & 최창범. (2017). 모듈형 시뮬레이션 프레임워크인 ADDSim에서 모델 동적 검증 방법. 한국시뮬레이션학회 학술대회 논문집, 54-56.
  8. 최재웅, 양지용, & 최창범. (2018). DEVS 형식론을 활용한 AddSIM의 사용자 정의코드 및 기본체계모델 동적검증. 한국경영과학회 학술대회논문집, 2131-2135.