Reliability analysis of checkpointing model with multiple verification mechanism
Bull. Korean Math. Soc.
Published online October 16, 2019
Yutae Lee
Dong-eui University
Abstract : We consider a checkpointing model for latent errors, where a checkpoint is taken every fixed number of verifications. Assuming generally distributed inter-occurrence times of errors, we derive the reliability of the model as a function of the number of verifications between two checkpoints and the duration of work interval between two verifications.
Keywords : reliability, checkpointing model, multiple verification
MSC numbers : 60K20, 60K25, 90B25
Full-Text :


Copyright © Korean Mathematical Society. All Rights Reserved.
The Korea Science Technology Center (Rm. 411), 22, Teheran-ro 7-gil, Gangnam-gu, Seoul 06130, Korea
Tel: 82-2-565-0361  | Fax: 82-2-565-0364  | E-mail:   | Powered by INFOrang Co., Ltd