Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Object-oriented application frameworks
Communications of the ACM
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Adaptive Core Selection and Migration Method for Multicast Routing in Mobile Ad Hoc Networks
IEEE Transactions on Parallel and Distributed Systems
Self-Stabilizing Protocols for Maximal Matching and Maximal Independent Sets for Ad Hoc Networks
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
The Georgia Tech Network Simulator
MoMeTools '03 Proceedings of the ACM SIGCOMM workshop on Models, methods and tools for reproducible network research
DAP: A Generic Platform for the Simulation of Distributed Algorithms
ANSS '04 Proceedings of the 37th annual symposium on Simulation
Self-Stabilizing Anonymous Leader Election in a Tree
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 8 - Volume 09
An Empirical Evaluation of Embedded Link Quality
SENSORCOMM '07 Proceedings of the 2007 International Conference on Sensor Technologies and Applications
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation
ANSS-41 '08 Proceedings of the 41st Annual Simulation Symposium (anss-41 2008)
Chowkidar: Reliable and scalable health monitoring for wireless sensor network testbeds
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Self-stabilizing mobile node location management and message routing
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
PlanetSim: a new overlay network simulation framework
SEM'04 Proceedings of the 4th international conference on Software Engineering and Middleware
Self-stabilizing deterministic TDMA for sensor networks
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
| Hi-index | 0.00 |
A protocol is self-stabilizing if its actions guarantee the eventual satisfaction of a given legitimacy predicate beginning from an unknown initial state, including states which may arise after a finite number of transient faults. Such protocols are increasingly relevant in the design of large-scale networked systems, including sensor network applications and mobile computing substrates. Application of these protocols requires a precise characterization of their expected convergence time, which often varies substantially from their provable worst-case behavior. The network simulation tools currently used to support this characterization are inadequately tailored to self-stabilizing systems. In this paper, we present an object-oriented framework for simulating the behavior of self-stabilizing systems. The hook-and-template architecture provides inherent support for configurability, enabling experimentation across an extensible set of convergence models, network topologies, and daemon schedulers. We detail the design and implementation of the framework and demonstrate its utility in the context of three protocol examples. We conclude with an analysis of its performance and identify opportunities for future work.