Modeling and Analysis of Software Rejuvenation Based on Non-Markovian Stochastic Petri Nets
Hai Meng · Chinese Journal of Computers · 2007
Software aging is an important potential factor that affects the software reliability. As a proactive and preventive software fault tolerant technique, software rejuvenation is a main method for counteracting software aging. Almost all developed software rejuvenation models based on stochastic Petri Nets assume that all the firing times submit to exponential distributions. Aiming at the firing times submit to determined or general distributions, a software rejuvenation modeling method is proposed using Non-Markovian Stochastic Petri Nets. In addition, model is solved for both steady and transient state via Markov regenerative theory. The numeric experiment results show that selecting optimal software rejuvenation schedule can improve systematic availability and reduce downtime cost.