标准摘要
Cross Reference: ARP4761,AS5506,IEEE1003.13,IEEE1003.5b,ISO/IEC8652,ISO/IEC9899,ISO/IECTR15942,MIL-HDBK-217F,RTCADO-178D,RTCADO-254
英文名称SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: ARINC653 Annex, Annex C: Code Generation Annex, Annex E: Error Model Annex