Semi-Markov Modeling Approach for Deteriorating Systems with Preventive Maintenance

Software systems experience gradual performance degradation despite of which they are required to perform service, though at a degraded level. Different preventive and corrective techniques (restart, rejuvenation etc. ) have been applied to restore efficient service of the system. In this paper, we model the process of degradation together with the corrective actions of minimal repair, major repair and restart technique via a semi-Markov process. In addition, at the lower level, we propose a performance model to study the impact of load on degradation, using Markov reward models. Closed-form solution for the dependability of the system in terms of availability, reliability and maintainability are obtained. The proposed model is also compared with an existing model. The analysis conducted, using numerical results, indicates the efficiency of our approach.

[1]  A. Brenner Performance and dependability analysis of fault-tolerant networks , 1996 .

[2]  Nikolaos Limnios,et al.  Nonparametric Estimation of Performance and Performability for Semi-Markov Processes , 2006 .

[3]  Norman F. Schneidewind,et al.  Successful Application of Software Reliability: A Case Study , 2010 .

[4]  Kishor S. Trivedi,et al.  Markov reward approach to performability and reliability analysis , 1994, Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

[5]  Katinka Wolter Stochastic Models for Fault Tolerance - Restart, Rejuvenation and Checkpointing , 2010 .

[6]  Daming Lin,et al.  A review on machinery diagnostics and prognostics implementing condition-based maintenance , 2006 .

[7]  L. McLaughlin,et al.  Cost-effective condition-based maintenance using markov decision processes , 2006, RAMS '06. Annual Reliability and Maintainability Symposium, 2006..

[8]  Wei Xie,et al.  Analysis of a two-level software rejuvenation policy , 2005, Reliab. Eng. Syst. Saf..

[9]  Kishor S. Trivedi Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

[10]  Yang Wei-we,et al.  A Review on , 2008 .

[11]  Kishor S. Trivedi,et al.  Composite Performance and Dependability Analysis , 1992, Perform. Evaluation.

[12]  Kishor S. Trivedi,et al.  Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems , 1989, IEEE Trans. Computers.

[13]  L. McLaughlin,et al.  Optimal design of a condition-based maintenance model , 2004, Annual Symposium Reliability and Maintainability, 2004 - RAMS.

[14]  W. Stahel,et al.  Log-normal Distributions across the Sciences: Keys and Clues , 2001 .