Probabilistic optimisation of checkpoint intervals for real-time multi-tasks

References

• Baldoni , R , Helaryi , J-M , Mostefaoui , A and Raynal , M . 1997 . Adaptive Checkpointing in Message Passing Distributed Systems . International Journal of Systems Science , 28 : 1145 – 1161 .
   Web of Science ®Google Scholar
• Biswas , S , Sarkar , D and Mukhopadhyay , S . 2010 . Diagnosability of Delay-deadline Failures in Fair Real Time Discrete Event Models . International Journal of Systems Science , 41 : 763 – 782 .
   Web of Science ®Google Scholar
• Chen , N , Yu , Y and Ren , S . 2009 . “ Checkpoint Interval and System's Overall Quality for Message Logging-based Rollback and Recovery in Distributed and Embedded Computing ” . In in Proceedings of International Conference on Embedded Software and Systems 315 – 322 .
   Google Scholar
• He , X , Wang , Z , Ji , YD and Zhou , D . 2010 . Fault Detection for Discrete-time Systems in a Networked Environment . International Journal of Systems Science , 41 : 937 – 945 .
   Web of Science ®Google Scholar
• Kim , BK . 1999 . Control Latency for Task Assignment and Scheduling of Multiprocessor Real-time Control Systems . International Journal of Systems Science , 30 : 123 – 130 .
   Web of Science ®Google Scholar
• Kim , JK and Kim , BK . 2004 . Probabilistic Schedulability Analysis of Harmonic Multi-task Systems with Dual Modular Temporal Redundancy . Real-Time Systems , 26 : 199 – 222 .
   Web of Science ®Google Scholar
• Krishina , CM and Shin , KG . 1997 . Real-time Systems , New York : McGraw-Hill .
   Google Scholar
• Kwak , SW , Choi , BJ and Kim , BK . 2000 . Checkpointing Strategy for Multiple Real-time Tasks . Proceedings of 7th International Conference on Real-Time Computing Systems and Applications (RTCSA'00) . 2000 . pp. 517 – 521 .
   Google Scholar
• Ling , Y , Mi , J and Lin , X . 2001 . A Variational Calculus Approach to Optimal Checkpoint Placement . IEEE Transactions on Computers , 50 : 699 – 708 .
   Web of Science ®Google Scholar
• Liu , JWS . 2000 . Real-time Systems , New Jersey : Prentice-Hall .
   Google Scholar
• Mossé , D , Melhem , R and Ghosh , S . 2003 . A Nonpreemptive Real-time Scheduler with Recovery from Transient Faults and Its Implementation . IEEE Transactions on Software Engineering , 29 : 752 – 767 .
   Web of Science ®Google Scholar
• Ouyang , J and Maheshwari , P . 1997 . An Efficient Approach for Constructing Reliable Distributed Applications . International Journal of Systems Science , 28 : 945 – 959 .
   Web of Science ®Google Scholar
• Ozaki , T , Dohi , T , Okamura , H and Kaio , N . 2006 . Distribution-free Checkpoint Placement Algorithms based on Min-max Principle . IEEE Transactions on Dependable and Secure Computing , 3 : 130 – 140 .
   Web of Science ®Google Scholar
• Punnekkat , S , Burns , A and Davis , R . 2001 . Analysis of Checkpointing for Real-time Systems . International Journal of Time-Critical Computing Systems , 20 : 83 – 102 .
   Web of Science ®Google Scholar
• Simon , D and Benattar , F . 2005 . Design of Real-time Periodic Control Systems Through Synchronization and Fixed Priorities . International Journal of Systems Science , 36 : 57 – 76 .
   Web of Science ®Google Scholar
• Song , CY and Kim , BK . 2009 . Non-preemptible Last Section Assignment for Reducing Feedback Latency in Real-time Control Systems . International Journal of Systems Science , 40 : 479 – 495 .
   Web of Science ®Google Scholar
• Tantawi , A and Ruschitzka , M . 1984 . Performance Analysis of Checkpointing Strategies . ACM Transactions on Computer Systems , 2 : 123 – 144 .
   Web of Science ®Google Scholar
• Tia , TS . 1995 . Utilizing Slack Time for Aperiodic and Sporadic Requests Scheduling in Real-time Systems . Ph.D. dissertation , University of Illinois at Urbana-Champaign, Department of Computer Science
   Google Scholar
• Young , JW . 1974 . A First Order Approximation to the Optimum Checkpoint Interval . Communcations of ACM , 17 : 530 – 531 .
   Web of Science ®Google Scholar
• Ziv , A and Bruck , J . 1997 . An On-line Algorithm for Checkpoint Placement . IEEE Transactions on Computers , 46 : 976 – 984 .
   Web of Science ®Google Scholar