使用AADL的模型基工程：SAE體系結(jié)構(gòu)分析和設計語言入門

定　價：￥95.00

作　者：	彼得·H.費勒，戴維·P.格魯茨著
出版社：	航空工業(yè)出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787516504055	出版時間：	2014-06-01	包裝：	平裝
開本：	16開	頁數(shù)：	303	字數(shù)：

內(nèi)容簡介

　　《使用AADL的模型基工程：SAE體系結(jié)構(gòu)分析和設計語言入門》由AS5506標準主編成員所著，書中簡練地介紹了AADL的概念、結(jié)構(gòu)和使用，以及AADL為何是驗證軟件系統(tǒng)體系結(jié)構(gòu)的MBE的有效工具。全書為學習AADL的讀者提供了開發(fā)和分析基本系統(tǒng)模型的足夠細節(jié)。它是使用AADL促進MBE開發(fā)過程最佳化的首個指南，也是市面上可獲得的學習AADL的唯一教材?！妒褂肁ADL的模型基工程：SAE體系結(jié)構(gòu)分析和設計語言入門》假定讀者已經(jīng)具備核心軟件工程實踐（如軟件體系結(jié)構(gòu)、軟件設計）的基本知識、實時系統(tǒng)（如并發(fā)性、調(diào)度、通信），以及計算機運行期概念（如線程、執(zhí)行語義）的知識?！妒褂肁ADL的模型基工程：SAE體系結(jié)構(gòu)分析和設計語言入門》提供的設計范例工程適用性很強，既能用作嵌入式實時應用的軟件體系結(jié)構(gòu)或軟件系統(tǒng)工程課程的教材，又可供廣大軟件工程設計人員作為手冊性參考資料。

作者簡介

　　彼得·H.費勒（PeterH.Feiler），SEI技術(shù)團隊的資深成員，SAEAADL標準的技術(shù)領導和作者。在SEI的27年中，他主要從事軟件開發(fā)環(huán)境、配置管理和實時嵌入式系統(tǒng)的工作。在航電、空間和汽車工業(yè)以及政府項目中，配合研究機構(gòu)廣泛應用了AADL類的生成技術(shù)。戴維·P.格魯茨（DavidP.Gluch），SEI技術(shù)團隊早期的資深成員，目前是SEI的訪問學者，安柏瑞德（Embry—Riddle）航空航天大學軟件和系統(tǒng)工程教授。此外，還承擔多家高科技公司的關(guān)鍵工程和技術(shù)管理工作，為民機的電傳飛控系統(tǒng)、自動過程控制和航天飛機開發(fā)了實時軟件密集型系統(tǒng)。

圖書目錄

第1部分模型基工程與AADL
第1章模型基軟件系統(tǒng)工程
1.1 MBE和軟件系統(tǒng)工程
1.1.1 MBE用于嵌入式實時系統(tǒng)
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模型的結(jié)構(gòu)
2.2 系統(tǒng)規(guī)范和系統(tǒng)實例
2.2.1 組建系統(tǒng)實例模型
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 進行調(diào)度分析
3.1.8 綜述
3.2 代碼文件的表示
3.2.1 源代碼和二進制文件的編寫
3.2.2 變量名稱文件的編寫
3.2.3 源代碼結(jié)構(gòu)的建模
3.3 動態(tài)重構(gòu)的建模
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 詳細的抽象實現(xiàn)
3.5.3 變換為運行時表示
3.5.4 增加運行時屬性
3.5.5 完善規(guī)范
3.6 利用組件模式開展的工作
3.6.1 組件庫和參考體系結(jié)構(gòu)
3.6.2 建立組件庫
3.6.3 定義參考體系結(jié)構(gòu)
3.6.4 使用參考體系結(jié)構(gòu)
第4章應用AADL能力
4.1 規(guī)定系統(tǒng)組成
4.1.1 組件分層
4.1.2 建模執(zhí)行平臺資源
4.1.3 執(zhí)行平臺通信支持
4.1.4 系統(tǒng)分層
4.1.5 建立系統(tǒng)實例模型
4.1.6 使用系統(tǒng)實例模型中的連接開展工作
4.1.7 使用系統(tǒng)實例模型開展工作
4.2 組件交互
4.2.1 數(shù)據(jù)和控制單向交換的建模
4.2.2 建模共享數(shù)據(jù)交換
4.2.3 建模局部服務請求或功能調(diào)用
4.2.4 建模遠程服務請求或功能調(diào)用
……
第2部分 AADL的要素