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

IEEE Transactions on Industrial Informatics

Volumn 4, Issue 4, 2008, Pages 213-224

  Liu, Xue ^a   Wang, Qixin ^b   Gopalakrishnan, Sathish ^c   He, Wenbo ^d   Sha, Lui ^e   Ding, Hui ^e   Lee, Kihwal ^e  

^a MCGILL UNIVERSITY   (Canada)

^b HONG KONG POLYTECHNIC UNIVERSITY   (Hong Kong)

^c UNIVERSITY OF BRITISH COLUMBIA   (Canada)

^d University of New Mexico   (United States)

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

Author keywords

Industrial control; Real time and embedded systems; Reliability and robustness

Indexed keywords

CONCURRENCY CONTROL; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEMS; CONTROL THEORY; EMBEDDED SYSTEMS; ERRORS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; INTEGRATED CIRCUITS; ONLINE SYSTEMS; QUALITY ASSURANCE; REAL TIME CONTROL; RELIABILITY; ROBUSTNESS (CONTROL SYSTEMS);

FAULT COVERAGES; INDUSTRIAL CONTROL; INDUSTRIAL CONTROL APPLICATIONS; ON DEMANDS; REAL-TIME AND EMBEDDED SYSTEMS; REAL-TIME COMPUTING; REAL-TIME CONTROL SYSTEMS; RELIABILITY AND ROBUSTNESS; RESOURCE USAGES; RESOURCE UTILIZATIONS; SOFTWARE FAULT TOLERANCES; WHOLE SYSTEMS;

REAL TIME SYSTEMS;

EID: 59049087991     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2008.2010774     Document Type: Article

References (41)

1. National Research Council, Embedded, Everywhere: A Research Agenda for Networked Systems of Embedded Computers, National Academies Press, 2001.
2. J, A, Stankovic, "Real-time computing systems: The next generation," in Tutorial: Hard Real-Time Systems, J. A. Stankovic and K. Ramamritham, Eds. Washington, DC: IEEE Comput. Soc, 1998, pp. 14-37.
3. G. Buttazzo, Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, 2nd ed. New York: Springer, 2005.
4. F. Cristianm, "Understanding fault-tolerant distributed systems," Commun. ACM, vol. 34, no. 2, pp. 56-78, 1991.
5. 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 Proc. 43rd IEEE Conf. Decision and Control, Dec. 2004.
6. L. Sha, "Dependable system upgrade," in Proc. IEEE Real-Time Systems Symp. (IEEE Computer Society; RTSS'98), 1998, p. 440.
7. D. Seto, B. H. Krogh, L. Sha, and A. Chutinan, "Dynamic control system upgrade using the simplex architecture," IEEE Control System Mag., vol. 18, no. 4, pp. 72-80, Aug. 1998.
8. L. Sha, R. Rajkumar, and S. Sathaye, "Generalized rate monotonic scheduling theory: A framework of developing real-time systems," Proc. IEEE, vol. 82, no. 1, pp. 68-82, Jan. 1994.
9. D. Seto, E. Ferreira, and T. Marz, Case Study: Development of a Baseline Controller for Automatic Landing of an F-16 Aircraft Using Lmis, Carnegie Mellon Univ., Softw. Eng. Inst., 2000, Tech. Rep. CMU/SEI-99-TR-020.
10. D. Seto, J. P. Lehoczky, L. Sha, and K. G. Shin, "On task schedulability in real-time control system," in Proc. 17th IEEE Real-Time Systems Symp., 1996, pp. 13-21.
11. L. Sha, X. Liu, M. Caccamo, and G. Buttazzo, "Online control optimization using load driven scheduling," in Proc. Conf. Decision and Control, Sydney, Australia. 2000.
12. Software Fault Tolerance (Trends in Software, No. 3), M. Lyu, Ed. New York: Wiley, 1995.
13. A. Avizienis, "The methodology of n-version programming," in Software Fault Tolerance, M. R. Lyu, Ed. New York: Wiley, 1995.
14. B. Randell and J. Xu, "The evolution of the recovery block concept," in Software Fault Tolerance. New York: Wiley, 1995.
15. R. Ramakrishnan and J. Gehrke, Database Management Systems, 3rd ed. New York: McGraw-Hill, 2003.
16. D. Pradhan and N. Vaidya, "Roll-forward checkpointing scheme: A novel fault-tolerant architecture," IEEE Trans. Comput., vol. 43, no. 10, pp. 1163-1174, Oct. 1994.
17. P. M. Melliar-Smith and L. E. Moser, "Progress in real-time fault tolerance," in Proc. 23rd IEEE Int. Symp. Reliable Distributed Systems (SRDS'04), Florianpolis, Brazil, Oct. 2004, pp. 109-111.
18. K. H. Kim, "Slow advances in fault-tolerant real-time distributed computing," in Proc. 23rd IEEE Int. Symp. Reliable Distributed Systems (SRDS'04), Florianpolis, Brazil, Oct. 2004, pp. 106-108.
19. H. Ay din, R. Melhem, and D. Mosse, "Optimal scheduling of imprecise computation tasks in the presence of multiple faults," in Proc. 7th Int. Conf. Real-Time Computing Systems and Applications (RTCSA00), 2000.
20. H. Aydin et al., "Tolerating faults while maximizing reward," in Proc. 12th Euromicro Conf. Real-Time Systems (Euromicro'00), Stockholm, Sweden, 2000.
21. K. Lee and L. Sha, "Process resurrection: A fast recovery mechanism for real-time embedded systems," in Proc. 11th IEEE Real-Time and Embedded Technology and Applications Symp., San Francisco, CA, 2005.
22. L. Sha, "Using simplicity to control complexity," IEEE Software, vol. 18, no. 4. pp. 20-28, Jul.-Aug. 2001.
23. X. Liu, H. Ding, K. Lee, Q. Wang, and L. Sha. "ORTEGA: An efficient and flexible software fault tolerance architecture for real-time control systems," in Proc. 20th Euromicro Conf. Real-Time Systems (ECRTS 2008), 2008.
24. K. Tindell and A. Alonso, "A Very Simple Protocol for Mode Changes in Priority Preemptive Systems," Tech. Rep., Univ. Politecnica de Madrid, Madrid, Spain, 1996.
25. J. Liu, Real-Time Systems. Englewood Cliffs, NJ: Prentice-Hall, 2000.
26. K. J. Astrom and B. Wittenmark, Computer-Controlled Systems: Theory and Design, 3rd ed. Reading, MA: Addison-Wesley, 1994.
27. M. Roozbehani, A. Megretski, and E. Feron, "Safety verification of iterative algorithms over polynomial vector fields," in Proc. 45th IEEE Conf. Decision and Control, 2006, pp. 6061-6067.
28. M. Roozbehani et al., "Convex optimization proves software correctness," in Proc. 2005 Amer. Control Conf., 2005, vol. 2, pp. 1395-1400.
29. D. Seto and L. Sha, An Engineering Method for Safety Region Development, CMU SET, 1999, Tech. Rep. 18.
30. S. Boyd, L. E. Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, Philadelphia, PA: SIAM, 1994.
31. S.-P. Wu and S. Boyd, "Sdpsol: A parser/solver for sdp and maxdet problems with matrix structure," in Recent Advances in LMI Methods for Control, L. E. Ghaoui and S.-I. Niculescu, Eds. Philadelphia, PA: SIAM, 1999.
32. J. Lofberg, "YALMIP: A toolbox for modeling and optimization in matlab," in Proc. 2004 IEEE Int. Symp. Computer Aided Control Systems Design, Taipei, Taiwan, 2004.
33. J. Real and A. Crespo, "Mode change protocols for real-time systems: A survey and a new proposal," Real-Time Syst., vol. 26, pp. 161-197. 2004.
34. P. Pedro and A. Burns, "Schedulability analysis for mode changes in real-time systems," in Proc. 10th Euromicro Workshop Real-Time Systems, Berlin, Germany, 1998.
35. M. Joseph and P. Pandya, "Finding response times in a real-time system," Comput. J., vol. 29, no. 5, pp. 390-395, 1986.
36. N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. Wellings, "Applying new scheduling theory to static priority preemptive scheduling," Softw. Eng. J., vol. 8, no. 5, pp. 284-292, 1993.
37. Quanser, 2008. [Online]. Available: http://www.quanser.com.
38. C. L. Liu and J. W. Layland, "Scheduling algorithms for multiprogramming in hard real time environment," J. ACM, vol. 20, no. 1, pp. 40-61, 1973.
39. Real-Time System Services Working Group, IEEE STD 1003.1, 1998. 1996 ed.
40. M. Rajagopalan, S. K. Debray, M. A. Hiltunen, and R. D. Schlichting, "Profile-directed optimization of event-based programs," in Proc. SIG-PLAN '02 Conf. Programming Language Design and Implementation (PLDI 02), 2002.
41. P. Pelliccione, N. Guelfi, H. Muccini, and A. Romanovsky, Software Engineering and Fault Tolerance. Singapore: World Scientific, 2007.