Self-stabilizing autonomic recoverer for eventual Byzantine software

Proceedings - IEEE International Conference on Software- Science, Technology and Engineering, SwSTE 2003

Volumn , Issue , 2003, Pages 20-29

  Brukman, O ^a   Dolev, S ^a   Kolodner, E K ^b  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^b IBM HAIFA RESEARCH LAB   (Israel)

Author keywords

Computer bugs; Computer industry; Computer science; Fault tolerant systems; Monitoring; Packaging; Safety; Software packages; Software systems; Software testing

Indexed keywords

ACCIDENT PREVENTION; COMPUTER SCIENCE; COMPUTER SOFTWARE; MONITORING; PACKAGING; RECOVERY; SAFETY ENGINEERING; SAFETY TESTING; SOFTWARE PACKAGES; SOFTWARE TESTING;

COMPUTER BUGS; COMPUTER INDUSTRY; FAULT TOLERANT SYSTEMS; HIERARCHY STRUCTURE; ONLINE MONITORING; SOFTWARE SYSTEMS; SPECIFIC TASKS; THEORETICAL FOUNDATIONS;

PROGRAM DEBUGGING;

EID: 5044219884     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SWSTE.2003.1245312     Document Type: Conference Paper

References (24)

1. B. Alpern, and F. B. Schneider, "Defining Liveness", Information Processing Letters, vol. 21, Number 4, pp. 181-185, 1985.
2. H. Attiya and J. L. Welch. "Distributed Computing: Fundamentals, Simulation and Advanced Topics", McGrawl Hill Companies, pp.78-81, 1998.
3. A. Azagury, V. Dreizin, M. Factor, E. Henis, D. Naor, N. Rinetzky, O. Rodeh, J. Satran, A. Tavory, L. Yerushalmi. "Towards an Object Store", Proc. of the Twentieth IEEE / Eleventh NASA Goddard Conference on Mass Storage Systems and Technologies, San Diego, April 2003.
4. "Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software", Technical report, 2003-16: Computer Science Department, Ben-Gurion University, June 2003.
5. G. Candea. "Medusa: A platform for highly available execution". Technical report, CS244C: Distributed Systems Lab (class project paper), Stanford University, June 2000.
6. G. Candea, J. Cutler, A. Fox, R. Doshi, P. Garg, and R. Gowda. Reducing recovery time in a small recursively restartable system. In Proceedings of the International Conference on Dependable Systems and Networks (DSN-2002), Washington, D.C., June 2002.
7. G. Candea and A. Fox. "Designing for high availability and measurability". In Proceedings of the 1st Workshop on Evaluating and Architecting System Dependability (EASY), Goteborg, Sweden, July 2001.
8. G. Candea and A. Fox. "Recursive restartability: Turning the reboot sledgehammer into a scalpel". In Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS VIII), Elmau, Germany, May 2001.
9. S. Dolev. Self-stabilization. The MIT press, March 2000.
10. S. Dolev and Y. Haviv. "Self-Stabilizing Soft Error Resilient Microprocessor" International Conference on Dependable Systems and Networks, IEEE Computer Society, (DSN 2003), pp. B-18, B-19, 2003.
11. S. Dolev and J. L. Welch. "Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults," Proc. of the Second Workshop on Self-Stabilizing Systems, (WSS 1995), pp. 9.1-9.12, 1995.
12. Proc. of the 14th Annual ACM Symp. on Principles of Distributed Computing, (PODC 1995), pp. 256, 1995.
13. B. Demsky and M. Rinard, "Automatic Detection and Repair of errors in Data Structures", Technical Report MIT-LCS-TR-875, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, December 2002.
14. S. Dolev and F. Stomp. "Safety assurance via on-line monitoring," Proc. of the Fifth International Symposium on Autonomous Decentralized Systems (ISADS 2001), pp. 101-108, 2001.
15. S. Dolev and R. Yagel. "Toward Self-Stabilizing Operating Systems", manuscript, 2003.
16. A. Fox and D. Patterson. "Self-Repairing Computers", Scientific American, June, 2003
17. Y. Hong, D. Chen, L. Li, K. S. Trivedi, "Closed Loop Design for Software Rejuvenation", Workshop on Self-Healing, Adaptive, and self-MANaged systems (SHAMAN), 2002.
18. IBM. Autonomic computing. http://www.research.ibm.com/autonomic, 2001.
19. Gail Kaiser, Janak Parekh, Philip Gross and Giuseppe Valetto. "Kinesthetics eXtreme: An External Infrastructure for Monitoring Distributed Legacy Systems". In 5th Annual International Active Middleware Workshop, June 2003, pp. 22-30.
20. L. Lamport, R. Shostak, and M. Pease, "The Byzantine Generals Problem", ACM Trans. on Programming Languages and Systems, Vol. 4, No. 3, pp. 382-401, 1982.
21. Mercury Interactive, LTD, http://wwwheva.mercuryinteractive.com.
22. G. L. Peterson and M. J. Fischer, "Economical solutions for the critical section problem in distributed system", in Proc. of the 9th ACM Symposium on Theory of Computing, (1977), pp. 91-97.
23. D. Patterson, A. Brown, P. Broadwell, G. Candea, M. Chen, J. Cutler, P. Enriquez, A. Fox, E. Kiciman, M. Merzbacher, D. Oppenheimer, N. Sastry, W. Tetzlaff, J. Traupman, and N. Treuhaft. "Recovery Oriented Computing(ROC): Motivation, definition, techniques and case studies", UC Berkeley Computer Science Technical Report UCB/CSD-02-1175, Berkeley, CA, March 2002.
24. Reflection for C++. http://www.grret.ru/ knizhnik/cppreflection/docs/reflect.html, 2003.