航空裝備軟件安全性技術(shù)

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