容错计算系统【徐拾义主编】-PDF电子版

/>

书籍名称：容错计算系统

页数：397

作者：徐拾义主编

出版时间：2010

ISBN：9787307076600

出版社：武汉：武汉大学出版社

简介：本书共10章，分为两大部分：第一部分对容错计算以及可信系统各类属性的定义和基本知识作详细的介绍和分析（从第1章至第4章），其中包括对软件和硬件系统的故障、错误和失效的定义和性质的形式化描述，并对软件和硬件系统中的故障和错误作了分析和比较；第二部分则是在对故障、错误和失效等主要属性作深入研究的基础上，阐述了提高系统可信性和可靠性以及容错计算的基本理论、主要技术和实施方法，并且介绍了其他相关的知识（从第5章至第10章）。其中按照软件和硬件系统的开发生命周期各个阶段应采取的各种策略和措施进行详细的分析讨论，包括阐明了避错技术和防错技术、软件和硬件系统测试技术、可测性设计技术（包括冗余与编码技术）、容错系统的设计以及故障安全技术等在数字系统中的实施策略和实际应用。本书适合计算机科学与技术专业和信息工程专业高年级本科生和研究生以及从事容错计算理论和应用的有关专业人士。

前部分目录

第1章 容错计算的基本概念——1
1.1 故障的定义及性质——1
1.1.1 故障的定义——1
1.1.2 故障的产生——2
1.1.3 故障的基本性质——2
1.2 故障模型——3
1.2.1 硬件故障模型——5
1.2.2 软件故障模型——8
1.3 故障模型的建立——12
1.3.1 建立故障模型的重要性和标准——12
1.3.2 故障模型的局限性——13
1.4 错误的定义——15
1.4.1 错误的定义——15
1.4.2 错误的分类及其传递性——16
1.5 失效的定义——17
1.6 数字系统的可信性——18
······
······
······