《安全性设计分析与验证》PDF下载

  • 购买积分:13 如何计算积分?
  • 作  者:康锐著
  • 出 版 社:北京市:国防工业出版社
  • 出版年份:2011
  • ISBN:9787118072884
  • 页数:357 页
图书介绍:本书介绍了安全性分析、安全性度量与要求、安全性设计、软件安全性设计与分析和安全性验证等。并附有国内外相关标准以便查询。

第1章 绪论 1

1.1安全性的作用与地位 1

1.2安全性发展概况 3

1.2.1发展历程 3

1.2.2发展现状 5

1.2.3行业应用情况 7

1.2.4发展趋势 9

第2章 安全性度量与要求 11

2.1安全性基本概念 11

2.1.1概念与定义 11

2.1.2概念相关性 12

2.2安全性度量 12

2.2.1事故率或事故概率 12

2.2.2安全可靠度 13

2.2.3损失率或损失概率 13

2.2.4事故风险评价 13

2.3危险源与分类 16

2.3.1危险源的分类 16

2.3.2常见危险源 18

2.4安全性一般要求 19

2.4.1定性要求 19

2.4.2定量要求 22

2.4.3工作要求 22

第3章 安全性分析 25

3.1概述 25

3.1.1安全性分析的目的和作用 25

3.1.2安全性分析的输出结果 26

3.1.3安全性分析的基本流程 26

3.2研制各阶段安全性分析工作及方法 27

3.2.1安全性分析工作流程 28

3.2.2论证阶段安全性分析 30

3.2.3方案阶段安全性分析 33

3.2.4工程研制阶段安全性分析 37

3.2.5常用的安全性分析方法 40

3.3表格危险分析法 41

3.3.1简介 41

3.3.2分析过程及步骤 41

3.3.3分析形式 44

3.3.4表格填写说明 44

3.3.5方法应用过程及案例 46

3.3.6注意事项 63

3.4功能危险分析 63

3.4.1简介 63

3.4.2分析的基本过程 64

3.4.3分析步骤及内容 65

3.4.4方法应用过程及案例 68

3.4.5注意事项 74

3.5过程故障模式与影响分析 74

3.5.1简介 74

3.5.2基本原理 75

3.5.3分析内容与实施流程 78

3.5.4注意事项 88

3.5.5应用示例 89

3.6特定风险分析 95

3.6.1简介 95

3.6.2分析流程 96

3.6.3注意事项 96

3.6.4应用示例 96

3.7区域安全性分析 99

3.7.1简介 99

3.7.2基本原理 100

3.7.3分析内容与实施流程 101

3.7.4注意事项 106

3.7.5应用示例 107

3.8共模分析 110

3.8.1简介 110

3.8.2基本原理 111

3.8.3分析内容与实施流程 114

3.8.4注意事项 121

3.8.5应用示例 121

3.9能量跟踪与屏蔽分析 126

3.9.1简介 126

3.9.2基本原理 127

3.9.3分析内容与实施流程 129

3.9.4注意事项 133

3.9.5应用示例 134

3.10概率风险评价 136

3.10.1简介 136

3.10.2基本原理 137

3.10.3分析内容和实施流程 139

3.10.4注意事项 150

3.10.5应用示例 151

3.11马尔科夫分析 158

3.11.1简介 158

3.11.2基本原理 158

3.11.3 Markov分析内容与流程 161

3.11.4注意事项 166

3.11.5应用示例 168

3.12人为差错分析 180

3.12.1简介 180

3.12.2基本原理 181

3.12.3分析内容与实施流程 187

3.12.4注意事项 191

3.12.5应用示例 192

第4章 安全性设计 193

4.1概述 193

4.1.1安全性设计一般要求 193

4.1.2安全性设计准则的制定及实施 195

4.1.3危险的控制方法 196

4.2通用安全性设计方法 200

4.3电子产品安全性设计 218

4.3.1电子产品的危险类型 218

4.3.2电子产品的安全性设计准则 220

4.3.3电子产品的安全性设计方法 231

4.4机械设备安全性设计 248

4.4.1机械设备的危险类型 248

4.4.2机械设备的安全性设计准则 249

4.4.3机械设备的安全性设计方法 255

4.4.4机械安全防护装置设计 259

4.5火工品与含化学品产品安全性设计 263

4.5.1火工品与化学品危险类型 263

4.5.2火工品与含化学品产品安全性设计准则 266

4.5.3火工品安全性设计方法 273

4.6核产品安全性设计 276

4.6.1核产品的危险类型 276

4.6.2核产品的安全性设计准则 277

4.6.3核产品的安全性设计方法 277

4.7人机安全性设计 280

4.7.1忽略人机交互可能产生的危险类型 280

4.7.2人机安全性设计准则 280

4.7.3人机安全性设计方法 283

4.8事故应急预案设计 289

4.8.1简介 289

4.8.2事故应急预案基本内容 290

4.8.3事故应急预案制定的相关工作 293

4.8.4事故应急预案的制定 294

4.8.5事故应急预案的特点 298

第5章 软件安全性设计分析 300

5.1概述 300

5.1.1软件安全性工作的目的 300

5.1.2软件安全性工作的流程 300

5.1.3软件安全性工作的输出结果 302

5.2软件开发各阶段安全性设计分析与验证工作 303

5.2.1系统要求分析和设计阶段 303

5.2.2软件需求分析阶段 306

5.2.3软件设计阶段 308

5.2.4软件实现阶段 311

5.2.5软件测试阶段 312

5.3面向全过程的软件安全性相关工作 315

5.3.1软件安全性追踪 315

5.3.2软件变更安全性分析 316

5.4软件安全性等级确定方法 316

5.4.1简介 316

5.4.2基本原理 316

5.4.3分析内容与实施流程 316

5.4.4注意事项 318

5.4.5应用示例 318

5.5需求关键性分析 320

5.5.1简介 320

5.5.2基本原理 320

5.5.3分析内容与实施流程 320

5.5.4注意事项 321

5.5.5应用示例 321

5.6软件模块关键性分析 322

5.6.1简介 322

5.6.2基本原理 322

5.6.3分析内容与实施流程 322

5.6.4注意事项 323

5.6.5应用示例 323

5.7代码安全性分析 323

5.7.1简介 323

5.7.2基本原理 324

5.7.3分析内容与实施流程 324

5.7.4分析方法 324

5.7.5注意事项 326

5.8软件安全性设计准则 326

5.8.1软件详细设计准则 326

5.8.2编码标准 327

5.9软件安全性设计方法 331

5.9.1软件自检测 331

5.9.2多版本非相似设计 331

5.9.3故障封锁区域 332

5.9.4冗余体系结构 332

5.9.5防御性程序设计 333

第6章 安全性验证 334

6.1概述 334

6.1.1安全性验证目的 334

6.1.2安全性验证的基本原则 334

6.2安全性验证工作与流程 335

6.2.1安全性验证总体方案与大纲 335

6.2.2安全性验证工作流程 338

6.3安全性验证方法 339

6.3.1安全性验证方法类别 339

6.3.2试验类验证方法 339

6.3.3分析类验证方法 343

6.3.4检查类验证方法 345

6.4验证方法的选取原则与一般程序 349

6.4.1验证方法选取原则 349

6.4.2选择装备安全性验证方法的一般程序 351

6.4.3各种验证方法约束条件 352

参考文献 354