논문 국내 국내전문학술지(KCI급) AddSIM 환경에서의 사용자 코드 동적 검증 방법론
- 학술지 구분 국내전문학술지(KCI급)
- 게재년월 2019-03
- 저자명 양지용, 최창범
- 학술지명 한국시뮬레이션학회 논문지
- 발행처명 한국시뮬레이션학회
- 발행국가 국내
- 논문언어 한국어
- 전체저자수 2
- 연구분야 공학 > 기타공학
- 원문 링크 https://scienceon.kisti.re.kr/srch/selectPORSrchArticle.do?cn=JAKO201915061086316&SITE=CLICK
홈페이지논문 초록 (Abstract)
국방 시뮬레이션은 여러 무기체계를 실험하고 그 효용성을 평가하기 위해 활발히 사용된다. AddSIM 환경의 경우 국방시뮬레이션에서 다루는 무기체계들을 보다 통합적인 관점에서 지원하기 위해 고안된 시뮬레이션 프레임워크로 재사용성과확장성을 고려하여 설계되었다. AddSIM에서 사용되는 모델의 경우 기본 모델 구조에 대한 정보와 실제 무기 체계의 설계를위해 사용되는 사용자 코드 영역에서의 검증이 통합적이며 정확한 시뮬레이션을 위해 필요하다. 따라서 본 논문에서는AddSIM에서 사용되는 모델들에 대한 완전성을 위해 사용된 동적 검증 방법에 대해 설명한다. 사용자 코드 동적 검증 방법에 대해서는 명세 기법과 검증을 위한 알고리즘에 대해 설명한다. 또한, 검증 명세 기법 및 알고리즘을 바탕으로 구현된 동적검증기 프로토타입에 대해 소개하며, 사례 연구에서는 AddSIM 환경에서 구현된 시뮬레이션 예제를 바탕으로 수행한 검증결과를 분석한다.