SAE AS5506/1-2006
SAE 架构分析和设计语言 (AADL) 附件第 1 卷：附件 A：图形 AADL 符号，附件 C：AADL 元模型和交换格式，附件 D：语言合规性和应用程序接口 附件 E：错误模型附件

SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: Graphical AADL Notation, Annex C: AADL Meta-Model and Interchange Formats, Annex D: Language Compliance and Application Program Interface Annex E: Error Model Annex

被代替

标准号

SAE AS5506/1-2006

发布

2006年

发布单位

美国机动车工程师协会

替代标准

SAE AS5506/1-2011

当前最新

SAE AS5506/1A-2015

 

 

引用标准

IEEE 1003.13-2003 IEEE 1003.5b-1999 ISO/IEC 8652:1995 ISO/IEC 9899:1999 ISO/IEC TR 15942:2000 MIL-HDBK-217F RTCA DO-178D RTCA DO-254-2000 SAE ARP4761-1996 SAE AS5506-2004

适用范围

本文档包含 SAE AS5506 标准的三个附件 - SAE 架构分析和描述语言。第一个附件，附件 A 图形 AADL 表示法，定义了图形 AADL 表示法的一组图形符号。这些图形符号可用于表达 AADL 模型中组件、特征和连接之间的关系。如果以图形方式呈现的 AADL 模型合法并且使用了正确的图形符号，则根据 AADL 核心标准，图形 AADL 图是合法的。例如，不允许图形编辑器创建源和目标未连接的连接。 AADL 模型的图形表示允许显示合法 AADL 模型的子集。例如，可以通过属性表或对话框输入属性值。本附件中的图展示了 AADL 模型的不同观点。这些视图不是规定性的，而是旨在说明可能的视图和布局。第二个附件，附件 C AADL 元模型和交换格式，定义了 AADL 元模型和 AADL 模型的基于 XML 的交换格式。 AADL元模型定义了AADL模型的结构，即对应于语义修饰的抽象语法树的AADL规范的对象表示。 AADL 模型的对象表示可以通过 API 以编程方式进行操作。 AADL 模型的对象表示也可以以标准交换格式持久存储为 XML 文档。这允许支持 AADL XML 模式 (XML 2001) 或 XMI 元模型规范 (XMI 2003) 的不同工具在 AADL 模型上进行互操作。 AADL 的 XML 模式和 XMI 元模型规范均源自 AADL 元模型，因此，这两种表示与元模型一致。第三个附件，附件 D 语言合规性和应用程序接口，定义了源文本的语言特定规则，以符合用 AADL 编写的体系结构规范。虽然 AADL 与源文本语言无关，但本附件为用户提供了在 AADL 模型和用 Ada（ISO 1995、IEEE 2001）编写的源文本以及用 C（ISO 1999）编写的源文本之间转换的指南。本附件建议在应用软件和执行环境之间使用应用程序编程接口（API），以方便在公共执行环境中使用混合语言应用源代码模块。第四个附件，附件 E 错误模型附件，定义了一些功能，以实现架构中冗余管理和风险缓解方法的规范，并实现对系统属性（如安全性、可靠性、完整性、可用性和可维护性）的定性和定量评估。本附件定义了一种子语言，可用于在错误附件库中声明错误模型并将它们与体系结构规范中的组件相关联。本附件还定义了可以在核心 AADL 标准实现声明的错误附件子句中使用的子语言。

SAE AS5506/1-2006相似标准

推荐

SAE AS5506/1-2006系列标准

谁引用了SAE AS5506/1-2006 更多引用