Verification of Self-Adaptation Strategy for Unmanned Weapon Systems

자가 적응 무인 시스템의 임무수행 전략 검증

자가 적응 시스템을 무인 시스템(UWS: Unmanned Weapon Systems)에 적용하기 위한 다양한 연구가 이루어지고 있다. 자가 적응 시스템은 임무중인 시스템이 다양한 주변 환경 및 시스템의 변화에 따라 능동적으로 시스템 또는 임무수행을 위한 전략을 주정해 항상 최상의 성능을 발휘할 수 있도록 하는 능력을 갖춘 시스템을 말한다. 자가 적응 시스템에서 능동적으로 변화시킨 시스템의 아키텍처나 임무수행 전략이 유효한 것인지에 관한 검증을 수행한 후 시스템에 적용해야 한다. 기존의 대부분의 자가 적응 시스템에 대한 연구결과에서는 능동적으로 변화된 시스템이 임무수행에 적합한지에 대한 검증 방법을 제시해 주고 있지 않다. 본 연구에서는 UWS의 자가 적응 시스템이 임무수행 중 변화 되었을 때 미래의 발생할 사건에 대해 적절하게 적용 가능한지를 검증하기 위하여 시간적인 사건의 완전성을 검증하기에 적합한 Computation Tree Logic(CTL) 모델체킹(Model Checking)을 적용하여 자가 적응 시스템의 적응결과를 검증하는 방법을 제시하였다.