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前三頁

標準號

SAE AS5506/1-2006

發布

2006年

總頁數

127頁

發布單位

美國機動車工程師協會

替代標準

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 更多引用