韓煒編著的《可信嵌入式軟件開發方法與實踐(
精)》從廣泛的角度介紹了可信嵌入式軟件工程相關
的概念、技術、方法和實踐。全書共分為4個部分共
23章。第1部分為概論，介紹了嵌入式繫統和嵌入式
軟件的分類、特征和發展情況，並對可信性軟件的相
關基本概念、屬性和需要關注的研究內容進行了描述
；重點闡述了軟件自身的特點、導致軟件不可信的因
素和軟件開發遇到的困擾：描述了軟件工程基礎知識
，包括軟件工程基本概念、基本原則和研究內容。第
2部分為通用的軟件工程的闡述，分別對軟件全生命
周期模型、開發計劃與策劃、需求開發及管理、軟件
架構設計技術、機載軟件的設計、軟件驗證技術、軟
件質量保證、軟件可信性評估、軟件可靠性評估和軟
件安全性評估等軟件工程各個方面進行了詳細論述。
第3部分為機載軟件及其工程化方法，重點介紹了機
載共性軟件適航標準DO-178、《軍用軟件研制能力成
熟度模型》，以及機載軟件知識庫。第4部分為天脈
操作繫統的開發實踐，對自行研制的天脈操作繫統的
開發實踐進行了詳細的描述，其中包括天脈操作繫統
的研制策劃、項目立項論證和研制總要求論證、軟件
計劃過程和軟件開發過程實踐等。
軟件研制有很多工程化規定和指南，但是缺乏工
程化的方法學指導，以及對軟件工程全面的融會貫通
的理解，本書能夠為航空工業和其他領域從事高安全
性繫統設計的軟件工作人員提供有用的參考資料。

**部分 概論
第1章 嵌入式軟件概述
1.1 引言
1.1.1 嵌入式繫統
1.1.2 嵌入式軟件
1.2 可信軟件
1.2.1 處理模型及其假設
1.2.2 可信性軟件的研究內容
1.3 軟件屬性及軟件可信性屬性
1.3.1 軟件可用性
1.3.2 軟件可靠性
1.3.3 軟件安全性
1.3.4 軟件信息安全性
1.3.5 軟件維修性
第2章 軟件困惑
2.1 軟件的特點
2.1.1 可塑性
2.1.2 變態性
2.1.3 開發過程
2.2 軟件不可信因素
2.2.1 定義
2.2.2 錯誤
2.2.3 故障
2.2.4 失效
2.3 錯誤、故障、失效的關繫
2.4 軟件的困擾
第3章 軟件工程概念
3.1 軟件工程概念的提出
3.2 軟件工程基本概念
3.2.1 狹義的軟件工程化
3.2.2 廣義的軟件工程化
3.3 軟件工程的基本原則
3.4 軟件工程的研究內容
3.4.1 軟件工程過程
3.4.2 軟件工程方法研究
3.4.3 計算機輔助軟件工程工具研究
第2部分 軟件工程概念
第4章 軟件全生命周期模型
4.1 瀑布模型
4.2 增量迭代模型
4.3 快速原型模型
4.4 螺旋模型
4.5 敏捷模型
4.5.1 極限編程
4.5.2 Scrum模式
第5章 開發計劃與策劃
5.1 軟件策劃與軟件計劃概述
5.1.1 軟件策劃過程是高質量軟件的保證
5.1.2 軟件策劃的依據與參考
5.2 軟件策劃過程的目標