本文件包含SAE AS5506B标准的三个附件-SAE架构分析和描述语言。第一个附录，错误模型语言使用基于状态机的符号扩展了AADL核心语言。该符号允许指定不同类型的故障、单个系统组件的故障行为、影响相关组件的对等交互和软件组件及其执行平台之间的部署关系方面的故障传播、故障行为的聚合和组件层次结构方面的传播。该符号还允许在实际系统的健康监测和故障管理组件中实施规范故障缓解策略，也称为故障检测、隔离和恢复（FDIR）。该组件的实际设计在AADL核心模型中表示。 第二个附录ARINC653附录定义了使用AADL核心语言的建模模式，用于ARINC653标准定义的集成模块化航空电子架构（IMA）规范。它还引入了一个专用属性集来捕获此类架构的特定需求。第三个附录，代码生成附录，定义了AADL核心语言和编程语言之间的映射。它为每个AADL组件类型指定了如何将其映射到可执行代码。由于AADL语言以安全关键系统为目标，本附录重点定义了通常用于实现此类系统的编程语言的映射。然而，本附录中定义的映射规则和原则可以翻译成其他编程语言。

This document contains three annexes to the SAE AS5506B Standard - the SAE Architecture Analysis and Description Language. The first annex, the Error-Model Language extends the AADL core language with a state machine-based notation. This notation allows for specification of different types of faults, fault behavior of individual system components, fault propagation affecting related components in terms of peer to peer interactions and deployment relationship between software components and their execution platform, aggregation of fault behavior and propagation in terms of the component hierarchy. The notation also allows for specification fault mitigation strategies expected to be implemented in the health monitoring and fault management component of the actual system – also known as Fault Detection, Isolation, and Recovery (FDIR). The actual design of this component is expressed in the AADL core model. The second annex, the ARINC653 Annex defines modeling patterns to use the AADL core language for the specification of Integrated Modular Avionics Architectures (IMA), as defined by the ARINC653 standard. It also introduces a dedicated property set to capture specific requirements of such architectures. The third annex, the Code Generation Annex, defines a mapping between the AADL core language and programming languages. It specifies, for each AADL component type, how to map it into executable code. As the AADL language targets safety-critical systems, the annex focuses on defining such a mapping for programming languages that are typically used to implement such systems. However, mapping rules and principles defined in this annex can be translated to other programming languages.