Refined non-homogeneous markovian models for a single-server type of software system with rejuvenation

Long running software systems are known to experience an aging phenomenon called software aging, one in which the accumulation of errors during the execution of software leads to performance degradation and eventually results in failure. To counteract this phenomenon a proactive fault management approach, called software rejuvenation, is particularly useful. It essentially involves gracefully terminating an application or a system and restarting it in a clean internal state. In this paper, we reconsider the non-homogeneous Markovian models for a single-server type of software system with rejuvenation in Garg et al.  (1998), and revisit them from the theoretical view point. More precisely, it is assumed in these models that software failures can occur with positive probability during idle periods in transaction systems, but we exclude this unreasonable situation in our refined models.

[1]  A. T. Tai,et al.  On-board preventive maintenance for long-life deep-space missions: a model-based analysis , 1998, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248).

[2]  Daniel P. Heyman,et al.  Optimal Operating Policies for M/G/1 Queuing Systems , 1968, Oper. Res..

[3]  David Lorge Parnas,et al.  Software aging , 1994, Proceedings of 16th International Conference on Software Engineering.

[4]  Elaine J. Weyuker,et al.  Monitoring Smoothly Degrading Systems for Increased Dependability , 2004, Empirical Software Engineering.

[5]  Hiroyuki Okamura,et al.  Performance Evaluation of Workload-Based Software Rejuvenation Scheme , 2001 .

[6]  Tadashi Dohi,et al.  Estimating Software Rejuvenation Schedules in High-Assurance Systems , 2001, Comput. J..

[7]  V. Kulkarni.  Modeling, Analysis, Design, and Control of Stochastic Systems , 2000 .

[8]  Daniel P. Siewiorek,et al.  High-availability computer systems , 1991, Computer.

[9]  Kishor S. Trivedi,et al.  Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net , 1995, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95.

[10]  M. Omizo,et al.  Modeling , 1983, Encyclopedic Dictionary of Archaeology.

[11]  Daniel P. Heyman,et al.  The T-Policy for the M/G/1 Queue , 1977 .

[12]  Kishor S. Trivedi,et al.  Analysis of Preventive Maintenance in Transactions Based Software Systems , 1998, IEEE Trans. Computers.

[13]  Edward N. Adams,et al.  Optimizing Preventive Service of Software Products , 1984, IBM J. Res. Dev..

[14]  Ann T. Tai,et al.  On-Board Preventive Maintenance: A Design-Oriented Analytic Study for Long-Life Applications , 1999, Perform. Evaluation.

[15]  Yennun Huang,et al.  Software rejuvenation: analysis, module and applications , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.