基于检查点和Rejuvenation的软件可靠性建模分析  

Analysis of Software Reliability Modeling on Checkpointing and Rejuvenation

作　　者：范新媛[1] 徐国治[1] 应忍冬[1] 

机构地区：[1]上海交通大学电子工程系,上海200030

出　　处：《系统仿真学报》2003年第11期1543-1546,共4页Journal of System Simulation

摘　　要：处于运行阶段的软件往往存在老化现象,即性能的逐渐下降或失效。为了避免软件老化造成的影响,人们提出了软件rejuvenation技术。这是一种预防性的软件容错策略,能有效的提高软件系统的可靠性和可用性。但由于rejuvenation操作过程的复杂性,它的成本也是不可忽略的。相对于rejuvenation来说,检查点是一种轻量级的软件容错策略,其成本远小于rejuvenation的成本。本文旨在结合rejuvenation和检查点技术,在rejuvenation周期间插入适当数目的检查点,以降低系统的宕机成本。文中给出了系统的petri网模型,并结合实例进行了分析。Software systems often experience an 揳ging?phenomenon, characterized by progressive performance degradation or a sudden hang/crash. To counteract this phenomenon, a preventive approach named 搒oftware rejuvenation?has been proposed. Despite its effectiveness to improve software reliability and availability, rejuvenation is a complex and expensive process. Relative to rejuvenation, checkpointing is a light-level software fault-tolerance policy, the cost of which is much less than that of rejuvenation. This paper presents a new idea to combine both these techniques to further reduce the total downtime cost of software systems. Software reliability models for three cases and their corresponding numerical results are also given.

关 键 词：软件可靠性 软件老化 软件REJUVENATION 检查点 

分 类 号：TP206.3[自动化与计算机技术—检测技术与自动化装置]