Optimal Rejuvenation Policies for Non-Markovian Availability Models with Aperiodic Checkpointing

DOI Web Site 1 Citations 27 References
  • ZHENG Junjun
    Department of Information Science and Engineering, Ritsumeikan University
  • OKAMURA Hiroyuki
    Department of Information Engineering, Graduate School of Engineering, Hiroshima University
  • DOHI Tadashi
    Department of Information Engineering, Graduate School of Engineering, Hiroshima University

Abstract

<p>In this paper, we present non-Markovian availability models for capturing the dynamics of system behavior of an operational software system that undergoes aperiodic time-based software rejuvenation and checkpointing. Two availability models with rejuvenation are considered taking account of the procedure after the completion of rollback recovery operation. We further proceed to investigate whether there exists the optimal rejuvenation schedule that maximizes the steady-state system availability, which is derived by means of the phase expansion technique, since the resulting models are not the trivial stochastic models such as semi-Markov process and Markov regenerative process, so that it is hard to solve them by using the common approaches like Laplace-Stieltjes transform and embedded Markov chain techniques. The numerical experiments are conducted to determine the optimal rejuvenation trigger timing maximizing the steady-state system availability for each availability model, and to compare both two models.</p>

Journal

Citations (1)*help

See more

References(27)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top