Safety Requirement Elicitation for Small Aircraft Collision Avoidance Software using STPA, FTA and FMEA

최근 대두되는 도심항공교통의 추세에 따라 항공기는 소형화되고 소프트웨어 집약적 시스템으로 변화하고 있다. 이에 따라 항공기 안전성 평가 프로세스인 ARP4761 중심의 안전성 분석 기법 및 표준도 소프트웨어를 중심으로 변화할 필요가 있다. 본 논문에서는 소프트웨어 집약적 시스템인 항공 모빌리티의 안전성 분석을 위해, STPA 방법과 FTA와 FMEA의 안전성 분석 기법을 연계하였다. 또한 STPA, FTA, FMEA의 연계 가능성과 효과를 파악하기 위하여 소형 항공기의 충돌 회피 소프트웨어를 중심으로 안전성 분석 사례를 진행하였다. 이러한 제안 방법과 사례 분석을 통해, STPA, FTA, 그리고 FMEA 안전성 기법의 상호 연계 효과를 확인하고 안전 요구사항을 도출하였다.