International Society of Science and Applied Technologies |
|
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 |