《计算机容错技术》求取 ⇩

目 录1

第一章绪 论1

第一节容错与可信计算1

第二节容错技术发展简史2

第三节容错系统设计目标5

一、可靠性与可靠度5

二、可用性与可用度6

三、安全性与安全度6

四、保能性与保能度7

习 题8

六、可测性与可测度8

五、可维性与可维度8

第二章故障及防卫故障的原理10

第一节引 言10

第二节故障、差错及失效10

一、故障10

二、差错10

三、失效11

四、故障、差错及失效之间的关系11

五、故障的特性13

第三节故障模型15

一、晶体管开关级故障模型16

二、门级故障模型17

三、功能模块级故障模型19

第四节差错模型24

一、单位差错模型25

二、单向差错模型25

三、随机差错模型26

第五节防卫故障的原理26

习题28

第二节测试技术基本概念30

一、测试技术分类30

第一节引 言30

第三章测试技术及可测性设计30

二、故障检测的基本概念33

三、故障定位的基本概念35

四、电路的最小完全测试集37

五、故障精简定理及测试的质量41

第三节测试生成算法44

一、通路敏化法44

二、D算法47

三、PODEM算法及FAN算法62

四、布尔差分法62

五、时序电路的测试生成73

二、检错码与自校验逻辑网络 176

第四节可测性设计77

一、可测性分析77

二、可测性设计的特定技术80

三、时序电路可测性的扫描设计81

第五节内建自测试83

一、测试码生成技术83

二、测试响应分析技术88

三、内建自测试的结构93

习题98

第四章故障掩蔽技术及系统重组技术103

第一节引 言103

第二节硬件冗余103

一、被动硬件冗余104

二、主动硬件冗余109

三、混合硬件冗余112

四、硬件冗余小结116

第三节信息冗余117

一、编码技术的基本概念117

二、奇偶校验码121

三、n中取m码124

四、重复码125

五、校验和126

六、循环码128

七、算术码134

八、伯格码139

九、汉明纠错码140

十、纠错集成电路143

十一、码制选择143

第四节时间冗余145

一、瞬时故障检测145

二、永久故障检测146

三、采用重算纠错150

第五节软件冗余151

一、一致性校验151

二、能力校验152

习 题153

第一节引 言157

第二节失效安全逻辑网络157

一、失效安全组合逻辑网络157

第五章失效安全技术及自校验技术157

二、失效安全基本逻辑电路165

三、失效安全时序逻辑网络165

第三节 自校验逻辑网络173

一、自校验逻辑的基本概念173

三、对偶函数、自对偶函数与自校验逻辑网络191

第四节扩展失效安全逻辑概念196

四、部分自校验逻辑概念196

习题198

第六章容错系统评估技术200

第一节 引 言200

第二节定量评估的基本参数200

一、失效率与可靠度函数200

二、失效率计算203

三、平均无故障时间204

四、平均修复时间205

六、故障覆盖率206

五、平均故障间隔时间206

第三节可靠度分析208

一、组合模型209

二、马尔可夫模型218

第四节安全度、可用度、可维度分析225

一、安全度分析225

二、可用度分析228

三、可维度分析231

第五节系统比较233

一、比较参数的选择233

二、可靠度改进因数及任务期改进因数236

一、系统灵活性237

第六节定性评估技术237

三、冗余度237

二、技术成熟性238

三、用户透明性238

四、可测性238

第七节权衡分析实例238

一、系统说明239

二、无冗余控制系统评估239

三、双机控制系统评估241

四、可重组双机系统与备份双机系统比较243

习题250

第二节容错系统设计过程255

第一节引 言255

第七章容错系统设计技术255

一、需求分析阶段256

二、方案选择阶段257

三、技术说明阶段258

四、详细设计阶段258

五、测试阶段259

第三节设计实例259

一、问题定义及初步划分260

二、确定系统需求261

三、系统划分262

四、候选方案设计263

五、高级分析267

六、方案比较271

第四节容错计算机系统典型范例275

一、长生命期系统275

二、关键计算系统278

三、高可用度系统283

习题287

第八章软件的容错290

第一节引 言290

第二节软件的故障、差错和失效291

一、软件故障的机理和表示293

二、软件差错的分类及纠正297

第三节容错软件的基本概念298

一、容错软件的定义298

二、实现容错软件的有关技术300

第四节实现容错软件的基本结构307

一、多版编程NVP结构307

二、恢复块技术312

三、恢复块技术应用举例316

第五节容错软件的版本独立性和设计相异性317

一、软件版本的相异性开发317

二、关于相异性的评价321

第六节容错软件的可靠性323

一、容错软件系统的状态324

二、版本相异性对可靠性的影响325

三、裁决机制对于可靠性的影响326

习题326

第九章基于多值逻辑的容错技术327

第一节引 言327

第二节多值逻辑用于开关级测试生成327

一、开关级测试技术327

二、多值开关级代数328

三、应用多值开关级代数描述MOS电路333

四、MOS电路的开关级算子故障模型338

五、U差分及开关算子故障的测试340

六、Z差分及连接算子故障的测试341

七、多级网络的开关级差分343

八、测试生成的开关级差分算法344

第三节多值逻辑用于提高数字系统的可测性345

一、亚阈值内建自测试技术346

二、数字系统可测性的三值扫描设计350

第四节 应用多值逻辑构成容错系统的理论与技术354

一、逻辑值冗余理论355

二、3中取2值自校验逻辑系统361

三、采用三值判定电路的容错系统367

习题372

参考文献374