《安全性設計分析與驗證》主要面向工程技術人員，以 “危險”為核心，闡述了裝備研制中的安全性工程工作、技術體系及具體技術方法，強調(diào)工程實用性。《安全性設計分析與驗證》介紹了安全性工程的地位和作用以及發(fā)展歷程；在介紹安全性度量與要求及安全性工程基本概念的基礎上，梳理分析了裝備研制、生產(chǎn)、使用各階段的安全性分析工作，結(jié)合不同裝備特點有針對性地介紹了各類產(chǎn)品的安全性設計原則和方法；詳細闡述了安全性分析、設計技術方法。同時，《安全性設計分析與驗證》針對裝備中的軟件安全性工作，介紹了相關的技術方法。最后，介紹了安全性驗證的管理與技術方法。 《安全性設計分析與驗證》供工程技術人員及管理人員在開展安全性工程工作時學習和參考，也可作為培訓教材使用。同樣也可用于高等院校高年級本科生及研究生學習參考。
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 安全性分析的輸出結(jié)果
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 分析步驟及內(nèi)容
3.4.4 方法應用過程及案例
3.4.5 注意事項
3.5 過程故障模式與影響分析
3.5.1 簡介
3.5.2 基本原理
3.5.3 分析內(nèi)容與實施流程
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 分析內(nèi)容與實施流程
3.7.4 注意事項
3.7.5 應用示例
3.8 共模分析
3.8.1 簡介
3.8.2 基本原理
3.8.3 分析內(nèi)容與實施流程
3.8.4 注意事項
3.8.5 應用示例
3.9 能量跟蹤與屏蔽分析
3.9.1 簡介
3.9.2 基本原理
3.9.3 分析內(nèi)容與實施流程
3.9.4 注意事項
3.9.5 應用示例
3.10 概率風險評價
3.10.1 簡介
3.10.2 基本原理
3.10.3 分析內(nèi)容和實施流程
3.10.4 注意事項
3.10.5 應用示例
3.11 馬爾科夫分析
3.11.1 簡介
3.11.2 基本原理
3.11.3 Markov分析內(nèi)容與流程
3.11.4 注意事項
3.11.5 應用示例
3.12 人為差錯分析
3.12.1 簡介
3.12.2 基本原理
3.12.3 分析內(nèi)容與實施流程
3.12.4 注意事項
3.12.5 應用示例
第4章 安全性設計
4.1 概述
4.1.1 安全性設計一般要求
4.1.2 安全性設計準則的制定及實施
4.1.3 危險的控制方法
4.2 通用安全性設計方法
4.3 電子產(chǎn)品安全性設計
4.3.1 電子產(chǎn)品的危險類型
4.3.2 電子產(chǎn)品的安全性設計準則
4.3.3 電子產(chǎn)品的安全性設計方法
4.4 機械設備安全性設計
4.4.1 機械設備的危險類型
4.4.2 機械設備的安全性設計準則
4.4.3 機械設備的安全性設計方法
4.4.4 機械安全防護裝置設計
4.5 火工品與含化學品產(chǎn)品安全性設計
4.5.1 火工品與化學品危險類型
4.5.2 火工品與含化學品產(chǎn)品安全性設計準則
4.5.3 火工品安全性設計方法
4.6 核產(chǎn)品安全性設計
4.6.1 核產(chǎn)品的危險類型
4.6.2 核產(chǎn)品的安全性設計準則
4.6.3 核產(chǎn)品的安全性設計方法
4.7 人機安全性設計
4.7.1 忽略人機交互可能產(chǎn)生的危險類型
4.7.2 人機安全性設計準則
4.7.3 人機安全性設計方法
4.8 事故應急預案設計
4.8.1 簡介
4.8.2 事故應急預案基本內(nèi)容
4.8.3 事故應急預案制定的相關工作
4.8.4 事故應急預案的制定
4.8.5 事故應急預案的特點
第5章 軟件安全性設計分析
5.1 概述
5.1.1 軟件安全性工作的目的
5.1.2 軟件安全性工作的流程
5.1.3 軟件安全性工作的輸出結(jié)果
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 分析內(nèi)容與實施流程
5.4.4 注意事項
5.4.5 應用示例
5.5 需求關鍵性分析
5.5.1 簡介
5.5.2 基本原理
5.5.3 分析內(nèi)容與實施流程
5.5.4 注意事項
5.5.5 應用示例
5.6 軟件模塊關鍵性分析
5.6.1 簡介
5.6.2 基本原理
5.6.3 分析內(nèi)容與實施流程
5.6.4 注意事項
5.6.5 應用示例
5.7 代碼安全性分析
5.7.1 簡介
5.7.2 基本原理
5.7.3 分析內(nèi)容與實施流程
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 冗余體系結(jié)構(gòu)
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 各種驗證方法約束條件
參考文獻
書單推薦
