第1章 导论
1.1 故障容限的定义
1.2 故障容限和冗余
1.3 故障容限的应用
参考文献
第2章 可信性基础
2.1 符号
2.2 可信性属性
2.2.1 可靠性
2.2.2 可用性
2.2.3 安全性
2.3 可信性损伤
2.3.1 故障、错误和失效
2.3.2 故障的起源
2.3.3 共模故障
2.3.4 硬件故障
2.3.5 软件故障
2.4 可信性措施
2.4.1 故障容限
2.4.2 故障预防
2.4.3 故障排除
2.4.4 故障预测
2.5 小结
思考题
参考文献
第3章 可信性评估技术
3.1 概率论基础
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.4 可信性评估
3.4.1 利用可靠性框图（RBD）进行可靠性评估
3.4.2 利用马尔可夫过程进行可信性评估
3.5 小结
思考题
参考文献
第4章 硬件冗余
4.1 冗余分配
4.2 被动型冗余
4.2.1 三模冗余
4.2.2 N模冗余
4.3 主动型冗余
4.3.1 比较重复
4.3.2 备份冗余
4.3.3 成对备份
4.4 混合冗余
4.4.1 自清除冗余
4.4.2 带备件的N模冗余
4.5 小结
思考题
参考文献
第5章 信息冗余
5.1 历史
5.2 基本概念
5.2.1 码
5.2.2 编码
5.2.3 信息率
5.2.4 解码
5.2.5 汉明距离
5.2.6 码距
5.3 奇偶校验码
5.3.1 性质与特征
5.3.2 应用
5.3.3 水平和垂直奇偶校验码
5.4 线性码
5.4.1 基本概念
5.4.2 定义
5.4.3 生成矩阵
5.4.4 一致校验矩阵
5.4.5 伴随式
5.4.6 线性码的构造
5.4.7 汉明码
5.4.8 字典序一致校验矩阵
5.4.9 汉明码的应用
5.4.10 扩展汉明码
5.5 循环码
5.5.1 定义
5.5.2 多项式运算
5.5.3 生成多项式
5.5.4 一致校验多项式
5.5.5 伴随多项式
5.5.6 编译码的实现
5.5.7 可分离循环码
5.5.8 循环冗余校验码
5.5.9 里德-所罗门码
5.6 无序码
5.6.1 m-of-n码
5.6.2 Berger码
5.7 算术码
5.7.1 AN码
5.7.2 剩余码
5.8 小结
思考题
参考文献
第6章 时间冗余
6.1 瞬态错误
6.2 永久错误
6.2.1 交替逻辑
6.2.2 修改操作数再计算
6.3 小结
思考题
参考文献
第7章 软件冗余
7.1 软件与硬件
7.2 单版本技术
7.2.1 故障检测技术
7.2.2 故障抑制技术
7.2.3 故障恢复技术
7.3 多版本技术
7.3.1 块恢复
7.3.2 N版本编程技术
7.3.3 N自检编程技术
7.3.4 设计多样性的重要性
7.4 软件测试
7.4.1 语句覆盖
7.4.2 分支覆盖
7.5 小结
思考题
参考文献
第8章 结束语
缩略语
专业术语对照表

该书共分为八章，系统阐述了故障容限的有关概念、建模和评估方法，以及通过硬件、软件、信息、时间冗余等来实现故障容限的理论和实践，并配有大量案例，对系统故障容限设计具有积极的指导意义。而且，其思想新颖、视角独特，为广大科技人员学习和借鉴国外研究成果提供了一个良好机会。
该书不仅适用于航天领域，还适用于其他关键系统，如地面核电站控制系统、飞行控制系统、银行自动交易系统等广泛的军民领域，其中文版的问世将有利于促进故障容限的理论基础和工程方法有效融合，有利于提高应用系统设计水平。
本书包含8个章节，涉及以下几个主题。第1章是导论，讨论了故障容限在可信系统开发中的重要性；第2章描述了可信性的三个基本特征：属性、损伤和措施；第3章介绍了可信性评估技术和可信性模型，如可靠性框图和马尔可夫链；第4章介绍了硬件系统设计故障容限设计的常用方法，如三模冗余、备份冗余和自清除冗余，并评估了它们对系统可信性的影响；第5章展示了如何通过编码来实现故障容限，它涵盖了许多重要的编码族，包括奇偶校验、线性、循环、无序和算术代码；第6章介绍了时间冗余技术，可用于检测和纠正瞬态和永久性故障；第7章描述了软件系统故障容限设计的主要方法，包括检查点和重启、恢复块、N版本编程和N自检编程：第8章总结了本书。