引言 第1部分 模型基工程與AADL 第1章 模型基軟件系統工程 1.1 MBE和軟件系統工程 1.1.1 MBE用于嵌入式實時系統 1.1.2 可分析的模型和MBE 1.1.3 MBE和AADL 1.2 AADL和其他建模語言 1.2.1 AADL、MDA和UML 1.2.2 AADL和SysML 第2章 使用SAEAADL進行工作 2.1 AADL模型 2.1.1 組件類別 2.1.2 語言的語法 2.1.3 AADL分類 2.1.4 AADL說明匯總 2.1.5 AADL模型的結構 2.2 系統規(guī)范和系統實例 2.2.1 組建系統實例模型 2.2.2 AADL文本域圖形表示 2.2.3 分析模型 第3章 使用AADL建模和分析的基礎 3.1 簡單模型的開發(fā) 3.1.1 模型組件的定義 3.1.2 頂層模型的開發(fā) 3.1.3 控制軟件的細節(jié)描述 3.1.4 添加硬件組件 3.1.5 物理連接的說明 3.1.6 軟件對硬件的綁定 3.1.7 進行調度分析 3.1.8 綜述 3.2 代碼文件的表示 3.2.1 源代碼和二進制文件的編寫 3.2.2 變量名稱文件的編寫 3.2.3 源代碼結構的建模 3.3 動態(tài)重構的建模 3.3.1 PBA模型的擴展 3.3.2 模式的規(guī)定 3.4 抽象流的建模與分析 3.4.1 流規(guī)范的規(guī)定 3.4.2 端對端流的規(guī)定 3.4.3 流分析 3.5 概念模型的開發(fā) 3.5.1 將抽象組件部署在PBA模型中 3.5.2 詳細的抽象實現 3.5.3 變換為運行時表示 3.5.4 增加運行時屬性 3.5.5 完善規(guī)范 3.6 利用組件模式開展的工作 3.6.1 組件庫和參考體系結構 3.6.2 建立組件庫 3.6.3 定義參考體系結構 3.6.4 使用參考體系結構 第4章 應用AADL能力 4.1 規(guī)定系統組成 4.1.1 組件分層 4.1.2 建模執(zhí)行平臺資源 4.1.3 執(zhí)行平臺通信支持 4.1.4 系統分層 4.1.5 建立系統實例模型 4.1.6 使用系統實例模型中的連接開展工作 4.1.7 使用系統實例模型開展工作 4.2 組件交互 4.2.1 數據和控制單向交換的建模 4.2.2 建模共享數據交換 4.2.3 建模局部服務請求或功能調用 4.2.4 建模遠程服務請求或功能調用 …… 第2部分 AADL的要素 第5章 定義AADL組件 第6章 軟件組件 第7章 執(zhí)行平臺組件 第8章 復合組件和通用組件 第9章 靜態(tài)和動態(tài)體系結構 第10章 組件交互 第11章 系統流與軟件開發(fā) 第12章 組建模型 第13章 注釋模型 第14章 擴展的語言 第15章 創(chuàng)建和驗證模型 附錄A 語法和屬性匯總 附錄B 增補資源 附錄C 參考文獻