Optimal Scheme Models with Imperfect Checkpoint  
Author Kenichiro Naruse


Co-Author(s) Toshio Nakagawa


Abstract We consider optimal checking models for dual and majority structures with imperfect checkpoints. In systems with high-reliability, the process returns to the previous checkpoint when errors occur. However, in realtime systems, if the process always returns to the previous checkpoint, its process might not end in time. In this paper, we propose checkpoint models to take a forward recovery with some probability for dual and majority structures, and one task and random task as the objective work of the process. We obtain the mean execution times until the process succeeds, and discuss analytically and numerically to minimize them.


Keywords Checkpoint time, Forward recovery, Dual system, Majority system, Random task
    Article #:  RQD27-62

Proceedings of 27th ISSAT International Conference on Reliability & Quality in Design
Virtual Event

August 4-6, 2022