Browse > Article
http://dx.doi.org/10.5302/J.ICROS.2008.14.4.376

Performance Analysis of Checkpointing and Dual Modular Redundancy for Fault Tolerance of Real-Time Control System  

Ryu, Sang-Moon (군산대학교 전자정보공학부)
Publication Information
Journal of Institute of Control, Robotics and Systems / v.14, no.4, 2008 , pp. 376-380 More about this Journal
Abstract
This paper deals with a performance analysis of real-time control systems, which engages DMR(dual modular redundancy) to detect transient errors and checkpointing technique to tolerate transient errors. Transient errors are caused by transient faults and the most significant type of errors in reliable computer systems. Transient faults are assumed to occur according to a Poisson process and to be detected by a dual modular redundant structure. In addition, an equidistant checkpointing strategy is considered. The probability of the successful task completion in a real-time control system where periodic checkpointing operations are performed during the execution of a real-time control task is derived. Numerical examples show how checkpoiniting scheme influences the probability of task completion. In addition, the result of the analysis is compared with the simulation result.
Keywords
real-time control system; DMR(Dual Modular Redundancy); checkpointing;
Citations & Related Records

Times Cited By SCOPUS : 1
연도 인용수 순위
  • Reference
1 A. Taber and E. Normand, "Single event upset in avionics," IEEE Trans. Nuclear Science, vol. 40, no. 2, pp. 120-126, Apr., 1993   DOI   ScienceOn
2 E. Normand, "Signle event upset at ground level," IEEE Trans. Nuclear Science, vol. 43, no. 6, pp. 2742-2750, Dec., 1996   DOI   ScienceOn
3 D. P. Siewiorek, Reliable Computer Systems: Design and Evaluation, A K Peters, 1998
4 Y. Ling, J. Mi, and X. Lin, "A variational calculus approach to optimal checkpoint placement," IEEE Trans. Computers, vol. 50, no. 7, pp. 699-708, Jul. 2001   DOI   ScienceOn
5 K. G. Shin, T.-H. Lin, and Y.-H. Lee, "Optimal Checkpointing of Real-Time Tasks," IEEE Trans. Computers, vol. C-36, no. 11, pp. 1328-1341, Nov. 1987   DOI   ScienceOn
6 S. Punnekkat, A. Burns, and R. Davis, "Analysis of Checkpointing for Real-Time Systems," The Int'l Journal of Time-Critical Computing Systems (Real-Time Systems), vol. 20, no. 1, pp. 83-102, Jan. 2001
7 Y. Zhang and K. Chakrabarty, "Dynamic Adaptation for Fault Tolerance and Power Management in Embedded Real-Time Systems," ACM Trans. Embedded Computing Systems, vol. 3, no. 2, pp. 336-360, May 2004   DOI
8 J. W. S. Liu, Real-Time Systems, Prentice-Hall, 2000
9 B. Randell, "System Structure for Software Fault Tolerance," IEEE Trans. Software Engineering, vol. 1, no. 2, pp. 220-232, June 1975
10 E. Dupont, M. Nicolaidis, and P. Rohr, "Embedded Robustness IPs for Transient-Error-Free ICs," IEEE Design & Test of Computers, vol. 19, pp. 56-70, May-Jun., 2002   DOI   ScienceOn
11 A. Ziv and J. Bruck, "An On-Line Algorithm for Checkpoint Placement," IEEE Trans. Computers, vol. 46, no. 9, pp. 976-985, Sep. 1997   DOI   ScienceOn
12 R. Harboe-Sorensen, E. Daly, F. Teston, H. Schweitzer, R. Nartallo, P. Perol, F. Vandenbussche, H. Dzitko, and J. Cretolle, "Observation and analysis of single event effects on-board the SOHO satellite," IEEE Trans. Nuclear Science, vol. 49, no. 3, pp. 1345-1350, Jun., 2002   DOI   ScienceOn