[容错系统软件工程]系统容错

　　P.Pelliccione 　　Software Engineering of 　　Fault Tolerant Systems 　　2007，281pp
　　Hardback
　　ISBN9789812705037
　　
　　佩利乔恩等编
　　在总体结构可以依赖的系统中，改进整体系统鲁棒性所需要的是容错。为此，人们提出了许多方法，这些方法也都是在软件生命周期的设计与实施阶段的后期加以考虑（例如Java和Windows NT的异常处理），因而降低了出错处理和故障处理的有效性。因为典型的系统设计只考虑建模系统的正常行为，而忽略了异常行为，因此这种系统实现就不能处理异常事件。有人提出在整个生命周期中的容错管理会改进整个系统的鲁棒性，为此需要识别不同类型的威胁；并且取决于被建模软件系统的抽象层次，在软件开发的每一个特殊的阶段加以处理。
　　本书是一本会议文集，是2006年6月12－14日在卢森堡举行的专题讨论会（EFTS2006）。
　　本书收录9篇论文分成3个部分，第一部分，容错设计：从需求到编码：1.对于在中间件层次上实现可扩缩及性能好的数据复制的探索性思考；2.在基于状态机的设计中增加容错；3.面向服务系统中的复制。第二部分，容错系统的验证与确认：4.利用片上调试机理的嵌入式软件确认；5.基于事件驱动状态的应用控制流中的错误检测；6.分布式嵌入系统的容错通讯。第三部分，设计容错系统的语言及工具：7.一个模型驱动异常管理框架；8.用于基于容错构件的应用的运行时间失效检测与自适应修复；9.分布式算法确认与验证Neke框架的可应用性拓展。 本书可供软件工程专业的研究人员、工程师阅读借鉴。
　　胡光华，高级软件工程师
　　(原中国科学院物理学研究所)
　　Hu Guanghua, Senior Software Engineer
　　(Former Institute of Physics,CAS)