Browse > Article
http://dx.doi.org/10.5139/JKSAS.2021.49.6.505

Autonomous Mission Management Software Design and Verification Technique for Unmanned Aerial Vehicles  

Chang, Woohyuk (Aerospace Technology Research Institute, Agency for Defense Development)
Lee, Seung-Gyu (Aerospace Technology Research Institute, Agency for Defense Development)
Kim, Yun-Geun (Aerospace Technology Research Institute, Agency for Defense Development)
Oh, Taegeun (Aerospace Technology Research Institute, Agency for Defense Development)
Publication Information
Journal of the Korean Society for Aeronautical & Space Sciences / v.49, no.6, 2021 , pp. 505-513 More about this Journal
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.
Keywords
Unmanned Aerial Vehicle; Autonomous Mission Management; Software Design; Software Verification;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Barbier, M. and Chanthery, E., "Autonomous Mission Management for Unmanned Aerial Vehicles," Aerospace Science and Technology, Vol. 8, No. 4, June 2004, pp. 359~368.   DOI
2 Murata, T., "Petri Nets: Properties, Analysis and Applications," Proceedings of IEEE, Vol. 77, No. 4, April 1989, pp. 541~580.   DOI
3 Hvattum, L. M., Lokketangen, A. and Glover, F., "Comparisons of Commercial MIP Solvers and an Adaptive Memory (Tabu Search) Procedure for a Class of 0-1 Integer Programming Problems," Algorithmic Operations Research, Vol. 7, No. 1, 2012, pp. 13~20.
4 Chang, W., Lee, D. H. and Kim, S.-H., "A Unified Framework for UAV Mission Planning," Proceeding of The Korean Society for Aeronautical and Space Sciences Fall Conference, November 2019, pp. 667~668.
5 Park, J.-H., Min, C.-O., Lee, D.-W. and Chang, W., "Multi-Mission Scheduling Optimization of UAV Using Genetic Algorithm," Journal of The Korean Society for Aviation and Aeronautics, Vol. 26, No. 2, June 2018, pp. 54~60.   DOI
6 Ricard, M. and Kolitz, S., "The ADEPT Framework for Intelligent Autonomy," VKI Lecture Series on Intelligent Systems for Aeronautics, May 2002.
7 Gonzales, D. and Harting, S., Designing Unmanned Systems with Greater Autonomy: Using a Federated, Partially Open Systems Architecture Approach, RAND Corporation, Santa Monica, 2014.
8 Rasmussen, S., Kingston, D. and Humphrey, L., "A Brief Introduction to Unmanned Systems Autonomy Services (UxAS)," Proceeding of International Conference on Unmanned Aircraft Systems, June 2018, pp. 257~268.
9 English, J. and Wilhelm, J. P., "Collision Avoidance in OpenUxAS," Proceeding of AIAA SciTech Forum, January 2020, pp. 1~9.
10 Laird, J. E., The Soar Cognitive Architecture, The MIT Press, Cambridge, 2012.
11 Towler, J. and Bries, M., "ROS-Military: Progress and Promise," Proceeding of NDIA Ground Vehicle Systems Engineering and Technology Symposium, August 2018, pp. 1~10.
12 Gunetti, P., Dodd, T. and Thompson, H., "A Software Architecture for Autonomous UAV Mission Management and Control," Proceeding of AIAA Infotech, April 2010, pp. 1~11.