MIL-HDBK-516C 기반의 군용항공기 탑재 소프트웨어 개발 프로세스

초록

Since most functions of modern aircraft are controlled by software, software errors are directly related to aircraft safety. The criterion in Chapter 15 of the MIL-HDBK-516C addresses safe development and verification of military aircraft software. As the U.S. Air Force repeatedly experienced non-compliance with Chapter 15 criterion of the MIL-HDBK-516C, it published an Airworthiness Circular (AC-17-01) as a guide to meeting the criterion. In this paper, Chapter 15 of MIL-HDBK-516C, AC-17-01 and the SW Qualification Guideline (DO-178C) as applied by the Federal Aviation Administration are compared and analyzed. For the analysis, a matching ratio formula between the MIL-HDBK-516C criteria specified in AC-17-01 and the DO-178C specified in MIL-HDBK-516C criteria is defined. The sections that satisfy MIL-HDBK-516C criterion are derived when AC-17-01 or DO-178C matches. Based on the analysis results, the aircraft software development process is established and examples of application of Chapter 15 of MIL-HDBK-516C are addressed.

키워드