使用AADL的模型基工程--SAE體系結構分析和設計語言入門 使用AADL的模型基工程:SAE体系结构分析和设计语言入门

<內容簡介>

《使用AADL的模型基工程－－SAE體系結構分析和設計語言入門》由AS 5506標準主編成員彼得·H.費勒、戴維·P.格魯茨所著，書中簡練地介紹了AADL的概念、結構和使用，以及AADL為何是驗證軟件系統體系結構的MBE的有效工具。全書為學習AADL的讀者提供了開發和分析基本系統模型的足夠細節。它是使用AADL促進MBE開發過程最佳化的首個指南，也是市面上可獲得的學習AADL的唯一教材。本書假定讀者已經具備核心軟件工程實踐（如軟件體系結構、軟件設計）的基本知識、實時系統（如併發性、調度、通信），以及電腦運行期概念（如線程、執行語義）的知識。
    本書提供的設計範例工程適用性很強，既能用作嵌入式實時應用的軟件體系結構或軟件系統工程課程的教材，又可供廣大軟件工程設計人員作為手冊性參考資料。

<目錄>

引言
第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 系統規範和系統實例
      2.2.1 組建系統實例模型
      2.2.2 AADL文本域圖形表示
      2.2.3 分析模型
  第3章  使用AADL建模和分析的基礎
    3.1 簡單模型的開發
      3.1.1 模型組件的定義
      3.1.2 頂層模型的開發
      3.1.3 控制軟件的細節描述
      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 動態重構的建模
      3.3.1 PBA模型的擴展
      3.3.2 模式的規定
    3.4 抽象流的建模與分析
      3.4.1 流規範的規定
      3.4.2 端對端流的規定
      3.4.3 流分析
    3.5 概念模型的開發
      3.5.1 將抽象組件部署在PBA模型中
      3.5.2 詳細的抽象實現
      3.5.3 變換為運行時表示
      3.5.4 增加運行時屬性
      3.5.5 完善規範
   3.6 利用組件模式開展的工作
      3.6.1 組件庫和參考體系結構

      3.6.2 建立組件庫
      3.6.3 定義參考體系結構
      3.6.4 使用參考體系結構
  第4章  應用AADL能力
    4.1 規定系統組成
      4.1.1 組件分層
      4.1.2 建模執行平臺資源
      4.1.3 執行平臺通信支持
      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章  執行平臺組件
  第8章  複合組件和通用組件
  第9章  靜態和動態體系結構
  第10章  組件交互
  第11章  系統流與軟件開發
  第12章  組建模型
  第13章  註釋模型
  第14章  擴展的語言
  第15章  創建和驗證模型
附錄A  語法和屬性匯總
附錄B  增補資源
附錄C  參考文獻