航天器控制计算机容错技术

第1章 绪论

1.1 容错技术的基本概念和理论

1.1.1 基本概念

1.1.2 可靠性理论

1.2 航天器控制计算机面临的空间环境

1.2.1 空间环境介绍

1.2.2 空间环境的损伤效应分析

1.3 容错技术发展状况及其展望

第2章 容错系统结构及其关键技术

2.1 容错系统结构

2.1.1 模块级冗余结构

2.1.2 备份容错结构

2.1.3 三机容错结构

2.1.4 其他容错结构

2.2 同步技术

2.2.1 同步时钟系统

2.2.2 系统同步方法

2.3 硬件冗余容错设计

2.3.1 冗余设计的通用逻辑模型和流程

2.3.2 冗余的方案论证

2.3.3 冗余的设计实现

2.3.4 冗余的分析验证

2.3.5 冗余的测试验证

第3章 故障检测技术

3.1 故障模型

3.1.1 按时间分类的故障模型

3.1.2 按空间分类的故障模型

3.2 故障检测技术

3.2.1 概述

3.2.2 CPU的故障检测方法

3.2.3 存储器的故障检测方法

3.2.4 I／O的故障检测方法

第4章 总线技术

4.1 星载总线技术的概述

4.1.1 基本概念

4.1.2 基本术语

4.2 MIL-STD-15538总线

4.2.1 总线系统故障模型

4.2.2 总线冗余容错机制

4.3 CAN总线

4.3.1 总线协议标准

4.3.2 物理层协议及容错性

4.3.3 数据链路层协议及容错性

4.4 Space Wire总线

4.4.1 物理层及容错性

4.4.2 链路层及容错性

4.4.3 网络及路由

4.4.4 容错机制

4.5 其他总线

4.5.1 IEEE1394总线

4.5.2 以太网

4.5.3 12C总线

第5章 软件容错技术

第6章 FPGA容错技术

第7章 故障注入技术

第8章 智能容错技术

附录术语

参考文献

《航天器控制计算机容错技术》系统介绍了航天器控制计算机所涉及的多种容错技术，内容主要包括：航天器控制计算机所面临的空间环境及其故障模型；容错系统结构和时钟同步技术；故障检测技术；多种空间总线容错技术；单版本和多版本等软件容错技术；基于冗余设计和重构的SRAM型FPGA容错技术；多种故障注入技术；以可进化硬件容错和人工免疫硬件容错为代表的智能容错技术。《航天器控制计算机容错技术》可作为各种高可靠计算机，特别是航天器计算机和电子系统研究和设计人员的参考用书，也可作为从事该方向研究的研究生教材。