Bulletin of the
Korean Mathematical Society BKMS

ISSN(Print) 1015-8634 ISSN(Online) 2234-3016
qr-code QR
Code

Article

HOME ALL ARTICLES View

Bull. Korean Math. Soc. 2019; 56(6): 1435-1445

Online first article October 16, 2019      Printed November 30, 2019

https://doi.org/10.4134/BKMS.b181068

Copyright © The Korean Mathematical Society.

Reliability analysis of checkpointing model with multiple verification mechanism

Yutae Lee

Dong-eui University

Abstract

Go to

We consider a checkpointing model for silent errors, where a checkpoint is taken every fixed number of verifications. Assuming generally distributed i.i.d.$\!$ 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: checkpoint, multiple verification, general failure distribution, silent error, reliability

MSC numbers: Primary 60K20, 60K25, 90B25

Article Tools

Stats or Metrics

Share this article on :

Related articles in BKMS

more +