Abstract
We propose an autonomous mission management software design and verification technique for unmanned aerial vehicles to autonomously mitigate dynamic situation changes occurred in the inside and outside of an aircraft in compliance with the mitigation priority order. The proposed autonomous mission management software is designed in a modular architecture that consists of concurrently executing multiple threads. To verify it, we suggest three verification steps: 1) software integration by checking the expected request/response messages between the threads for all possible dynamic situation changes; 2) integration test to verify the software functionality; 3) performance test to verify the quantitative software performance. Especially, the software integration test environment is built and utilized to carry out the integration and performance tests.
본 논문에서는 비행 중 비행체 내·외부에서 발생하는 동적상황 변화에 대해 대응 우선순위에 따라 무인기가 자율적으로 대처할 수 있는 무인기 자율 임무관리 소프트웨어의 설계 및 검증 기법을 제안한다. 제안된 무인기 자율 임무관리 소프트웨어는 다중 스레드 기반의 동시 수행 가능한 모듈화 구조로 하위 소프트웨어들을 설계하였으며, 이를 검증하기 위해 1) 모든 동적상황 변화에 대한 스레드들 간의 요청/응답 메시지를 확인하는 소프트웨어 통합 기법과 2) 소프트웨어 통합검증환경을 활용하여 소프트웨어의 기능 검증을 수행하는 통합시험 및 3) 정량적 성능 검증을 수행하는 성능시험 기법을 제시한다. 특히, 통합시험과 성능시험을 수행하기 위해 소프트웨어 통합검증환경을 제작하여 활용한다.