Abstract
In recent years, It is required to verify software reliability according to DO-178, which announced by radio technical commission for aeronautics (RTCA) and recognized by the Federal Aviation Administration (FAA), for civil aircraft developed or intended to fly in the United States or Europe. This is because the reliance on software in each field is deepening, and the efforts for improvement of software reliability have been made first in civil aviation field where economic and social impacts are catastrophic in the event of an accident. In this paper, we have identified some issues to be considered for requirements-based reliability verification required by DO-178 to improve software reliability and present the major elements of the present weapon system acquisition procedure of DAPA for each stage. In addition, we analyzed the results of applying the identified main check factors to a domestic aircraft development project based on the information accumulated in overseas aircraft development projects. As a result, we have shown that it is possible to verify requirements-based software reliability according to DO-178 by adding key checkpoints to the current weapon system acquisition procedure and providing objective inspection criteria.
최근에 미국 또는 유럽 등에서 개발되거나 해당 국가의 영공에 취항하기 위한 민간 항공기에는 RTCA (radio technical commission for aeronautics)에서 발표하고 미연방항공국 (Federal Aviation Administration)에서 인정한 DO-178에 따른 탑재 소프트웨어 신뢰성 검증이 요구된다. 이는 각 분야에서 소프트웨어에 대한 의존이 날로 심화되는 가운데 사고 발생시 경제적, 사회적으로 치명적인 영향이 발생하는 민간 항공 분야에서 먼저 소프트웨어 신뢰도 향상을 위한 노력이 진행되었기 때문이다. 이 논문에서는 소프트웨어 신뢰도 향상을 위해 DO-178에서 요구하고 있는 요구사항 기반의 신뢰성 검증을 위해 선결되어야 할 요건들을 파악하고, 현재 방위사업청의 무기체계 획득 절차에 기반 하여 각 획득 단계에 맞는 점검 요소들을 분석하여 제시하였다. 또한 해외에서 축적된 정보를 바탕으로 식별된 주요 점검요소를 국내 항공기 개발 사업에 적용하고 적용결과를 분석하였다. 본 연구 결과 현재의 무기체계 획득 절차에 개발 단계별 소프트웨어 점검 요소를 추가하고 객관적 점검 기준을 제시하는 것으로 DO-178에 따른 요구사항 기반 소프트웨어 신뢰성 점검에 대한 개발관리가 가능한 것으로 확인되었다.