《航空裝備軟體技術》是2021年航空工業出版社出版的圖書。
基本介紹
- 書名：航空裝備軟體技術
- 作者：殷永峰,劉暢,李海峰
- 出版社：航空工業出版社
- 出版時間：2021年
- 開本：16 開
- 裝幀：平裝
- ISBN：9787516524732
內容簡介,圖書目錄,
內容簡介
作為當前為數不多的航空裝備軟體安全性方面的專著，本書從航空裝備分類、軟體安全性及故障模式等基本概念入手，詳細闡述了航空裝備軟體安全性需求分析、設計、測試、驗證等技術與實施過程，給出了典型航空裝備軟體(例如飛行控制系統軟體、綜合航電系統軟體等)故障模式、影響分析技術與實施過程，並給出了典型航空裝備軟體安全性技術實際工程套用案例，為最終實現針對航空裝備軟體安全性分析、設計、測試與驗證，以及故障模式及其影響分析提供規範有效的技術解決方案。
本書的讀者對象主要定位於航空裝備研製領域的專業技術人員，以及高等院校計算機、軟體工程、嵌入式系統及相關專業的本科生及研究生，也可為從事軍(民)領域系統開發、驗證及維護領域的專業技術人員能力提升提供參考。
圖書目錄
第l章 航空裝備與裝備安全
1.1 航空裝備系統概述
1.1.1 航空裝備系統分類
1.1.2 航空裝備系統特點分析
1.1.3 航空裝備系統軟體概述
1.2 航空裝備質量與安全概述
1.2.1 航空裝備質量
1.2.2 系統安全性與軟體安全性
1.2.3 航空裝備軟體安全等級劃分
1.2.4 航空裝備軟體安全性工作目標
第2章 軟體安全性概述
2.1 軟體安全性基礎概念
2.1.1 軟體安全性基本概念
2.1.2 軟體安全性與軟體可靠性
2.1.3 軟體安全性標準與型號規範
2.1.4 典型航空裝備軟體安全性工程實踐和事故案例
2.2 軟體安全性工作過程框架
第3章 航空裝備軟體安全性技術
3.1 軟體系統危險分析
3.1.1 系統功能危險分析(FHA)
3.1.2 系統故障樹分析(FTA)
3.2 軟體安全性需求分析
3.2.1 軟體安全性需求模型構建
3.2.2 模型與數據驅動的軟體安全性需求分析
3.2.3 基於形式化方法的軟體安全性需求分析
3.3 軟體安全性設計
3.3.1 開展時機與輸入輸出
3.3.2 軟體安全性設計準則
3.3.3 基於準則的軟體安全性設計符合性分析
3.4 軟體安全性編碼
3.4.1 開展時機與輸入輸出
3.4.2 軟體安全性編碼準則
3.4.3 基於準則的軟體安全性編碼符合性分析
3.5 軟體安全性測試
3.5.1 開展時機與輸入輸出
3.5.2 軟體安全性測試過程
3.5.3 軟體安全性測試需求分析
3.5.4 基於故障模式的軟體安全性測試用例設計
3.5.5 軟體安全性測試執行與環境要求
3.5.6 軟體安全性測試數據記錄
3.6 軟體安全性評審
3.6.1 系統危險分析評審
3.6.2 軟體故障模式分析評審
3.6.3 軟體安全性需求獲取評審
第4章 航空裝備軟體故障模式及其影響分析
4.1 開展時機與輸入輸出
4.2 軟體故障模式及其影響分析過程
4.2.1 軟體故障模式分析準則制定
4.2.2 軟體故障原因分析
4.2.3 軟體故障模式及其影響分析
4.2.4 軟體安全性需求制定
4.2.5 形成軟體故障模式分析數據記錄
第5章 典型航空裝備軟體故障模式
5.1 航空裝備軟體故障模式概述
5.1.1 航空裝備軟體故障機理分析
5.1.2 航空裝備軟體故障模式分析模型
5.2 航空裝備軟體故障模式獲取
5.2.1 輸入接口故障模式獲取
5.2.2 功能邏輯故障模式獲取
5.2.3 功能層次故障模式獲取
5.2.4 狀態方式故障模式獲取
5.2.5 輸出接口故障模式獲取
5.3 航空裝備軟體通用故障模式記錄與描述
5.3.1 通用故障模式規範化記錄
5.3.2 通用故障模式形式化描述
第6章 軟體安全性工具介紹
6.1 國內安全性工具
6.1.1 軟體安全性分析與驗證工具(Castle Safetv)
6.1.2 基於適航標準的軟體故障案例知識平台(castle D0178)
6.1.3 軟體通用故障模式資料庫(Castle Data)
6.2 國外安全性工具
6.2.1 Simfia
6.2.2 SpedTRM
第7章 航空裝備軟體安全性技術工程套用
7.1 典型航空裝備軟體介紹
7.2 典型航空裝備軟體安全性工程實例
7.2.1 系統功能危險分析示例
7.2.2 系統故障樹分析示例
7.2.3 軟體安全性需求模型構建示例
7.2.4 模型與數據驅動的軟體安全性需求分析示例
7.2.5 軟體安全性設計準則示例
7.2.6 軟體安全性編碼準則示例
7.2.7 軟體安全性測試驗證示例
附錄典型航空裝備軟體故障模式
