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