容错计算原理

第1章 绪论
1.1 容错和避错技术的产生及发展
1.2 容错计算的特征及定义
1.3 避错和容错技术的分类
第2章 故障的表现及分布
2.1 故障的来源
2.2 故障的表现
2.3 故障的分布及参数估计
第3章 编码技术
3.1 概述
3.2 编码的代数基础
3.3 线性分组码
3.4 循环码
3.5 算术码
3.6 其它码
第4章 同步技术
4.1 引言
4.2 时钟级同步
4.3 松散同步
4.4 任务级同步
4.5 同步技术的典型应用
第5章 故障检测与诊断技术
5.1 概述
5.2 联机检测与诊断技术
5.3 脱机检测与诊断技术
第6章 故障屏蔽技术
6.1 线路级屏蔽技术
6.2 逻辑级屏蔽技术
6.3 模块级屏蔽技术
6.4 故障屏蔽技术在容错PLA设计中的应用
第7章 动态冗余技术
7.1 重组技术
7.2 恢复技术
7.3 动态N倍冗余技术
第8章 软件可靠性技术
8.1 概述
8.2 软件避错技术
8.3 软件容错技术
8.4 软件可靠性模型
第9章 分布容错计算技术
9.1 概述
9.2 分布式系统的系统级故障诊断技术
9.3 基于检查点的卷回恢复和进程迁移技术
9.4 分布容错调度技术
9.5 分布系统的容错设计
第10章 容错系统可靠性的评价
10.1 可靠性的评价标准
10.2 可靠性模型及可靠性计算
第11章 典型容错计算机容错技术分析
11.1 980FT86实时容错加固计算机
11.2 FtServer系列容错服务器
参考文献