安全性設計分析與驗證

1章　緒論
1.1　安全性的作用與地位
1.2　安全性發(fā)展概況
1.2.1　發(fā)展歷程
1.2.2　發(fā)展現(xiàn)狀
1.2.3　行業(yè)應用情況
1.2.4　發(fā)展趨勢
第2章　安全性度量與要求
2.1　安全性基本概念
2.1.1　概念與定義
2.1.2　概念相關性
2.2　安全性度量
2.2.1　事故率或事故概率
2.2.2　安全可靠度
2.2.3　損失率或損失概率
2.2.4　事故風險評價
2.3　危險源與分類
2.3.1　危險源的分類
2.3.2　常見危險源
2.4　安全性一般要求
2.4.1　定性要求
2.4.2　定量要求
2.4.3　工作要求
第3章　安全性分析
3.1　概述
3.1.1　安全性分析的目的和作用
3.1.2　安全性分析的輸出結果
3.1.3　安全性分析的基本流程
3.2　研制各階段安全性分析工作及方法
3.2.1　安全性分析工作流程
3.2.2　論證階段安全性分析
3.2.3　方案階段安全性分析
3.2.4　二程研制階段安全性分析
3.2.5　常用的安全性分析方法
3.3　表格危險分析法
3.3.1　簡介
3.3.2　分析過程及步驟
3.3.3　分析形式
3.3.4　表格填寫說明
3.3.5　方法應用過程及案例
3.3.6　注意事項
3.4　功能危險分析
3.4.1　簡介
3.4.2　分析的基本過程
3.4.3　分析步驟及內容
3.4.4　方法應用過程及案例
3.4.5　注意事項
3.5　過程故障模式與影響分析
3.5.1　簡介
3.5.2　基本原理
3.5.3　分析內容與實施流程
3.5.4　注意事項
3.5.5　應用示例
3.6　特定風險分析
3.6.1　簡介
3.6.2　分析流程
3.6.3　注意事項
3.6.4　應用示例
3.7　區(qū)域安全性分析
3.7.1　簡介
3.7.2　基本原理
3.7.3　分析內容與實施流程
3.7.4　注意事項
3.7.5　應用示例
3.8　共模分析
3.8.1　簡介
3.8.2　基本原理
3.8.3　分析內容與實施流程
3.8.4　注意事項
3.8.5　應用示例
3.9　能量跟蹤與屏蔽分析
3.9.1　簡介
3.9.2　基本原理
3.9.3　分析內容與實施流程
3.9.4　注意事項
3.9.5　應用示例
3.10 概率風險評價
3.10.1　簡介
3.10.2　基本原理
3.10.3　分析內容和實施流程
3.10.4　注意事項
3.10.5　應用示例
3.11 馬爾科夫分析
3.11.1　簡介
3.11.2　基本原理
3.11.3　Markov分析內容與流程
3.11.4　注意事項
3.11.5　應用示例
3.12 人為差錯分析
3.12.1　簡介
3.12.2　基本原理
3.12.3　分析內容與實施流程
3.12.4　注意事項
3.12.5　應用示例
第4章　安全性設計
4.1　概述
4.1.1　安全性設計一般要求
4.1.2　安全性設計準則的制定及實施
4.1.3　危險的控制方法
4.2　通用安全性設計方法
4.3　電子產品安全性設計
4.3.1　電子產品的危險類型
4.3.2　電子產品的安全性設計準則
4.3.3　電子產品的安全性設計方法
4.4　機械設備安全性設計
4.4.1　機械設備的危險類型
4.4.2　機械設備的安全性設計準則
4.4.3　機械設備的安全性設計方法
4.4.4　機械安全防護裝置設計
4.5　火工品與含化學品產品安全性設計
4.5.1　火工品與化學品危險類型
4.5.2　火工品與含化學品產品安全性設計準則
4.5.3　火工品安全性設計方法
4.6　核產品安全性設計
4.6.1　核產品的危險類型
4.6.2　核產品的安全性設計準則
4.6.3　核產品的安全性設計方法
4.7　人機安全性設計
4.7.1　忽略人機交互可能產生的危險類型
4.7.2　人機安全性設計準則
4.7.3　人機安全性設計方法
4.8　事故應急預案設計
4.8.1　簡介
4.8.2　事故應急預案基本內容
4.8.3　事故應急預案制定的相關工作
4.8.4　事故應急預案的制定
4.8.5　事故應急預案的特點
第5章　軟件安全性設計分析
5.1　概述
5.1.1　軟件安全性工作的目的
5.1.2　軟件安全性工作的流程
5.1.3　軟件安全性工作的輸出結果
5.2　軟件開發(fā)各階段安全性設計分析與驗證工作
5.2.1　系統(tǒng)要求分析和設計階段
5.2.2　軟件需求分析階段
5.2.3　軟件設計階段
5.2.4　軟件實現(xiàn)階段
5.2.5　軟件測試階段
5.3　面向全過程的軟件安全性相關工作
5.3.1　軟件安全性追蹤
5.3.2　軟件變更安全性分析
5.4　軟件安全性等級確定方法
5.4.1　簡介
5.4.2　基本原理
5.4.3　分析內容與實施流程
5.4.4　注意事項
5.4.5　應用示例
5.5　需求關鍵性分析
5.5.1　簡介
5.5.2　基本原理
5.5.3　分析內容與實施流程
5.5.4　注意事項
5.5.5　應用示例
5.6　軟件模塊關鍵性分析
5.6.1　簡介
5.6.2　基本原理
5.6.3　分析內容與實施流程
5.6.4　注意事項
5.6.5　應用示例
5.7　代碼安全性分析
5.7.1　簡介
5.7.2　基本原理
5.7.3　分析內容與實施流程
5.7.4　分析方法
5.7.5　注意事項
5.8　軟件安全性設計準則
5.8.1　軟件詳細設計準則
5.8.2　編碼標準
5.9　軟件安全性設計方法
5.9.1　軟件自檢測
5.9.2　多版本非相似設計
5.9.3　故障封鎖區(qū)域
5.9.4　冗余體系結構
5.9.5　防御性程序設計
第6章　安全性驗證
6.1　概述
6.1.1　安全性驗證目的
6.1.2　安全性驗證的基本原則
6.2　安全性驗證工作與流程
6.2.1　安全性驗證總體方案與大綱
6.2.2　安全性驗證工作流程
6.3　安全性驗證方法
6.3.1　安全性驗證方法類別
6.3.2　試驗類驗證方法
6.3.3　分析類驗證方法
6.3.4　檢查類驗證方法
6.4　驗證方法的選取原則與一般程序
6.4.1　驗證方法選取原則
6.4.2　選擇裝備安全性驗證方法的一般程序
6.4.3　各種驗證方法約束條件
參考文獻