References
- C. M. Krishna and A. D. Singh, 'Optimal configuration of redundant real-time systems in the face of correlated failure,' IEEE Trans. on Reliability, vol. 44, pp. 587-594. Dec. 1995 https://doi.org/10.1109/24.475977
- Seong Woo Kwak and Byung Kook Kim, 'Task Scheduling Strategies for Reliable TMR Controllersusing Task Grouping and Assignment', IEEE Tr. Reliability, vol. 49, no. 4, pp. 355-362, Dec. 2000 https://doi.org/10.1109/24.922488
- C. M. Krishina and Kang G. Shin, Real-Time Systems, New York: McGraw-Hill, 1997
- D. P. Siewiorek and R. S. Swarz, Reliable Computer Systems, Digital Press, 1992
- Avi Ziv and Jehoshua Bruck, 'An on-line algorithm for checkpoint placement,' IEEE Trans. on Computers, vol. 46, pp. 976-984, Sep. 1997 https://doi.org/10.1109/12.620479
- R. Geist, R. Reynolds and J. Westall, 'Selection of a checkpoint interval in a critical-task environment,' IEEE Trans. on Reliability, vol. 37, pp. 395-400, Oct. 1988 https://doi.org/10.1109/24.9847
- Kang G. Shin, Tein-Hsiang Lin, and Yann-Hang Lee, 'Optimal checkpointing of real-time tasks,' IEEE Trans. on Computers, vol. C-36, pp. 1328-1341, Nov. 1987 https://doi.org/10.1109/TC.1987.5009472
- C. M. Krishna and A. D. Singh, 'Reliability of checkpointed real-time systems using time redundancy,' IEEE Trans. on Reliability, vol. 42, pp. 427-435, Sep. 1993 https://doi.org/10.1109/24.257826
- Seong Woo Kwak, Byung Jae Choi and Byung Kook Kim, 'Optimal Checkpointing Strategy for Real-Time Control Systems under Faults with Exponential Duration', IEEE Tr. Reliability, vol. 50, no. 3, pp. 293-301, Sep. 2001 https://doi.org/10.1109/24.974127
- Seong Woo, Kwak, 'Reliability Analysis and Design of Real-time Fault Tolerant Control Systems under Transient Faults', Ph.D thesis, KAIST, 2000
- John W. Young, 'A first order approximation to the optimal checkpoint intervals,' Comm. of the ACM, vol. 17, pp.530-531, Nov. 1974 https://doi.org/10.1145/361147.361115
- Hagbae Kim and Kang G. Shin, 'Modeling of externally-induced/common-cause faults in faulttolerant systems,' IEEE/AIAA Digital Avionics System Conference, pp. 402-407, Oct. 1994 https://doi.org/10.1109/DASC.1994.369450