ORTEGA: An efficient and flexible software fault tolerance architecture for real-time control systems

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2008, Pages 125-134

  Liu, Xue ^a   Ding, Hui ^b   Lee, Kihwal ^c   Wang, Qixin ^c   Sha, Lui ^c  

^a MCGILL UNIVERSITY   (Canada)

^b UBS Investment Bank

^c University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AND RECOVERY; DISASTROUS CONSEQUENCES; FAULT COVERAGE; INDUSTRIAL CONTROL APPLICATIONS; ON-DEMAND; REAL-TIME COMPUTING; REAL-TIME CONTROL SYSTEMS; RESOURCE USAGE; RESOURCE UTILIZATIONS; SOFTWARE FAULT TOLERANCES;

CONCURRENCY CONTROL; CONTROL SYSTEMS; ERRORS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; IDENTIFICATION (CONTROL SYSTEMS); INDUSTRIAL ENGINEERING; QUALITY ASSURANCE; REAL TIME CONTROL; RELIABILITY;

REAL TIME SYSTEMS;

EID: 52049124995     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2008.17     Document Type: Conference Paper

References (33)

1. National Research Council. Embedded, Everywhere: A Research Agenda for Networked Systems of Embedded Computers. National Academies Press, 2001.
2. K. J. Astrom and B. Wittenmark. Computer-Controlled Systems: Theory and Design, 3rd edition. Addison-Wesley Pub Co., 1994.
3. A. Avizienis. The methodology of n-version programming. In M. R. Lyu, editor, Software Fault Tolerance. John Wiley and Sons, New York, 1995.
4. H. Aydin, R. Melhem, and D. Mosse. Optimal scheduling of imprecise computation tasks in the presence of multiple faults. In Seventh International Conference on Real-Time Computing Systems and Applications (RTCSA00), 2000.
5. H. Aydin, R. Melhem, and D. Mosse. Tolerating faults while maximizing reward. In Twelfth Euromicro Conference on Real-Time Systems (Euromicro'00), Stockholm, Sweden, 2000.
6. S. Boyd, L. E. Ghaoui, E. Feron, and V. Balakrishnan. Linear Matrix Inequalities in System and Control Theory. Society for Industrial and Applied Mathematics (SIAM), 1994.
7. G. Buttazzo. HARD REAL-TIME COMPUTING SYSTEMS: Predictable Scheduling Algorithms and Applications. Springer, 2nd edition, 2005.
8. F. Cristian. Understanding fault-tolerant distributed systems. Communications of the ACM, 34(2):56-78, 1991.
9. S. Graham, G. Baliga, and P. R. Kumar. Issues in the convergence of control with communication and computing: proliferation, architecture, design, services, and middleware. In Proceedings of the 43rd IEEE Conference on Decision and Control, December 2004.
10. K. H. Kim. Slow advances in fault-tolerant real-time distributed computing. In Proceedings of 23rd IEEE International Symposium on Reliable Distributed Systems (SRDS'04), pages 106-108, Florianpolis, Brazil, October 2004.
11. K. Lee and L. Sha. Process resurrection: A fast recovery mechanism for real-time embedded systems. In 11th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, California, 2005.
12. J. Liu. Real-Time Systems. Prentice Hall PTR, 2000.
13. J. Lofberg. YALMIP : A toolbox for modeling and optimization in matlab. In 2004 IEEE International Symposium on Computer Aided Control Systems Design, Taipei, Taiwan, 2004.
14. M. Lyu, editor. Software Fault Tolerance (Trends in Software, No. 3). John Wiley and Sons, New York, 1995.
15. P. M. Melliar-Smith and L. E. Moser. Progress in real-time fault tolerance. In Proceedings of 23rd IEEE International Symposium on Reliable Distributed Systems (SRDS'04), pages 109-111, Florianpolis, Brazil, October 2004.
16. P. Pedro and A. Burns. Schedulability analysis for mode changes in real-time systems. In 10th Euromicro workshop on Real-Time systems, Berlin, Germany, 1998.
17. D. Pradhan and N. Vaidya. Roll-forward checkpointing scheme: A novel fault-tolerant architecture. IEEE Transactions on Computers, 43(10), October 1994.
18. R. Ramakrishnan and J. Gehrke. Database Management Systems (3rd Edition). McGraw-Hill, 2003.
19. B. Randell and J. Xu. The evolution of the recovery block concept. In Software Fault Tolerance. John Wiley and Sons, 1995.
20. J. Real and A. Crespo. Mode change protocols for real-time systems: A survey and a new proposal. Real-Time Systems, 26:161-197, 2004.
21. Real-Time System Services Working Group. IEEE STD 1003.1, 1996 edition, 1998.
22. M. Roozbehani, A. Megretski, and E. Feron. Convex optimization proves software correctness. In American Control Conference, 2005. Proceedings of the 2005, pages 1395-1400 vol. 2, 2005.
23. M. Roozbehani, A. Megretski, and E. Feron. Safety verification of iterative algorithms over polynomial vector fields. In Decision and Control, 2006. Proceedings of the 45th IEEE Conference on, pages 6061-6067, 2006.
24. D. Seto, E. Ferreira, and T. Marz. Case study: Development of a baseline controller for automatic landing of an F-16 aircraft using lmis. Technical Report CMU/SEI-99-TR-020, Software Engineering Institute, Carnegie Mellon University, 2000.
25. D. Seto, B. H. Krogh, L. Sha, and A. Chutinan. Dynamic control system upgrade using the simplex architecture. IEEE Control System Magazine, 1998.
26. D. Seto, J. P. Lehoczky, L. Sha, and K. G. Shin. On task schedulability in real-time control system. In Proceedings of the 17th IEEE Real-Time Systems Symposium, pages 13-21, 1996.
27. D. Seto and L. Sha. An engineering method for safety region development. Technical Report 18, CMU SEI, 1999.
28. L. Sha. Dependable system upgrade. In RTSS '98: Proceedings of the IEEE Real-Time Systems Symposium, page 440. IEEE Computer Society, 1998.
29. L. Sha, X. Liu, M. Caccamo, and G. Buttazzo. Online control optimization using load driven scheduling. In Conference on Decision and Control, Sydney, Australia, 2000.
30. L. Sha, R. Rajkumar, and S. Sathaye. Generalized rate monotonic scheduling theory: A framework of developing real-time systems. IEEE Proceedings, 1994.
31. J. A. Stankovic. Real-time computing systems: The next generation. In J. A. Stankovic and K. Ramamritham, editors, Tutorial: Hard Real-Time Systems, pages 14-37. IEEE Computer Society, 1998.
32. K. Tindell and A. Alonso. A very simple protocol for mode changes in priority preemptive systems. Technical report, Universidad Politecnica de Madrid, 1996.
33. S.-P. Wu and S. Boyd. Sdpsol: a parser/solver for sdp and maxdet problems with matrix structure. In L. E. Ghaoui and S.-I. Niculescu, editors, Recent Advances in LMI Methods for Control. SIAM, 1999.