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

　　P.Pelliccione　　SoftwareEngineeringof　　FaultTolerantSystems　　2007，281pp

　　Hardback

　　ISBN9789812705037

　　佩利乔恩等编

　　在总体结构可以依赖的系统中，改进整体系统鲁棒性所需要的是容错。为此，人们提出了许多方法，这些方法也都是在软件生命周期的设计与实施阶段的后期加以考虑（例如Java和WindowsNT的异常处理），因而降低了出错处理和故障处理的有效性。因为典型的系统设计只考虑建模系统的正常行为，而忽略了异常行为，因此这种系统实现就不能处理异常事件。有人提出在整个生命周期中的容错管理会改进整个系统的鲁棒性，为此需要识别不同类型的威胁；并且取决于被建模软件系统的抽象层次，在软件开发的每一个特殊的阶段加以处理。

　　本书是一本会议文集，是2006年6月12－14日在卢森堡举行的专题讨论会（EFTS2006）。

　　本书收录9篇论文分成3个部分，第一部分，容错设计：从需求到编码：1.对于在中间件层次上实现可扩缩及性能好的数据复制的探索性思考；2.在基于状态机的设计中增加容错；3.面向服务系统中的复制。第二部分，容错系统的验证与确认：4.利用片上调试机理的嵌入式软件确认；5.基于事件驱动状态的应用控制流中的错误检测；6.分布式嵌入系统的容错通讯。第三部分，设计容错系统的语言及工具：7.一个模型驱动异常管理框架；8.用于基于容错构件的应用的运行时间失效检测与自适应修复；9.分布式算法确认与验证Neke框架的可应用性拓展。本书可供软件工程专业的研究人员、工程师阅 ……此处隐藏-31个字……

　　在总体结构可以依赖的系统中，改进整体系统鲁棒性所需要的是容错。为此，人们提出了许多方法，这些方法也都是在软件生命周期的设计与实施阶段的后期加以考虑（例如Java和WindowsNT的异常处理），因而降低了出错处理和故障处理的有效性。因为典型的系统设计只考虑建模系统的正常行为，而忽略了异常行为，因此这种系统实现就不能处理异常事件。有人提出在整个生命周期中的容错管理会改进整个系统的鲁棒性，为此需要识别不同类型的威胁；并且取决于被建模软件系统的抽象层次，在软件开发的每一个特殊的阶段加以处理。

　　本书是一本会议文集，是2006年6月12－14日在卢森堡举行的专题讨论会（EFTS2006）。

　　本书收录9篇论文分成3个部分，第一部分，容错设计：从需求到编码：1.对于在中间件层次上实现可扩缩及性能好的数据复制的探索性思考；2.在基于状态机的设计中增加容错；3.面向服务系统中的复制。第二部分，容错系统的验证与确认：4.利用片上调试机理的嵌入式软件确认；5.基于事件驱动状态的应用控制流中的错误检测；6.分布式嵌入系统的容错通讯。第三部分，设计容错系统的语言及工具：7.一个模型驱动异常管理框架；8.用于基于容错构件的应用的运行时间失效检测与自适应修复；9.分布式算法确认与验证Neke框架的可应用性拓展。本书可供软件工程专业的研究人员、工程师阅读借鉴。

　　胡光华，高级软件工程师

　　(原中国科学院物理学研究所)

　　HuGuanghua,SeniorSoftwareEngineer

　　(FormerInstituteofPhysics,CAS)