第一章 总论 1
1.1 容错技术概论 1
1.2 故障安全技术概论 7
第二章 故障测试 20
2.1 数字电路（或系统）的故障和故障模型 20
2.2 故障测试总论 27
2.3 部件的功能测试 30
2.4 门级的结构测试 45
2.5 其它的故障检测技术 56
2.6 系统级诊断 60
第三章 硬件冗余技术 67
3.1 冗余技术的基本概念 67
3.2 N模冗余技术 68
3.3 待命储备系统 78
3.4 混合冗余系统 79
3.5 二模冗余系统 80
3.6 局部网络冗余技术 90
第四章 软件冗余技术 97
4.1 软件可靠性的基本概念 97
4.2 软件的避错技术 100
4.3 容错软件的结构 102
4.4 软件错误检测技术 107
4.5 软件容错技术 109
第五章 故障安全组合逻辑电路 119
5.1 基本故障安全逻辑电路的定义 119
5.2 单调逻辑函数 119
5.3 基本故障安全逻辑电路的条件 121
5.4 故障安全组合逻辑电路 122
5.5 实现基本故障安全逻辑电路应该考虑的主要问题 122
5.6 电阻—晶体管调变式故障安全逻辑电路 124
5.7 三值故障安全逻辑电路 125
5.8 交替逻辑电路及其故障安全性 128
6.1 时序电路和状态机 131
第六章 故障安全的时序逻辑电路 131
6.2 故障安全（FS）时序电路基本概念 137
6.3 用对称出错元件（SFE）和波格码设计FS同步时序电路 141
6.4 用对称出错元件（SFE）和等重码kCn设计FS同步时序电路 148
6.5 用SFE元件和集合分划理论设计FS同步时序电路 151
6.6 N-FS时序电路 155
第七章 自校验逻辑电路 160
7.1 概述 160
7.2 自校验逻辑电路的特点及一般结构模型 160
7.3 自校验逻辑电路的定义 161
7.4 完全自校验检测器 164
7.5 双轨代码完全自校验检测器 165
7.6 奇偶校验码完全自校验检测器 166
7.7 m/n编码的完全自校验检测器 167
7.8 强故障保险逻辑 169
7.9 自校验和故障安全的关系 169
8.1 概述 170
第八章 故障安全计算机 170
8.2 铁路信号设备微型计算机化的特点 172
8.3 单机闭环自诊断故障安全计算机 173
8.4 采用单机软件冗余的故障安全计算机 174
8.5 双模紧密耦合总线同步式故障安全计算机 176
8.6 双模时差同步式故障安全计算机 178
8.7 双模软件冗余的故障安全计算机 180
8.8 三模紧密耦合总线同步式故障安全计算机 182
8.10 故障安全输入接口 186
8.9 三模松散耦合式故障安全计算机 186
8.11 故障安全输出接口 188
8.12 故障安全传输 190
第九章 软件系统的故障安全 192
9.1 软件系统故障安全概述 192
9.2 软件故障安全性需求分析 193
9.3 软件系统的故障安全性设计准则 196
9.4 软件系统安全性验证和评估 203
主要参考文献 206