Bachelor's Thesis
Convergence Evaluation of Different Self-Stabilizing Algorithms
The goal of this Bachelor thesis is to implement and evaluate different existing self-stabilizing algorithms. These algorithms should be classified by there allowed concurrency of execution, a priori knowledge or assumptions about the network structure (e.g., unique node identifiers), and other characteristics. The influence of network topology and initialization strategy to the convergence speed of the algorithms should be evaluated. The algorithms should be implemented by using the formal description language and by utilizing provided programming interfaces. How the hand-written code does differ from the generated one? The milestones of this work are as follows:
- Choose different self-stabilizing algorithms and classify them.
- Implement these algorithms by using the SelfWISE framework.
- Perform a detailed evaluation by choosing appropriate simulation settings.
| Start date | 1. June 2010 |
| End date | 1. June 2010 |
| Documents | Flyer |
| Projects | SelfWISE | Self-Stabilization |
| Supervisor |
Christoph Weyer
|