Design assurance guidance for airborne electronic hardware, 2000. ,
, Design assurance guidance for airborne electronic hardware, 2005.
Software Considerations in Airborne Systems and Equipment Certification, 1992. ,
,
,
, PLD: Programmable Logic Device RTCA: Radio Technical Commission for Aeronautics RTL: Register transfer Level SME: Small and Medium Enterprise SSM: Safe State Machine USB : Universal Serial Bus VHDL: VHSIC Hardware Description Language VHSIC: Very High Speed Integrated Circuit, 2003.