Scalable self-stabilization via composition

Proceedings - International Conference on Distributed Computing Systems

Volumn 24, Issue , 2004, Pages 12-21

  Leal, William ^a   Arora, Anish ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE SYSTEMS; BROADCASTING; COMPUTER SCIENCE; DATA STRUCTURES; INFORMATION SCIENCE; MATHEMATICAL MODELS; SERVERS; SOFTWARE ENGINEERING; STATE SPACE METHODS; TELECOMMUNICATION NETWORKS;

ADAPTIVE PROGRAMMING; COMPONENT INAVARIANTS; SERVER FAILURES; SOFTWARE BUGS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 2442559329     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icdcs.2004.1281563     Document Type: Conference Paper

References (20)

1. The Bandera project. http://bandera.projects.cis.ksu.edu/.
2. The Behave Project, www.research.microsoft.com/behave/.
3. The Dynamic Reconfiguration SubSystem (DRSS). www.cis. ohio-state.edu/siefast/msr-cont-self-maint/.
4. Magellan repository and framework, research.microsoft .com/reliability/.
5. OSU NEST project. http://nest.netlab.ohio-state.edu/.
6. A. Arora and M. Gouda. Closure and convergence: A foundation for fault-tolerant computing. IEEE Transactions on Software Engineering, 19(11): 1015-1027, 1993.
7. A. Arora and M. Gouda. Distributed reset. IEEE Transactions on Computers, 43(9): 1026-1038, 1994.
8. A. Arora, M. G. Gouda, and G. Varghese. Constraint satisfaction as a basis for designing nonmasking fault-tolerant systems. Journal of High Speed Networks, 5(3):293-306, 1996.
9. A. Arora and M. Theimer. On modeling and tolerating incorrect software. Technical Report MSR-TR-2003-27, Microsoft Research, 2003.
10. B. Awerbuch, B. Patt-Shamir, and G. Varghese. Self-stabilization by local checking and correction (extended abstract). In Proceedings of 32nd Annual IEEE Symposium on Foundations of Computer Science, pages 268-277, 1991.
11. 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, pages 125-132, Schloss Elmau, Germany, May 2001.
12. M. Demirbas, A. Arora, and M. Gouda. A pursuer-evader game for sensor networks. Sixth Symposium on Self-Stabilizing Systems(SSS'03), 2003.
13. S. Dolev. Self-Stabilization. MIT Press, 2000.
14. M. D. Ernst, J. Cockreil, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99-123, February 2001.
15. M. Gouda and T. Herman. Adaptive programming. IEEE Transactions on Software Engineering (TSE), 17(9):911-921, 1991.
16. J. Hallstrom, W. Leal, and A. Arora. Scalable evolution of highly available systems. Transactions of the Institute for Electronics, Information and Communication Engineers (IEICE), In Press, 2003.
17. T. Herman. Adaptivity Through Distributed Convergence. PhD thesis, University of Texas at Austin, 1991.
18. T. Herman and I. Pirwani. A composite stabilizing data structure. In A. K. Datta and T. Herman, editors, Self-Stabilizing Systems, LNCS 2194, pages 167-182. Workshop on Self-Stabilizing Systems (WSS), Springer-Verlag, 2001.
19. W. Leal and A. Arora. Scalable self-stabilization via composition. Technical Report OSU-CISRC-7/03-TR46, Department of Computer Information Science, The Ohio State University, www.ois.ohio-state.edu, July 2003.
20. G. Varghese. Compositional proofs of self-stabilizing protocols. In Proceedings of the Third Workshop on Self-Stabilizing Systems, pages 80-94. Carleton University Press, 1997.