DocumentCode :
1555860
Title :
An optimal checkpointing-strategy for real-time control systems under transient faults
Author :
Kwak, Seong Woo ; Choi, Byung Jae ; Kim, Byung Kook
Author_Institution :
Satellite Technol. Res. Center, Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Volume :
50
Issue :
3
fYear :
2001
fDate :
9/1/2001 12:00:00 AM
Firstpage :
293
Lastpage :
301
Abstract :
Real-time computer systems are often used in harsh environments, such as aerospace, and in industry. Such systems are subject to many transient faults while in operation. Checkpointing enables a reduction in the recovery time from a transient fault by saving intermediate states of a task in a reliable storage facility, and then, on detection of a fault, restoring from a previously stored state. The interval between checkpoints affects the execution time of the task. Whereas inserting more checkpoints and reducing the interval between them reduces the reprocessing time after faults, checkpoints have associated execution costs, and inserting extra checkpoints increases the overall task execution time. Thus, a trade-off between the reprocessing time and the checkpointing overhead leads to an optimal checkpoint placement strategy that optimizes certain performance measures. Real-time control systems are characterized by a timely, and correct, execution of iterative tasks within deadlines. The reliability is the probability that a system functions according to its specification over a period of time. This paper reports on the reliability of a checkpointed real-time control system, where any errors are detected at the checkpointing time. The reliability is used as a performance measure to find the optimal checkpointing strategy. For a single-task control system, the reliability equation over a mission time is derived using the Markov model. Detecting errors at the checkpointing time makes reliability jitter with the number of checkpoints. This forces the need to apply other search algorithms to find the optimal number of checkpoints. By considering the properties of the reliability jittering, a simple algorithm is provided to find the optimal checkpoints effectively. Finally, the reliability model is extended to include multiple tasks by a task allocation algorithm
Keywords :
control systems; failure analysis; probability; real-time systems; reliability; system recovery; transients; Markov model; checkpointing; checkpoints; execution costs; execution time; harsh environments; optimal checkpoint placement strategy; probability; real-time computer systems; real-time control systems; recovery time; reliability; reliability jittering; reprocessing time; task execution time; transient faults; Aerospace industry; Checkpointing; Computer industry; Control systems; Costs; Electrical equipment industry; Fault detection; Optimal control; Real time systems; Time measurement;
fLanguage :
English
Journal_Title :
Reliability, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9529
Type :
jour
DOI :
10.1109/24.974127
Filename :
974127
Link To Document :
بازگشت