유도무기 체계의 역순차적 V&V 한계 분석 및 기밀 컴퓨팅(Confidential Computing) 기반 보안 M&S 설계 검증 프레임워크 연구
Ⓒ 2026 Korea Society for Naval Science & Technology
초록
본 논문에서는 알고리즘 보안 제약으로 인해 M&S 도구의 사전 ‘설계 검증’이 제한되고 사후 비행시험 데이터로 이를 대체하는 유도무기 체계의 역순차적 V&V의 한계점을 분석한다. 이러한 방식은 시나리오 커버리지 부족과 오류 추적성 저하를 초래하여 M&S 신뢰성 확보를 저해한다. 이를 극복하기 위해, 본 논문에서는 기밀 컴퓨팅(TEE)과 국방 M&S 표준(FMI, HLA/RTI)을 결합한 보안 연합 M&S 설계 검증 프레임워크를 제안한다. 제안하는 프레임워크는 원천 기술의 IP를 런타임에서 보호하는 동시에, 실사격 이전 가상 환경에서 대규모 시뮬레이션을 통한 정상적인 하향식 설계 검증을 가능하게 한다.
Abstract
In this study, we analyzed the limitations of reverse-sequential verification and validation in guided missile systems, where pre-design verification of modeling and simulation (M&S) tools is restricted by algorithm security constraints and substituted with post-flight test data. This approach limits M&S reliability by reducing scenario coverage and degrading error traceability. To address this issue, this study proposes a secure federated M&S design verification framework combining confidential computing with defense M&S standards such as FMI and HLA/RTI. This framework strictly protects the intellectual property of the original technology at runtime while enabling top-down design verification through large-scale simulations in a virtual environment prior to live-fire testing.
Keywords:
Defense M&S VV&A, Design Verification, Confidential Computing, Trusted Execution Environment, Reverse-Sequential V&V키워드:
국방 M&S VV&A, 설계 검증, 기밀 컴퓨팅, 신뢰 실행 환경, 역순차적 V&VReferences
- Department of Defense (DoD), DoD Instruction 5000.61: DoD Modeling and Simulation (M&S) Verification, Validation, and Accreditation (VV&A), Washington, DC: U.S. Department of Defense, 2009.
-
Osman Balci, ‘Verification, Validation, and Testing,’ in Jerry Banks (Ed.), Handbook of Simulation: Principles, Methodology, Advances, Applications, and Practice, John Wiley & Sons, 1998, pp. 335-393.
[https://doi.org/10.1002/9780470172445.ch10]
-
Robert G. Sargent, ‘Verification and Validation of Simulation Models,’ Journal of Simulation, VOL. 7, 2013, pp. 12-24.
[https://doi.org/10.1057/jos.2012.20]
- INCOSE (International Council on Systems Engineering), Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities (4th ed.), John Wiley & Sons, 2015.
- 방위사업청, 무기체계 소프트웨어 개발 및 관리 매뉴얼, 2023.
- Confidential Computing Consortium, A Technical Analysis of Confidential Computing, The Linux Foundation, 2021.
- Victor Costan & Srinivas Devadas, ‘Intel SGX Explained,’ IACR Cryptology ePrint Archive, 2016, Article 086.
-
Sandro Pinto & Nuno Santos, ‘Demystifying Arm TrustZone: A Comprehensive Survey,’ ACM Computing Surveys (CSUR), VOL. 51, NO. 6, 2019, pp. 1-36.
[https://doi.org/10.1145/3291047]
-
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, & Vikas Bhatia, ‘Toward Confidential Cloud Computing,’ Communications of the ACM, VOL. 64, NO. 6, 2021, pp. 54-61.
[https://doi.org/10.1145/3453930]
- IEEE, ‘IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) - Framework and Rules,’ IEEE Std 1516-2010, 2010, pp. 1-38.
-
Torsten Blochwitz, Martin Otter, Johan Akesson, Martin Arnold, Christoph Clauß, Hilding Elmqvist, Markus Friedrich, Andreas Junghanns, Jakob Mauß, Dietmar Neumerkel et al., ‘Functional Mock-up Interface 2.0: The Standard for Tool Independent Exchange of Simulation Models,’ in Proceedings of the 9th International Modelica Conference, Munich, Germany, 2012, pp. 173-184.
[https://doi.org/10.3384/ecp12076173]
-
Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, & Hans Vangheluwe, ‘Co-Simulation: State of the Art,’ arXiv preprint arXiv:1702.00686, , 2018.
[https://doi.org/10.1145/3179993]
- Frederick Kuhl, Richard Weatherly, & Judith Dahmann, Creating Computer Simulation Systems: An Introduction to the High Level Architecture, Prentice Hall PTR, 1999.