软件工程师可信计算基础

书名：软件工程师可信计算基础
作者：(美)John Knight著
ISBN：978-7-118-10006-8
出版社：国防工业出版社
出版日期：2014.12
本书分为12章。第1章介绍了可信性，并且激励读者能够继续研究；第2章介绍了可信性工程的基本术语；第3章介绍几种不同的故障模式以及应对这些故障的处理措施。第4章讨论了怎样识别那些系统常常会发生的故障。第5章介绍了4种基本的故障应对机制：故障避免、故障消除、容错和故障预测（forecasting），同时也对拜占庭错误（Byzantine fault）进行了一些探讨。第6章总结了退化故障（degradation fault）的相关问题，该种故障只会在硬件中发生。第7章介绍了围绕软件可信性的一般问题。第8章和第9章就软件容错方面的一些重要内容进行了探讨。第10章有关软件故障消除，11章有关软件容错，最后的12章介绍了可信性评估。