Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1007/11596356_22guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Checkpointing for the reliability of real-time systems with on-line fault detection

Published: 06 December 2005 Publication History

Abstract

The checkpointing problem in real-time systems equipped with on-line fault detection mechanisms is dealt with from a reliability point of view. The reliability analysis is performed with the assumption that transient faults occur in accordance with a Poisson process and are detected immediately by the detection mechanisms. And the best equidistant checkpointing strategy that maximizes the reliability of the system against transient faults is derived.

References

[1]
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.
[2]
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.
[3]
S. Punnekkat, A. Burns and R. Davis, "Analysis of Checkpointing for Real-Time Systems," Real-Time Systems, vol. 20, no. 1, pp. 83-102, Jan. 2001.
[4]
Y. Zhang and K. Chakrabarty, "Energy-Aware Adaptive Checkpointing in Embedded Real-Time Systems," Proc. Design, Automation and Test in Europe Conference and Exhibition, pp. 918-923, Messe Munich, Germany, 2003.
[5]
S. W. Kwak, B. K. Kim and B. J. Choi, "An Optimal Checkpointing-Strategy for Real-Time Control Systems under Transient Faults," IEEE Trans. Reliability, vol. 50, no. 3, pp. 293-301, Sep. 2001.
[6]
A. Ranganathan and S. J. Upadhyaya, "Simulation Analysis of a Dynamic Checkpointing Strategy for Real-Time Systems," Proc. 27th Annual Simulation Symp., pp. 181-187, Apr. 1994.
[7]
D. P. Siewiorek, Reliable Computer Systems: Design and Evaluation, A K Peters, 1998.
[8]
A. Duda, "The Effects of Checkpointing on Program Execution Time," Information Processing Letters, vol. 16, pp. 221-229, Jun. 1983.
[9]
P. L'ecuyer and J. Malenfant, "Computing Optimal Checkpointing Strategies for Rollback and Recovery Systems," IEEE Trans. Computers, vol. 37, no. 4, pp. 491- 496, Apr. 1988.
[10]
V. Grassi, L. Donatiello and S. Tucci, "On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems," IEEE Trans. Software Engineering, vol. 18, no. 1, pp. 72-77, Jan. 1992.
[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.
[12]
R. Geist, R. Reynolds and J. Westall, "Selection of a Checkpoint Interval in a Critical-Task Environment," IEEE Trans. Reliability, vol. 37, no. 4, pp. 395-400, Nov. 1988.
[13]
A. M. Saleh and J. H. Patel, "Transient-Fault Analysis for Retry Techniques," IEEE Trans. Reliability, vol. 37, no. 3, pp. 323-330, Aug. 1988.
[14]
B. W. Johnson, Design and Analysis of Fault-Tolerant Digital Systems, Addison-Wesley, 1989.
[15]
J. Sosnowski, "Transient Fault Tolerance in Digital Systems," IEEE Micro, vol. 14, no. 1, pp. 24-35, Feb. 1994.
[16]
M. Pflanz and H. T. Vierhaus, "Online Check and Recovery Techniques for Dependable Embedded Processors," IEEE Mirco, vol. 21, no. 5, pp. 24-40, Sep.-Oct. 2001.
[17]
A. Leon-Garcia, Probability and Random Processes for Electrical Engineering, Addison Wesley, 1994.

Index Terms

  1. Checkpointing for the reliability of real-time systems with on-line fault detection
    Index terms have been assigned to the content through auto-classification.

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image Guide Proceedings
    EUC'05: Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
    December 2005
    1200 pages
    ISBN:3540308075
    • Editors:
    • Laurence T. Yang,
    • Makoto Amamiya,
    • Zhen Liu,
    • Minyi Guo,
    • Franz J. Rammig

    Publisher

    Springer-Verlag

    Berlin, Heidelberg

    Publication History

    Published: 06 December 2005

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 0
      Total Downloads
    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 06 Oct 2024

    Other Metrics

    Citations

    View Options

    View options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media