本站原创本文是一篇工程师论文范文,工程师相关本科论文开题报告,关于容错系统软件工程相关硕士论文范文。适合工程师及嵌入式及软件开发方面的的大学硕士和本科毕业论文以及工程师相关开题报告范文和职称论文写作参考文献资料下载。
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)