On the integrity of lightweight checkpoints

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2008, Pages 125-134

  Barbosa, Raul ^a   Karlsson, Johan ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Checkpointing; Embedded systems; Fault tolerance; Model checking

Indexed keywords

APPLICATIONS; ERROR DETECTION; ERRORS; FAILURE ANALYSIS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; INTEGRATED CIRCUITS; MODEL CHECKING; PROGRAMMING THEORY; QUALITY ASSURANCE; REAL TIME SYSTEMS; RELIABILITY; SECURITY OF DATA; SYSTEMS ENGINEERING;

CHECKPOINTING; ERROR DETECTION LATENCY; OPERATING SYSTEMS; PROGRAMMING MODELS;

EMBEDDED SYSTEMS;

EID: 58449119481     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2008.25     Document Type: Conference Paper

References (30)

1. Aeronautical Radio, Inc. ARINC specification 653-1: Avionics application software standard interface, Oct. 2003.
2. O. Babaoglu and K. Marzullo. Consistent global states of distributed systems: Fundamental concepts and mechanisms. In S. Mullender, editor, Distributed Systems, pages 55-96. Addison-Wesley, second edition, 1993.
3. R. Baumann. Soft errors in advanced computer systems. IEEE Design & Test of Computers, 22(3):258-266, May/June 2005.
4. S. Borkar. Designing reliable systems from unreliable components: The challenges of transistor variability and degradation. IEEE Micro, 25(6):10-16, Nov./Dec. 2005.
5. G. Cao and M. Singhal. On coordinated checkpointing in distributed systems. IEEE Transactions on Parallel and Distributed Systems, 9(12): 1213-1225, Dec. 1998.
6. S. Chandra and P Chen. How fail-stop are faulty programs? Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on, pages 240-249,Jun 1998.
7. E. N. Elnozahy, L. Alvisi, Y.-M. Wang, and D. B. Johnson.A survey of rollback-recovery protocols in message-passing systems. ACM Computing Surveys, 34(3):375-408, Sept. 2002.
8. Freescale Semiconductor, Inc. MPC5553/MPC5554 Microcontroller Reference Manual (Rev 4.0), Apr. 2007.
9. H. Heinecke, K.-P. Schnelle, H. Fennel, J. Bortolazzi, L. Lundh, J. Leflour, J.-L. Maté, K. Nishikawa, and T. Scharnhorst. AUTomotive Open System ARchitecture - an industry-wide initiative to manage the complexity of emerging automotive E/E architectures. In Proceedings of the 2004 International Congress on Transportation Electronics (Convergence 2004), pages 325-332, Oct. 2004.
10. J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. S. Tanen-baum. Failure resilience for device drivers. In Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), pages 41-50, June 2007.
11. G.J. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley Professional, 2003.
12. Y. Huang, C. Kintala, and Y. M. Wang. Software tools and libraries for fault tolerance. IEEE Technical Committee on Operating Systems and Application Environments, 7(4):5-9, 1995.
13. I. Koren and C. M. Krishna. Fault Tolerant Systems. Morgan Kaufmann, 2007.
14. C. M. Krishna, Y.-H. Lee, and K. G. Shin. Optimization criteria for checkpoint placement. Communications of the ACM, 27(10): 1008-1012, Oct. 1984.
15. P. Krishna, N. H. Vaidya, and D. K. Pradhan. Recovery in multicomputers with finite error detection latency. In Proceedings of the 23rd International Conference on Parallel Processing (ICPP'94), pages II:206-210, Aug. 1994.
16. J. J. Labrosse. MicroC/OS-II: The Real-Time Kernel. CMP Books, second edition, 2002.
17. C.-C. Li and W. K. Fuchs. CATCH - compiler assisted techniques for checkpointing. In Proceedings of the 20th International Symposium on Fault-Tolerant Computing (FTCS-20), pages 74-81, June 1990.
18. Y. Ling, J. Mi, and X. Lin. A variational calculus approach to optimal checkpoint placement. IEEE Transactions on Computers, 50(7):699-708, July 2001.
19. C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, 1 (20):44-61, Jan. 1973.
20. P. Meaney, S. Swaney, P. Sanda, and L. Spainhower. IBM z990 soft error detection and recovery. IEEE Transactions on Device and Materials Reliability, 5(3):419-427, 2005.
21. D. S. Peterson, M. Bishop, and R. Pandey. A flexible containment mechanism for executing untrusted code. In Proceedings of the 11th USENIX Security Symposium, pages 207-225, Aug. 2002.
22. J. S. Plank, M. Beck, G. Kingsley, and K. Li. Libckpt: Transparent checkpointing under Unix. In Usenix Winter Technical Conference, pages 213-223, Jan. 1995.
23. N. Provos. Improving host security with system call policies. In Proceedings of the 12th USENIX Security Symposium, pages 257-272, Aug. 2003.
24. S. Punnekkat, A. Burns, and R. I. Davis. Analysis of checkpointing for real-time systems. Real-Time Systems, 20(1):83-102, Jan. 2001.
25. K. Reick, P. N. Sanda, S. Swaney, J. W. Kellington, M. Mack, M. Floyd, and D. Henderson. Fault-tolerant design of the IBM Power6 microprocessor. IEEE Micro, 28(2):30-38, Mar.-Apr. 2008.
26. L. M. Silva and J. G. Silva. Global checkpointing for distributed programs. In Proceedings of the 11th Symposium on Reliable Distributed Systems, pages 155-162, Oct. 1992.
27. D. Skarin and J. Karlsson. Software implemented detection and recovery of soft errors in a brake-by-wire system. In Proceedings of the 7th European Dependable Computing Conference (EDCC-7), pages 145-154, May 2008.
28. J. Vinter, A. Johansson, P. Folkesson, and J. Karlsson. On the design of robust integrators for fail-bounded control systems. In Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), pages 415-424, June 2003.
29. J. W. Young. A first order approximation to the optimum checkpoint interval. Communications of the ACM, 17(9):530-531,Sept. 1974.
30. Y. Zhang and K. Chakrabarty. Fault recovery based on checkpointing for hard real-time embedded systems. In Proceedings of the 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, pages 320-327, Nov. 2003.