항공소프트웨어 안전성 검증을 위한 강건성 테스팅 방안

해당 논문은 2023년 한국항공우주학회 춘계학술대회에서 발표되었던 논문입니다.

장정훈, 강유선, 김도연
(주)모아소프트
A Robustness Testing Procedure for Airborne Software Safety Verification

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

Key Words : Airborne Software(항공 소프트웨어), Safety(안전성), 검증(Verification), Robustness, Testing(강건성 테스팅), Airworthiness Certification(감항인증)

1. 서 론
안전성(Safety)을 확보하여야 하는 항공 소프트웨어가 비정상 입력, 하드웨어 고장, 통신 장애 등의 운용환경에 대하여 얼마나 강건한지를 검증(Verification)함으로써 항공기 감항인증(Airworthiness Certification)을 위한 근거 자료를 제공할 수 있다. 본 연구에서는 항공 소프트웨어 안전성 규격인 DO-178C에서 요구하는 소프트웨어 목표(Objective) 중에서 강건성 테스팅
(Robustness Testing)과 관련된 목표를 달성하기 위한 방안을 제시한다. 강건성 테스트 유형을 분류하고 소프트웨어 요구사항과의 추적성(Traceability)을 확보함으로써, DO-178C가 요구하는 강건성과 관련된 목표를 달성함을 보여준다.

2. 본 론
2.1 항공 소프트웨어 강건성 검증 필요성
안전성이 확보되지 않은 소프트웨어의 오류가 항공기 사고를 발생시킬 수 있다. 항공 소프트웨어의 안전성을 확보하기 위하여는 안전 요구사항뿐만 아니라 비정상 운용환경에 대하여 강건성이 요구되며, 아래 그림은 소프트웨어 오류가 시스템 고장을 야기하는 것을 설명하고 있다.

…중간 생략

3. 결 론
본 연구에서는 항공 소프트웨어 안전성 규격인 DO-178C에서 요구하는 소프트웨어 목표(Objective) 중에서 강건성 테스팅(Robustness Testing)과 관련된 목표를 달성하기 위한 방안을 제시하였다.