Analysis of a software system with rejuvenation, restoration and checkpointing

  • Authors:
  • Hiroyuki Okamura;Tadashi Dohi

  • Affiliations:
  • Department of Information Engineering, Graduate School of Engineering, Hiroshima University, Higashi-Hiroshima, Japan;Department of Information Engineering, Graduate School of Engineering, Hiroshima University, Higashi-Hiroshima, Japan

  • Venue:
  • ISAS'08 Proceedings of the 5th international conference on Service availability
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we consider operational software system with two failure modes and develop a stochastic model to quantify steady-state system availability. Three kinds of preventive/corrective maintenance policies; rejuvenation, restoration and checkpointing, are incorporated in our unified availability model. We propose a dynamic programming algorithm to determine the joint optimal maintenance schedule maximizing the steady-state system availability and calculate the optimal aperiodic checkpoint sequence and preventive rejuvenation time simultaneously. In numerical examples, the sensitivity of model parameters to characterize failure modes are examined, and effects of the preventive/corrective maintenance policies are studied in details.