安全性设计分析与验证

1章　绪论
1.1　安全性的作用与地位
1.2　安全性发展概况
1.2.1　发展历程
1.2.2　发展现状
1.2.3　行业应用情况
1.2.4　发展趋势
第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　区域安全性分析
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　软件开发各阶段安全性设计分析与验证工作
5.2.1　系统要求分析和设计阶段
5.2.2　软件需求分析阶段
5.2.3　软件设计阶段
5.2.4　软件实现阶段
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　故障封锁区域
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　各种验证方法约束条件
参考文献