[6] SAE International.Certification considerations for highly-integrated or complex aircraft systems:ARP4754A[S].Warrendale:SAE International, 2010.
[7] RTCA.Design assurance guidance for airborne electronic hardware:DO254[S].Washington:RTCA Inc., 2000.
[8] RTCA.Software considerations in airborne systems and equipment certification:DO-178C[S].Washington:RTCA Inc., 2011.