1276.52 상태 정의와 DO-178C 항공 소프트웨어 안전