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

Junjun ZHENG  Hiroyuki OKAMURA  Tadashi DOHI  

IEICE TRANSACTIONS on Information and Systems   Vol.E103-D   No.10   pp.2133-2142
Publication Date: 2020/10/01
Publicized: 2020/07/16
Online ISSN: 1745-1361
DOI: 10.1587/transinf.2019EDP7321
Type of Manuscript: PAPER
Category: Dependable Computing
software rejuvenation,  checkpointing,  optimal rejuvenation policy,  non-Markovian process,  phase expansion,  steady-state availability,  point-wise availability,  

Full Text: PDF(1.8MB)>>
Buy this Article

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.