Browse > Article
http://dx.doi.org/10.5370/KIEE.2012.61.1.148

Optimal Checkpoint Placement for Real-Time Systems with Multi-Tasks Having Deadlines Longer Than Periods  

Kwak, Seong-Woo (계명대 전자공학과)
Yang, Jung-Min (대구가톨릭대 전자공학과)
Publication Information
The Transactions of The Korean Institute of Electrical Engineers / v.61, no.1, 2012 , pp. 148-154 More about this Journal
Abstract
For a successful checkpointing strategy, we should place checkpoints so as to optimize fault-tolerance capability of real-time systems. This paper presents a novel scheme of checkpoint placement for real-time systems with periodic multi-tasks. Under the influence of transient faults, multi-tasks are scheduled by the Rate Monotonic (RM) algorithm. The optimal checkpoint intervals are derived to maximize the probability of task completion. In particular, this paper is concerned about the general case that the deadline of a task is longer than the period. Compared with the special condition that the deadline is equal to or less than the period, this general case causes a more complicate test procedure for schedulability of the RM algorithm with respect to a given set of checkpoint re-execution vectors. The probability of task completion is also derived in a more complex form. A case study is given to show the applicability of the proposed scheme.
Keywords
Checkpoints; Rate Monotonic (RM) algorithm; Transient faults; Probabilistic optimization;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 S.-M. Ryu, "Reliability analysis for static checkpointing in embedded real-time systems," 2007 International Symposium on Advanced Intelligent Systems, pp. 965-970, 2007.
2 A. Ziv and J. Bruck, "Analysis of checkpointing schemes with task duplication," IEEE Transactions on Computers, vol. 47, no. 2, pp. 222-227, 1998.   DOI   ScienceOn
3 S. W. Kwak and B. K. Kim, "Task-scheduling strategies for reliable TMR controllers using task grouping and assignment," IEEE Transactions on Reliability, vol. 49, no. 4, pp. 355-362, 2000.   DOI   ScienceOn
4 J. W. S. Liu, Real-Time Systems, New Jersey: Prentice Hall, 2000.
5 곽성우, 정용주, "RM 스케줄링된 실시간 태스크에서의 최적 체크포인터 구간 선정," 전기학회논문지, 제56권 제6호, pp. 1122-1129, 2007.
6 S. W. Kwak, B. J. Choi, and B. K. Kim, "An optimal checkpointing-strategy for real-time control systems under transient faults," IEEE Transactions on Reliability, vol. 50, no. 3, pp. 293-301, 2001.   DOI   ScienceOn
7 곽성우, 양정민, "임의 주기를 가지는 실시간 멀티 태스크를 위한 체크포인트 구간 최적화," 전기학회논문지, 제60권 제1호, pp. 193-200, 2011.
8 D. Seto, J. P. Lehoczky, L. Sha, and K. G. Shin, "On task schedulability in real-time control systems," 17th IEEE Real-Time Systems Symposium (RTSS '96), pp. 13-21, 1996.
9 "과학기술위성 1호 상세점검회의 자료집," 인공위성연구센터, 2002.
10 M. R. Garey and D. S. Johnson, "Two processor scheduling with start time and deadlines," SIAM Journal of Computing, vol. 6, pp. 416-426, 1977.   DOI
11 L. Sterpone and M. Violante, "A new reliability-oriented place and route algorithm for SRAM-based FPGAs," IEEE Transactions on Computers, vol. 55, no. 6, pp. 732-744, 2006.   DOI   ScienceOn
12 C. M. Krishina and K. G. Shin, Real-Time Systems, New York: McGraw-Hill, 1997.
13 A. Ziv and J. Bruck, "Performance optimization of checkpointing schemes with task duplication," IEEE Transactions on Computers, vol. 46, no. 12, pp. 1381-1386, 1997.   DOI   ScienceOn