프로그래밍 DO-178B 추적성 설계로 배우는 안전필수 소프트웨어 증명법 항공 소프트웨어는 요구사항부터 검증 결과까지 실이 끊기지 않게 잇는다. DO-178B의 레벨 구분과 정방향·역방향 추적성에서 일반 개발팀이 옮겨 담을 습관을 정리했다. 2026-07-22