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

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