目前，我國工業生產、國防軍工等領域大力推進
信息化、智能化建設，嵌入式軟件作為實現繫統智能
控制的核心產品，其規模和復雜度不斷增長，軟件的
潛在風險也不斷增多。如何保證軟件的安全性，避免
出現繫統故障甚至重大安全事故，是我們急需解決的
問題。王崑聲、經小川、李寧、張偉、詹海潭等編著
的《嵌入式軟件安全保證技術》基於航天領域一繫列
重要型號軟件安全性保證的應用經驗，總結提煉出一
套成體繫、可剪裁的安全保證技術，書中所介紹的嵌
入式軟件安全保證技術體繫已在我國國防領域開展應
用並得到推廣。

第1章 緒論
1.1 嵌入式軟件的特征
1.1.1 嵌入式計算機控制繫統
1.1.2 嵌入式軟件的特征分析
1.2 軟件安全性的概念
1.2.1 軟件失效安全性的概念
1.2.2 軟件安全性與繫統安全性之間的關繫
1.2.3 軟件安全性保證的定義
1.3 安全關鍵嵌入式軟件保證技術現狀及問題
1.3.1 現有嵌入式軟件安全性問題案例分析
1.3.2 嵌入式軟件安全性特征分析
1.3.3 嵌入式軟件安全性保證技術發展現狀
1.4 小結
參考文獻
第2章 安全關鍵嵌入式軟件開發過程保證體繫
2.1 嵌入式軟件安全保證工程
2.2 安全關鍵嵌入式軟件安全性保證體繫
2.2.1 體繫構建
2.2.2 體繫框架剪裁方法
2.2.3 嵌入式軟件開發過程一致性追蹤
2.2.4 基於工程實踐的安全關鍵軟件檢查模型
2.3 小結
參考文獻
第3章 安全關鍵嵌入式軟件需求分析
3.1 軟件需求分析的定義及嵌入式軟件需求分析
3.2 嵌入式軟件安全需求工程
3.2.1 嵌入式軟件安全需求分析的必要性
3.2.2 軟件安全需求工程
3.2.3 軟件安全性需求提取
3.3 嵌入式軟件安全需求分析技術
3.3.1 軟件安全性需求BDA分析技術
3.3.2 軟件需求分析的形式化分析技術.
3.3.3 軟件需求中的一致性追蹤
3.3.4 軟件需求檢查單
3.4 小結
參考文獻
第4章 安全關鍵軟件設計分析
4.1 軟件安全性分析設計
4.1.1 軟件安全性設計原則
4.1.2 軟件體繫結構的安全性設計
4.1.3 軟件安全關鍵部件／模塊／單元的設計
4.1.4 軟件容錯和容失效的安全性設計
4.1.5 軟件安全性設計的其他考慮
4.2 軟件設計產品的安全性分析驗證
4.2.1 設計產品的安全性分析驗證
4.2.2 軟件需求安全性分析的*新
4.2.3 軟件需求設計的一致性追蹤分析
4.2.4 軟件設計變*的安全性分析
4.3 小結
參考文獻
第5章 安全關鍵軟件的實現
5.1 軟件實現的安全編程要求
5.1.1 編程語言
5.1.2 編程方法
5.1.3 編碼規範
5.1.4 代碼復雜性控制
5.1.5 代碼效率保證
5.2 代碼的安全性分析驗證
5.2.1 靜態分析
5.2.2 單元測試
5.2.3 代碼審查
5.2.4 形式化分析
5.2.5 FTA與FMEA分析
5.2.6 與設計的一致性追蹤分析
5.2.7 代碼變*的安全性分析
5.2.8 運行時錯誤分析
5.3 小結
參考文獻
第6章 安全關鍵嵌入式軟件測試
6.1 安全關鍵嵌入式軟件安全性測試流程
6.1.1 安全關鍵嵌入式軟件測試的特點
6.1.2 軟件安全性測試過程
6.1.3 安全性測試要求
6.2 安全關鍵嵌入式軟件安全性測試技術
6.2.1 軟件故障注入技術與工具
6.2.2 軟件運行時錯誤檢測技術與工具
6.2.3 軟件逆向分析技術與工具
6.2.4 基於數據流分析的測**例生成技術與工具
6.3 小結
參考文獻
第7章 技術發展展望
7.1 可信軟件需求分析技術發展展望
7.2 安全關鍵軟件設計分析技術展望
7.3 安全關鍵軟件實現技術展望
7.4.安全測試技術發展展望
參考文獻
附錄
A1 安全關鍵軟件檢查模型
A1.1 嵌入式軟件工程化檢查模型
A1.2 嵌入式軟件測試檢查模型
A1.3 嵌入式軟件安全性專項檢查模型
A1.4 FPGA安全開發檢查模型
A2 軟件安全需求明細的確定
A2.1 設計與開發過程的需求
A2.2 繫統設計需求
A2.3 計算繫統環境需求
A2.4 自檢設計需求
A2.5 安全關鍵計算繫統功能保護需求
A2.6 接口設計需求
A2.7 用戶界面
A2.8 關鍵性定時和中斷功能
A2.9 軟件設計與開發需求
A2.10 軟件維護需求
A2.11 軟件分析與測試
A2.12 特殊軟件安全需求