Fine grained software degradation models for optimal rejuvenation policies

In this paper we address the problem of preventive maintenance of operational software systems, an approach recently proposed to counteract the phenomenon of software \aging". We consider the so-called \software rejuvenation" technique 13], which consists in periodically stopping the software system and then restarting it in a \robust" state after a proper maintenance, and we propose a methodology for the quantitative analysis of rejuvenation strategies. The methodology is based on a ne grained model that assumes that it is possible to identify the current degradation level of the system by monitoring an observable quantity, so that the rejuvenation strategy can be tuned on the measured degradation. Based on this methodology, we present two diierent strategies that allow to decide whether and when to rejuvenate, and we exploit the theory of renewal processes with reward to estimate the steady-state unavailability of the software system, which is used to deene an optimality criterion that allows us to evaluate the proper rejuvenation intervals. The methodology and the rejuvenation strategies are demonstrated by applying them to a real-world case study, arising in the area of database maintenance for data archiving, and to a hypothetical setting used to assess the sensitivity of the technique to various degradation processes.