항공기 소프트웨어 안전 요구사항 분석 및 추적성 관리 도구 개발