使用AADL的模型基工程——SAE體系結(jié)構(gòu)分析和設(shè)計(jì)語(yǔ)言入門(mén)
定 價(jià):95 元
- 作者:(英)彼得?H.費(fèi)勒(Peter H. Feiler) 戴維?P.格魯茨(David P. Gluch)著
- 出版時(shí)間:2014/6/30
- ISBN:9787516504055
- 出 版 社:中航出版?zhèn)髅?/span>
- 中圖法分類(lèi):H31
- 頁(yè)碼:303
- 紙張:
- 版次:
- 開(kāi)本:16K
《使用AADL的模型基工程--SAE體系結(jié)構(gòu)分析 和設(shè)計(jì)語(yǔ)言入門(mén)》由AS 5506標(biāo)準(zhǔn)主編成員彼得·H. 費(fèi)勒、戴維·P.格魯茨所著,書(shū)中簡(jiǎn)練地介紹了AADL 的概念、結(jié)構(gòu)和使用,以及AADL為何是驗(yàn)證軟件 系統(tǒng)體系結(jié)構(gòu)的MBE的有效工具。全書(shū)為學(xué)習(xí)AADL的 讀者提供了開(kāi)發(fā)和分析基本系統(tǒng)模型的足夠細(xì)節(jié)。它 是使用 AADL促進(jìn)MBE開(kāi)發(fā)過(guò)程*化的首個(gè)指南,也是市面 上可獲得的學(xué)習(xí)AADL的唯一教材。本書(shū)假定讀者已經(jīng) 具備核 心軟件工程實(shí)踐(如軟件體系結(jié)構(gòu)、軟件設(shè)計(jì))的基 本知識(shí)、實(shí)時(shí)系統(tǒng)(如并發(fā)性、調(diào)度、通信),以及 計(jì)算機(jī)運(yùn)行 期概念(如線程、執(zhí)行語(yǔ)義)的知識(shí)。
本書(shū)提供的設(shè)計(jì)范例工程適用性很強(qiáng),既能用作 嵌入式實(shí)時(shí)應(yīng)用的軟件體系結(jié)構(gòu)或軟件系統(tǒng)工程課程 的教材,又 可供廣大軟件工程設(shè)計(jì)人員作為手冊(cè)性參考資料。
SEI枝術(shù)團(tuán)隊(duì)的資深成員,SAE AADL標(biāo)準(zhǔn)的技術(shù)領(lǐng)導(dǎo)和作者。在SEI的27年中,他主要從事軟件開(kāi)發(fā)環(huán)境、配置管理和實(shí)時(shí)嵌入式系統(tǒng)的工作。在航電、空間和汽車(chē)工業(yè)以及政府項(xiàng)目中,配合研究機(jī)構(gòu)廣泛應(yīng)用了AADL類(lèi)的生成技術(shù)。 SEI技術(shù)團(tuán)隊(duì)早期的資深成員,目前是SEI的訪問(wèn)學(xué)者,安柏瑞德(Embry-Riddle)航空航天大學(xué)軟件和系統(tǒng)工程教授。此外,還承擔(dān)多家高科技公司的關(guān)鍵工程和技術(shù)管理工作,為民機(jī)的電傳飛控系統(tǒng)、自動(dòng)過(guò)程控制和航天飛機(jī)開(kāi)發(fā)了實(shí)時(shí)軟件密集型系統(tǒng)。
引言
第1部分 模型基工程與AADL
第1章 模型基軟件系統(tǒng)工程
1.1 MBE和軟件系統(tǒng)工程
1.1.1 MBE用于嵌入式實(shí)時(shí)系統(tǒng)
1.1.2 可分析的模型和MBE
1.1.3 MBE和AADL
1.2 AADL和其他建模語(yǔ)言
1.2.1 AADL、MDA和UML
1.2.2 AADL和SysML
第2章 使用SAEAADL進(jìn)行工作
2.1 AADL模型
2.1.1 組件類(lèi)別
2.1.2 語(yǔ)言的語(yǔ)法
2.1.3 AADL分類(lèi)
2.1.4 AADL說(shuō)明匯總
2.1.5 AADL模型的結(jié)構(gòu)
2.2 系統(tǒng)規(guī)范和系統(tǒng)實(shí)例
2.2.1 組建系統(tǒng)實(shí)例模型
2.2.2 AADL文本域圖形表示
2.2.3 分析模型
第3章 使用AADL建模和分析的基礎(chǔ)
3.1 簡(jiǎn)單模型的開(kāi)發(fā)
3.1.1 模型組件的定義
3.1.2 頂層模型的開(kāi)發(fā)
3.1.3 控制軟件的細(xì)節(jié)描述
3.1.4 添加硬件組件
3.1.5 物理連接的說(shuō)明
3.1.6 軟件對(duì)硬件的綁定
3.1.7 進(jìn)行調(diào)度分析
3.1.8 綜述
3.2 代碼文件的表示
3.2.1 源代碼和二進(jìn)制文件的編寫(xiě)
3.2.2 變量名稱(chēng)文件的編寫(xiě)
3.2.3 源代碼結(jié)構(gòu)的建模
3.3 動(dòng)態(tài)重構(gòu)的建模
3.3.1 PBA模型的擴(kuò)展
3.3.2 模式的規(guī)定
3.4 抽象流的建模與分析
3.4.1 流規(guī)范的規(guī)定
3.4.2 端對(duì)端流的規(guī)定
3.4.3 流分析
3.5 概念模型的開(kāi)發(fā)
3.5.1 將抽象組件部署在PBA模型中
3.5.2 詳細(xì)的抽象實(shí)現(xiàn)
3.5.3 變換為運(yùn)行時(shí)表示
3.5.4 增加運(yùn)行時(shí)屬性
3.5.5 完善規(guī)范
3.6 利用組件模式開(kāi)展的工作
3.6.1 組件庫(kù)和參考體系結(jié)構(gòu)
3.6.2 建立組件庫(kù)
3.6.3 定義參考體系結(jié)構(gòu)
3.6.4 使用參考體系結(jié)構(gòu)
第4章 應(yīng)用AADL能力
4.1 規(guī)定系統(tǒng)組成
4.1.1 組件分層
4.1.2 建模執(zhí)行平臺(tái)資源
4.1.3 執(zhí)行平臺(tái)通信支持
4.1.4 系統(tǒng)分層
4.1.5 建立系統(tǒng)實(shí)例模型
4.1.6 使用系統(tǒng)實(shí)例模型中的連接開(kāi)展工作
4.1.7 使用系統(tǒng)實(shí)例模型開(kāi)展工作
4.2 組件交互
4.2.1 數(shù)據(jù)和控制單向交換的建模
4.2.2 建模共享數(shù)據(jù)交換
4.2.3 建模局部服務(wù)請(qǐng)求或功能調(diào)用
4.2.4 建模遠(yuǎn)程服務(wù)請(qǐng)求或功能調(diào)用
……
第2部分 AADL的要素
第5章 定義AADL組件
第6章 軟件組件
第7章 執(zhí)行平臺(tái)組件
第8章 復(fù)合組件和通用組件
第9章 靜態(tài)和動(dòng)態(tài)體系結(jié)構(gòu)
第10章 組件交互
第11章 系統(tǒng)流與軟件開(kāi)發(fā)
第12章 組建模型
第13章 注釋模型
第14章 擴(kuò)展的語(yǔ)言
第15章 創(chuàng)建和驗(yàn)證模型
附錄A 語(yǔ)法和屬性匯總
附錄B 增補(bǔ)資源
附錄C 參考文獻(xiàn)