标准摘要 Cross Reference: ARINC653,AS5506,AS5506/1,IEEE/ANSI610.12 展开完整摘要 英文名称SAE Architecture Analysis and Design Language (AADL) Annex Volume 2:Annex B: Data Modeling AnnexAnnex D: Behavior Model AnnexAnnex F: ARINC653 Annex