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

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

DOI QR Code

LUAV Software Certification Method using Checklists based on DO-178C

DO-178C 기반 체크리스트를 활용한 무인동력비행장치 소프트웨어 인증 방안

  • Ji-Hun Kwon (Aviation Certification Division of Korea Institute of Aviation Safety Technology) ;
  • Dong-Min Lee (Korea Aerospace University) ;
  • Kyung-Min Park (Korea Aerospace University) ;
  • Eun-Hee Lee (Aviation Certification Division of Korea Institute of Aviation Safety Technology) ;
  • Sauk-Hoon Im (Aviation Certification Division of Korea Institute of Aviation Safety Technology) ;
  • Yong-Hun Choi (Aviation Certification Division of Korea Institute of Aviation Safety Technology) ;
  • Jong-Whoa Na (Korea Aerospace University)
  • 권지훈 (항공안전기술원 항공인증본부) ;
  • 이동민 (한국항공대학교) ;
  • 박경민 (한국항공대학교) ;
  • 이은희 (항공안전기술원 항공인증본부) ;
  • 임석훈 (항공안전기술원 항공인증본부) ;
  • 최용훈 (항공안전기술원 항공인증본부) ;
  • 나종화 (한국항공대학교)
  • Received : 2022.10.25
  • Accepted : 2023.01.12
  • Published : 2023.02.28
Download PDF
⟨ Previous Next ⟩

Abstract

As seen in the case of the Boeing 737 Max accident, the proportion of aircraft software is rapidly increasing. However, it is vulnerable to safety issues. In case of domestic aircraft software, to operate a Light Unmanned Aerial Vehicle (LUAV) less than an empty weight of 150 kg, safety certification is required for an Ultra-Light Vehicle (ULV). However, software certification procedure is not included. Since the use of LUAVs has increased recently, software verification is required. This paper proposed a checklist of LUAV software that could be applied to LUAV referring DO-178C, an aviation software certification standard. A case study of applying the proposed checklist to the Model-based Development-based Helicopter Flight Control Computer (FCC) project currently used by domestic and foreign advanced companies and institutions was conducted.

보잉 737 맥스 사고사례에서 볼 수 있듯이 항공기 소프트웨어는 비중이 급속도로 증가하고 있으나 안전문제에서 취약한 것이 드러났다. 국내의 경우, 자체중량 150kg 이하 무인동력비행장치를 운용하려면 초경량비행장치 안전성인증이 요구되지만, 소프트웨어 인증 절차는 포함되지 않는다. 다만, 최근 무인동력비행장치의 활용이 증대됨에 따라 소프트웨어 검증이 요구되는 추세이다. 본 논문은 항공 소프트웨어 인증 규격인 DO-178C를 참조하여 무인동력비행장치에 적용할 수 있는 무인동력비행장치 소프트웨어 체크리스트를 제안하였다. 국내외 선진기업 및 기관에서 활용 중인 모델기반개발(Model-based Development) 기반의 헬리콥터 비행 제어 컴퓨터(FCC) 프로젝트에 제안된 체크리스트를 적용하는 사례연구를 수행하였다.

Keywords

References

  1. Drone "near-miss" incidents with aircraft up more than 25% -UK Airprox Board, https://www.unmannedairspace.info/uncategorized/drone-near-miss-incidents-aircraft-25-uk-airprox-board/, 2019
  2. Sauk-Hoon Im "Introduction of UAV(drone) safety certification", Agricultural drone company site visit and industry meeting (2022)
  3. Veronica L. Foreman, Francesca M. Favaro, Joseph H. Saleh, Christopher W. Johnson, Software in military aviation and drone mishaps: Analysis and recommendations for the investigation process, Reliability Engineering & System Safety, Volume 137, Pages 101-111, 2015 https://doi.org/10.1016/j.ress.2015.01.006
  4. Christopher A. Hart(Team chiar), "Boeing 737 MAX Flight Control System, JATR(Joint Authorities Technical Review) Report", pp.III~IV, 2019.10.11.
  5. Korean Aviation Safety Act, Chapter 10 Ultra-Light vehicle.
  6. A. Jimenez, J. A. M. Merodio, and L. F. Sanz, ''Checklists for compliance to DO-178C and DO-278A standards,'' Computer Standards Interfaces, vol. 52, pp. 41-50, May 2017. https://doi.org/10.1016/j.csi.2017.01.006
  7. J. Andres-Jimenez, J. -A. Medina-Merodio, L. Fernandez-Sanz, J. -J. Martinez-Herraiz and J. Gonzalez-De-Lope, "A Framework for Evaluating the Standards for the Production of Airborne and Ground Traffic Management Software," in IEEE Access, vol. 8, pp. 149142-149161, 2020 https://doi.org/10.1109/access.2020.3014794
  8. Pharus-Tech / https://pharus-tech.com/en/
  9. Jun-Mo Yang, Hyo-Won Yeom, Min-Sung Kim.(2021).A Study on Global Trends and Domestic Studies for Establishing the Unmanned Aircraft Certification System. Journal of the Korea Academia-Industrial cooperation Society, 22(7), 259-265. https://doi.org/10.5762/KAIS.2021.22.7.259
  10. Jin Gu Heo, Min Sung Kim, Man Tae Kim, Yong Ho Moon.(2019).The Study on Airworthiness Certification Process on Military Airborne Safety Critical Software based on DO-178. Journal of Aerospace System Engineering, 13(1), 62-68.
  11. Software Considerations in Airborne Systems and Equipment Certification, document RTCA, DO-178C, 2011
  12. O. Laitenberger, J.M. DeBaud, An encompassing life cycle centric survey of software inspection, J. Syst. Softw. 50 (1) (2000) 5-31. https://doi.org/10.1016/S0164-1212(99)00073-4
  13. L.M. Muriana, C. Maciel, F.F. Mendes, QualiCES: a method for verifying the consistency among documents of the engineering phase, in: Proceedings of the 30th ACM international conference on Design of communication, ACM, 2012, pp. 105-114.
  14. T. Capers Jones, Estimating Software Costs, 2nd ed., McGraw-Hill Professional, New York, USA, 2007, pp. 1-644.
  15. https://kr.mathworks.com/videos/using-qualified-tools-in-a-do-178c-development-process-part-11-tool-qualification-1509539322829.html
  16. https://github.com/wfpotter/DO178 Case Study
  17. https://kr.mathworks.com/company/newsroom/simulink-code-inspector-and-polyspace-qualified-under-do-330.html
  18. DO-Qualification Kit User Manual / https://manualzz.com/doc/1113036/do-qualification-kit-user-s-guide