applying Do-178C, ARP 4754A, DO-254, & related guidelines