For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
Optimal Rejuvenation Policies for Non-Markovian Availability Models with Aperiodic Checkpointing
Junjun ZHENG Hiroyuki OKAMURA Tadashi DOHI
IEICE TRANSACTIONS on Information and Systems
Publication Date: 2020/10/01
Online ISSN: 1745-1361
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)>>
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.