Optimal Rejuvenation Policies for Non-Markovian Availability Models with Aperiodic Checkpointing
Summary :
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.
- Publication
- IEICE TRANSACTIONS on Information 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
Authors
Junjun ZHENG
Ritsumeikan University
Hiroyuki OKAMURA
Hiroshima University
Tadashi DOHI
Hiroshima University
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Junjun ZHENG, Hiroyuki OKAMURA, Tadashi DOHI, "Optimal Rejuvenation Policies for Non-Markovian Availability Models with Aperiodic Checkpointing" in IEICE TRANSACTIONS on Information,
vol. E103-D, no. 10, pp. 2133-2142, October 2020, doi: 10.1587/transinf.2019EDP7321.
Abstract: 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.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.2019EDP7321/_p
Copy
@ARTICLE{e103-d_10_2133,
author={Junjun ZHENG, Hiroyuki OKAMURA, Tadashi DOHI, },
journal={IEICE TRANSACTIONS on Information},
title={Optimal Rejuvenation Policies for Non-Markovian Availability Models with Aperiodic Checkpointing},
year={2020},
volume={E103-D},
number={10},
pages={2133-2142},
abstract={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.},
keywords={},
doi={10.1587/transinf.2019EDP7321},
ISSN={1745-1361},
month={October},}
Copy
TY - JOUR
TI - Optimal Rejuvenation Policies for Non-Markovian Availability Models with Aperiodic Checkpointing
T2 - IEICE TRANSACTIONS on Information
SP - 2133
EP - 2142
AU - Junjun ZHENG
AU - Hiroyuki OKAMURA
AU - Tadashi DOHI
PY - 2020
DO - 10.1587/transinf.2019EDP7321
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E103-D
IS - 10
JA - IEICE TRANSACTIONS on Information
Y1 - October 2020
AB - 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.
ER -
English
