본 논문에서는 무인기 핵심 SW 기술 확보를 위해 다양한 기종에 적용 가능한 무인기 공통 탑재 SW의 표준 플랫폼을 위한 다기종 무인기용 표준 소프트웨어 개발의 일환으로 무인기 비행제어 소프트웨어 검증 방법에 관한 연구를 수행하였다. 무인기 WBS 비행제어 소프트웨어는 Safety-Critical 소프트웨어로서 DO-178B Level A 수준에 준하는 개발 프로세스 절차를 통하여 개발되었고, 이를 위해 적용된 소프트웨어 검증방법에 대해 살펴보았다. 소프트웨어 그 자체 분석을 위한 정적분석 도구(QAC)와 DO-178B Level A 수준에 준하는 MC/DC 커버리지를 위한 동적분석 도구(VectorCast)를 이용한 검증방법, 그리고 비행제어 소프트웨어 전체 컴포넌트를 통합하여 In-house 도구를 이용한 소프트웨어 통합 테스트 수행에 대해 연구하였다.
In this paper, a study on development of UAV flight control software verification method as standard software development for various model of UAV for standard platform of UAVs common software to apply to various models in order to obtain a new main software technology of UAV. The UAV WBS flight control software as Safety-Critical software was developed through development process is based on DO-178B Level A, and overviewed about software verification method applied for it. Verification methods using dynamic analysis tool (VectorCast) for MC/DC coverage is based on DO-178B Level A and static analysis tool (QAC) for software itself, and studied about software integration test execution using In-house tool merging the whole component of flight control software.