内容简介
当前，数字计算系统已经渗透到社会的各个领域，容错计算理念以及与容错计算相关的理论和应用问题也将迅速深入到人类赖以生存的各个领域和环境中去。同时，人们期待着所应用的，或者将应用的各种数字计算系统都是“诚信”的愿望必将实现。因此，对容错计算系统的设计理论和实践环节的深入研究和开拓必将成为当今数字系统研究和开发的热点。
本书共10章，可以分成两大部分：第一部分对容错计算以及可信系统各类属性的定义和基本知识作详细的介绍和分析（从第1章至第4章），其中包括对软件和硬件系统的故障，错误和失效的定义和性质的形式化描述，并对软件和硬件系统中的故障和错误作了分析和比较；第二部分则是在对故障、错误和失效等主要属性作深入研究的基础上，阐述了提高系统可信性和可靠性以及容错计算的基本理论、主要技术和实施方法，并且介绍了其他相关的知识（从第5章至第10章）。其中按照软件和硬件系统的开发生命周期各个阶段应采取的各种策略和措施进行详细的分析讨论，包括阐明了避错技术和防错技术、软件和硬件系统测试技术、可测性设计技术（包括冗余与编码技术）、容错系统的设计以及故障安全技术等在数字系统中的实施策略和实际应用。
本书共10章，可以分成两大部分：第一部分对容错计算以及可信系统各类属性的定义和基本知识作详细的介绍和分析（从第1章至第4章），其中包括对软件和硬件系统的故障，错误和失效的定义和性质的形式化描述，并对软件和硬件系统中的故障和错误作了分析和比较；第二部分则是在对故障、错误和失效等主要属性作深入研究的基础上，阐述了提高系统可信性和可靠性以及容错计算的基本理论、主要技术和实施方法，并且介绍了其他相关的知识（从第5章至第10章）。其中按照软件和硬件系统的开发生命周期各个阶段应采取的各种策略和措施进行详细的分析讨论，包括阐明了避错技术和防错技术、软件和硬件系统测试技术、可测性设计技术（包括冗余与编码技术）、容错系统的设计以及故障安全技术等在数字系统中的实施策略和实际应用。