嵌入式系統(tǒng)軟件工程：基礎(chǔ)知識(shí)、方法和應(yīng)用

第1章 緒論
1.1 軟件對(duì)于嵌入式系統(tǒng)的意義
1.2 軟件工程的環(huán)境分析
1.2.1 軟件開發(fā)過程
1.2.2 軟件結(jié)構(gòu)
1.2.3 軟件質(zhì)量保證
1.3 用于嵌入式系統(tǒng)的軟件工程
1.4 本書的主要內(nèi)容
第2章 嵌入式軟件的開發(fā)過程
2.1 動(dòng)因
2.2 定義與概念
2.2.1 基小概念
2.2.2 過程種類
2.3 嵌入式軟件開發(fā)過程的特點(diǎn)
2.3.1 多學(xué)科丌發(fā)
2.3.2 跨企業(yè)的肝發(fā)與同步工程
2.3.3 非功能性特征
2.3.4 經(jīng)濟(jì)性
2.3.5 長(zhǎng)的產(chǎn)品生命周期
2.4 特定領(lǐng)域過程模型的建立
2.4.1 現(xiàn)有的用于嵌入式軟件開發(fā)的過程模型
2.4.2 描述性過程建模
2.4.3 連續(xù)的過程改善
2.5 總結(jié)與展望
第3章 開發(fā)和測(cè)試的標(biāo)準(zhǔn)
3.1 引言
3.2 從標(biāo)準(zhǔn)到軟件標(biāo)準(zhǔn)
3.2.1 為什么需要標(biāo)準(zhǔn)
3.2.2 為什么需要軟件標(biāo)準(zhǔn)
3.3 軟件開發(fā)的標(biāo)準(zhǔn)
3.4 一般性流程標(biāo)準(zhǔn)
3.5 IEC61508標(biāo)準(zhǔn)
3.5.1 對(duì)開發(fā)過程的一般性要求
3.5.2 安全監(jiān)測(cè)
3.5.3 軟件開發(fā)
3.6 CenelecEN50126、EN50128和EN50129標(biāo)準(zhǔn)
3.7 總結(jié)
3.8 定義
第4章 與安全有關(guān)的軟件系統(tǒng)的許可
4.1 引言
4.2 什么是許可
4.3 參與者
4.3.1 行政機(jī)關(guān)
4.3.2 鑒定人和檢測(cè)機(jī)構(gòu)
4.3.3 制造商
4.3.4 供應(yīng)商
4.3.5 運(yùn)營(yíng)商和用戶
4.4 獲得許可
4.4.1 系統(tǒng)的復(fù)雜度
4.4.2 規(guī)劃與約定（對(duì)規(guī)劃的檢驗(yàn)單）
4.4.3 人為因素
4.4.4 申請(qǐng)?jiān)S可證過程中的風(fēng)險(xiǎn)處理
4.4.5 企業(yè)秘密的公開
第5章 嵌入式系統(tǒng)的法律問題
5.1 版權(quán)和專利權(quán)
5.1.1 版權(quán)
5.1.2 專利法
5.1.3 半導(dǎo)體保護(hù)
5.2 合同法
5.2.1 系統(tǒng)集成商與整體系統(tǒng)買主的合同關(guān)系
5.2.2 系統(tǒng)集成商與軟件供應(yīng)商的合同關(guān)系
5.2.3 整體系統(tǒng)的買主與軟件供應(yīng)商的合同關(guān)系
5.3 法律責(zé)任
5.3.1 機(jī)器制造商也是軟件制造商
5.3.2 供應(yīng)的軟件
5.4 結(jié)論
第6章 嵌入式軟件的需求工程
6.1 引言
6.2 RE基礎(chǔ)知識(shí)
6.3 RE的框架體系
6.3.1 系統(tǒng)環(huán)境
6.3.2 RE過程的三個(gè)維度
6.3.3 五個(gè)主要設(shè)計(jì)行為
6.3.4 早期和后期階段的對(duì)比
6.4 對(duì)嵌入式系統(tǒng)復(fù)雜度的控制
6.5 三種需求模型
6.5.1 面向解決方案的需求建模
6.5.2 目標(biāo)建模
6.5.3 場(chǎng)景與用例
6.5.4 建模種類的實(shí)例
6.6 基于場(chǎng)景和目標(biāo)的系統(tǒng)開發(fā)的需求工程（SEGOS.RE）
6.7 應(yīng)用實(shí)例：數(shù)碼相機(jī)
6.8 總結(jié)與展望
第7章 軟件結(jié)構(gòu)和系統(tǒng)結(jié)構(gòu)
7.1 定義和限制
7.1.1 嵌入式系統(tǒng)和軟件結(jié)構(gòu)
7.1.2 軟件結(jié)構(gòu)、系統(tǒng)結(jié)構(gòu)的定義和視圖
7.1.3 結(jié)構(gòu)模型化的維度
7.2 嵌入式系統(tǒng)的結(jié)構(gòu)模型
7.2.1 面向?qū)ο蟮脑Y(jié)構(gòu)
7.2.2 嵌入式系統(tǒng)的元結(jié)構(gòu)
7.2.3 模型結(jié)構(gòu)化的作用
7.3 模型結(jié)構(gòu)和嵌入式系統(tǒng)的結(jié)構(gòu)風(fēng)格
7.3.1 操作方法
7.3.2 CIP結(jié)構(gòu)
7.3.3 面向角色結(jié)構(gòu)
7.3.4 雙服務(wù)器結(jié)構(gòu)
7.3.5 X-By-Wire結(jié)構(gòu)
7.4 結(jié)構(gòu)模板和框架
7.4.1 模板和框架作為軟件再利用的工具
7.4.2 模板和框架的候選項(xiàng)
7.4.3 嵌入式系統(tǒng)中的一個(gè)模板實(shí)例
7.5 基于結(jié)構(gòu)的嵌入式系統(tǒng)結(jié)構(gòu)設(shè)計(jì)
7.5.1 軟件結(jié)構(gòu)對(duì)于嵌入式系統(tǒng)的作用
7.5.2 基于結(jié)構(gòu)的軟件開發(fā)
第8章 嵌入式軟件編程
8.1 引言
8.2 C語言嵌入式軟件編程
8.2.1 POSIX1003.1 b標(biāo)準(zhǔn)
8.2.2 線程管理與定時(shí)器
8.3 Ada語言嵌入式軟件編程
8.3.1 Ada任務(wù)
8.3.2 Ada時(shí)間特性
8.3.3 Ada同步和調(diào)度
8.4 Java與嵌入式系統(tǒng)
8.4.1 JaVa實(shí)時(shí)規(guī)范
8.4.2 調(diào)度
8.4.3 內(nèi)存管理
8.4.4 例程
8.4.5 Java2MicroEdition
8.5 MicrOSOft.NetCompactFramework
8.6 應(yīng)用程序和操作系統(tǒng)
8.7 總結(jié)
第9章 嵌入式軟件測(cè)試
9.1 引言
9.2 傳統(tǒng)軟件測(cè)試中的技術(shù)水平
9.2.1 動(dòng)態(tài)測(cè)試
9.2.2 靜態(tài)分析
9.2.3 形式化技術(shù)：符號(hào)測(cè)試和形式化驗(yàn)證方法
9.3 嵌入式軟件測(cè)試：情形分析
9.4 嵌入式軟件系統(tǒng)動(dòng)態(tài)測(cè)試
9.4.1 嵌入式軟件特殊性能測(cè)試
9.4.2 動(dòng)態(tài)測(cè)試適用于嵌入式軟件特性——一個(gè)例子
9.4.3 通過測(cè)試結(jié)果的靜態(tài)評(píng)價(jià)得到量化的可靠性說明
……
第10章 嵌入式UML/實(shí)時(shí)UML
第11章 形式化開發(fā)方法與分析技術(shù)
第12章 安全性和可靠性分析技術(shù)
第13章 分布嵌入式系統(tǒng)
第14章 實(shí)時(shí)操作系統(tǒng)
第15章 反應(yīng)式系統(tǒng)的建模：同步語音和狀態(tài)圖
第16章 汽車中的軟件技術(shù)
第17章 安全軟件在交通技術(shù)的嵌入式系統(tǒng)中的應(yīng)用
第18章 航天應(yīng)用領(lǐng)域嵌入式軟件的開發(fā)
第19章 嵌入式軟件在醫(yī)療技術(shù)中的應(yīng)用
第20章 嵌入式軟件在工業(yè)自動(dòng)化領(lǐng)域的應(yīng)用
第21章 嵌入式通信軟件的開發(fā)