SAE AS5506/3-2017
架構分析和設計語言（AADL）附件 D：行為模型附件

Architecture Analysis and Design Language (AADL) Annex D: Behavior Model Annex

預覽 SAE AS5506/3-2017前三頁

標準號

SAE AS5506/3-2017

發布

2017年

總頁數

37頁

發布單位

美國機動車工程師協會

當前最新

SAE AS5506/3-2017

 

 

適用范圍

簡介 SAE 架構分析和設計語言（在本文檔中稱為 AADL）是一種文本和圖形語言，用于設計和分析性能關鍵型實時系統的軟件和硬件架構。這些系統的運行很大程度上取決于滿足非功能性系統要求，例如可靠性@可用性@定時@響應性@吞吐量@安全性@和安全性。 AADL 用于將此類系統的結構描述為映射到執行平臺的軟件組件的集合。它可用于描述組件的功能接口（例如數據輸入和輸出）以及組件的性能關鍵方面（例如時序）。 AADL 還可用于描述組件如何交互，例如數據輸入和輸出如何連接或應用軟件組件如何分配給執行平臺組件。該語言還可以通過提供對模型操作模式和模式轉換的支持來描述運行時架構的動態行為。該語言被設計為可擴展的，以適應核心語言不完全支持的運行時架構的分析。擴展可以采用新屬性和分析特定符號的形式，這些符號可以與組件關聯并自行標準化。 AADL 的開發是為了滿足性能關鍵型實時系統@的特殊需求，包括嵌入式實時系統，例如航空電子設備@汽車電子@或機器人系統。該語言可以描述重要的性能關鍵方面，例如時序要求@故障和錯誤行為@時間和空間分區@以及安全和認證屬性。這樣的描述允許系統設計者對組成的組件和系統進行分析，例如系統可調度性、規模分析和安全分析。通過這些分析，設計師可以評估架構的權衡和變化。 AADL 支持以一致的方式沿著多個分析維度分析架構變更的橫切影響。通過從帶注釋的架構模型自動生成分析模型來實現一致性。 AADL 設計用于與生成工具一起使用，這些工具支持自動生成集成系統組件并根據經過驗證的模型構建系統執行程序所需的源代碼。這種以體系結構為中心的基于模型的工程方法允許在整個開發生命周期中根據需求對系統模型進行增量驗證和驗證，并根據系統模型進行實現。本文檔包含行為附件@的修訂版本，它允許在基于狀態機的附件子語言中對組件和組件交互行為進行建模。

SAE AS5506/3-2017相似標準

SAE AS5506/3-2017系列標準