Journal of Aerospace System Engineering (항공우주시스템공학회지)

The Society for Aerospace System Engineering (항공우주시스템공학회)
권호 표지
DOI QR코드

DOI QR Code

Software Development Process of Military Aircraft based on MIL-HDBK-516C

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

  • Heo, Jin-Gu (Defense Agency for Technology and Quality / Aerospace Engineering, Gyeongsang National University) ;
  • Moon, Yong-Ho (School of Aerospace and Software Engineering, Gyeongsang National University)
  • 허진구 (국방기술품질원 / 경상국립대학교 기계항공공학부) ;
  • 문용호 (경상국립대학교 항공우주 및 소프트웨어공학과)
  • Received : 2020.09.27
  • Accepted : 2020.11.28
  • Published : 2021.06.30
Download PDF
⟨ Previous Next ⟩

Abstract

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.

현대 항공기에서 대부분의 기능은 소프트웨어에 의해 통제되고 있으므로 소프트웨어 오류는 항공기 안전과 직결된다. MIL-HDBK-516C 15장은 군용항공기 탑재 소프트웨어의 안전한 개발과 검증을 위해서 적용되는 기준이다. 미 공군은 이 기준이 반복적인 미충족을 경험함에 따라 기준 충족을 위한 지침으로 감항성 회람(AC-17-01)을 발간하였다. 본 논문에서는 MIL-HDBK-516C 15장, AC-17-01, 그리고 미 연방 항공청에서 적용하고 있는 SW 인증 지침(DO-178C)을 비교 분석하였다. 먼저 AC-17-01 단계와 각 단계에서 명시된 MIL-HDBK-516C 15장 기준 그리고 MIL-HDBK-516C 기준에서 DO-178C를 명시한 기준간 정합 비율 식을 정의하였다. 그리고 비율 분석을 통하여 AC-17-01과 DO-178C를 달성하는 경우 MIL-HDBK-516C 충족 가능한 기준을 도출하였다. 분석결과를 바탕으로 항공 소프트웨어 개발 프로세스를 수립하고 MIL-HDBK-516C 15장 적용 사례를 제시하였다.

Keywords

References

  1. DAPA, "Military Aircraft Flight Safety Certification Regulation", DAPA Instruction, Number 561, Nov. 2019.
  2. DAPA, "Military Aircraft Standard Airworthiness Certification Criteria", DAPA Notice, 2020-3, Apr. 2020.
  3. US Department of Defense, "AIRWORTHINESS CERTIFICATION CRITERIA", MIL-HDBK-516C, Dec. 2014.
  4. US Air Force, "AIRWORTHINESS CIRCULAR : Verification Expectations for Section 15 Criteria", AC-17-01, Mar. 2017.
  5. RTCA, "Software Consideration in Airborne Systems and Equipment Certification", RTCA DO-178C, Nov. 2011.
  6. Youn Won-Keun, Yi Baeck-Jun, "Development Tread of Software Certification Technology for the Safety of Avionic system", Aerospace Industry Technology Trend, pp 189-196, Nov. 2013.
  7. FAA, "Software Approval Guidelines", FAA ORDER, 8110.49, Sep. 2011.
  8. FAA, "Designated Engineering Representative[DER] Handbook", FAA ORDER, 8110.37E, Mar. 2011.
  9. Jin Gu Heo, Min Sung Kim, Man Tae Kim, Yong Ho Moon, "The Study on Airworthiness Certification Process on Military Airborne Safety Critical Software based on DO-178", Journal of Aerospace System Engineering, Vol.13, No.1, pp. 62-68, Feb. 2019 https://doi.org/10.20910/JASE.2019.13.1.62
  10. DAPA, Weapon System S/W Development and Management Manual, Notice 2020-1, Feb. 2020.