123,123

內(nèi)容簡(jiǎn)介

　　作為當(dāng)前為數(shù)不多的航空裝備軟件安全性方面的專著，本書(shū)從航空裝備分類(lèi)、軟件安全性及故障模式等基本概念入手，詳細(xì)闡述了航空裝備軟件安全性需求分析、設(shè)計(jì)、測(cè)試、驗(yàn)證等技術(shù)與實(shí)施過(guò)程，給出了典型航空裝備軟件（例如飛行控制系統(tǒng)軟件、綜合航電系統(tǒng)軟件等）故障模式、影響分析技術(shù)與實(shí)施過(guò)程，并給出了典型航空裝備軟件安全性技術(shù)實(shí)際工程應(yīng)用案例，為最終實(shí)現(xiàn)針對(duì)航空裝備軟件安全性分析、設(shè)計(jì)、測(cè)試與驗(yàn)證，以及故障模式及其影響分析提供規(guī)范有效的技術(shù)解決方案。本書(shū)的讀者對(duì)象主要定位于航空裝備研制領(lǐng)域的專業(yè)技術(shù)人員，以及高等院校計(jì)算機(jī)、軟件工程、嵌入式系統(tǒng)及相關(guān)專業(yè)的本科生及研究生，也可為從事軍（民）領(lǐng)域系統(tǒng)開(kāi)發(fā)、驗(yàn)證及維護(hù)領(lǐng)域的專業(yè)技術(shù)人員能力提升提供參考。

作者簡(jiǎn)介

暫缺《航空裝備軟件安全性技術(shù)》作者簡(jiǎn)介

圖書(shū)目錄

第l章航空裝備與裝備安全
1.1 航空裝備系統(tǒng)概述
1.1.1 航空裝備系統(tǒng)分類(lèi)
1.1.2 航空裝備系統(tǒng)特點(diǎn)分析
1.1.3 航空裝備系統(tǒng)軟件概述
1.2 航空裝備質(zhì)量與安全概述
1.2.1 航空裝備質(zhì)量
1.2.2 系統(tǒng)安全性與軟件安全性
1.2.3 航空裝備軟件安全等級(jí)劃分
1.2.4 航空裝備軟件安全性工作目標(biāo)
第2章軟件安全性概述
2.1 軟件安全性基礎(chǔ)概念
2.1.1 軟件安全性基本概念
2.1.2 軟件安全性與軟件可靠性
2.1.3 軟件安全性標(biāo)準(zhǔn)與型號(hào)規(guī)范
2.1.4 典型航空裝備軟件安全性工程實(shí)踐和事故案例
2.2 軟件安全性工作過(guò)程框架
第3章航空裝備軟件安全性技術(shù)
3.1 軟件系統(tǒng)危險(xiǎn)分析
3.1.1 系統(tǒng)功能危險(xiǎn)分析(FHA)
3.1.2 系統(tǒng)故障樹(shù)分析(FTA)
3.2 軟件安全性需求分析
3.2.1 軟件安全性需求模型構(gòu)建
3.2.2 模型與數(shù)據(jù)驅(qū)動(dòng)的軟件安全性需求分析
3.2.3 基于形式化方法的軟件安全性需求分析
3.3 軟件安全性設(shè)計(jì)
3.3.1 開(kāi)展時(shí)機(jī)與輸入輸出
3.3.2 軟件安全性設(shè)計(jì)準(zhǔn)則
3.3.3 基于準(zhǔn)則的軟件安全性設(shè)計(jì)符合性分析
3.4 軟件安全性編碼
3.4.1 開(kāi)展時(shí)機(jī)與輸入輸出
3.4.2 軟件安全性編碼準(zhǔn)則
3.4.3 基于準(zhǔn)則的軟件安全性編碼符合性分析
3.5 軟件安全性測(cè)試
3.5.1 開(kāi)展時(shí)機(jī)與輸入輸出
3.5.2 軟件安全性測(cè)試過(guò)程
3.5.3 軟件安全性測(cè)試需求分析
3.5.4 基于故障模式的軟件安全性測(cè)試用例設(shè)計(jì)
3.5.5 軟件安全性測(cè)試執(zhí)行與環(huán)境要求
3.5.6 軟件安全性測(cè)試數(shù)據(jù)記錄
3.6 軟件安全性評(píng)審
3.6.1 系統(tǒng)危險(xiǎn)分析評(píng)審
3.6.2 軟件故障模式分析評(píng)審
3.6.3 軟件安全性需求獲取評(píng)審
第4章航空裝備軟件故障模式及其影響分析
4.1 開(kāi)展時(shí)機(jī)與輸入輸出
4.2 軟件故障模式及其影響分析過(guò)程
4.2.1 軟件故障模式分析準(zhǔn)則制定
4.2.2 軟件故障原因分析
4.2.3 軟件故障模式及其影響分析
4.2.4 軟件安全性需求制定
4.2.5 形成軟件故障模式分析數(shù)據(jù)記錄
第5章典型航空裝備軟件故障模式
5.1 航空裝備軟件故障模式概述
5.1.1 航空裝備軟件故障機(jī)理分析
5.1.2 航空裝備軟件故障模式分析模型
5.2 航空裝備軟件故障模式獲取
5.2.1 輸入接口故障模式獲取
5.2.2 功能邏輯故障模式獲取
5.2.3 功能層次故障模式獲取
5.2.4 狀態(tài)方式故障模式獲取
5.2.5 輸出接口故障模式獲取
5.3 航空裝備軟件通用故障模式記錄與描述
5.3.1 通用故障模式規(guī)范化記錄
5.3.2 通用故障模式形式化描述
第6章軟件安全性工具介紹
6.1 國(guó)內(nèi)安全性工具
6.1.1 軟件安全性分析與驗(yàn)證工具(Castle Safetv)
6.1.2 基于適航標(biāo)準(zhǔn)的軟件故障案例知識(shí)平臺(tái)(castle D0178)
6.1.3 軟件通用故障模式數(shù)據(jù)庫(kù)(Castle Data)
6.2 國(guó)外安全性工具
6.2.1 Simfia
6.2.2 SpedTRM
第7章航空裝備軟件安全性技術(shù)工程應(yīng)用
7.1 典型航空裝備軟件介紹
7.2 典型航空裝備軟件安全性工程實(shí)例
7.2.1 系統(tǒng)功能危險(xiǎn)分析示例
7.2.2 系統(tǒng)故障樹(shù)分析示例
7.2.3 軟件安全性需求模型構(gòu)建示例
7.2.4 模型與數(shù)據(jù)驅(qū)動(dòng)的軟件安全性需求分析示例
7.2.5 軟件安全性設(shè)計(jì)準(zhǔn)則示例
7.2.6 軟件安全性編碼準(zhǔn)則示例
7.2.7 軟件安全性測(cè)試驗(yàn)證示例
附錄典型航空裝備軟件故障模式