Various Research Directions in Self-Stabilization.

Rightnow this page is under construction.

Please be patient with us.

Various directions in Self-Stabilization Research

This list is in no way exhaustive and suggestions for enhancement and changes are solicited.

All the hyperlinks shown in the list are not completed. So you might end up in an empty page. But we are hoping to finish soon.

• Designing Self-Stabilizing algorithms for individual problems.

  • Problems arising out of distributed resource sharing, allocation etc.

  • Problems of Graph Theoretic and Combinatorial Nature.

  • Problems arising in Communication Protocols.

  • Problems in fault-location and diagnosis.

  • Miscellaneous problems.

• Impossibility results in Self-Stabilizing systems.

• Randomization in designing Self-Stabilizing systems.
  • Problem specific randomization to achieve self-stabilization.

  • Methodologies for systematic Randomization to achieve self-stabilization.

• Costs of Self-Stabilization.

• Generic methodologies for designing Self-Stabilizing systems and protocols.
  • Local vs. Global Checking and Correction.

  • Closure and Convergence Paradigm.

• Relaxing the Self-Stabilization requirements: Pseudo Stabilization.

• Formal Models for specification and verification of self-stabilizability.

• Message passing extensions of Self-stabilizing systems.

• Compilation issues: Instability of Self-Stabilization.

• Self-Stabilization in realtime systems.

• Combination of self-stabilization with other kinds of fault-tolerance and resiliency.

• Using UNITY logic to derive provably correct self-stabilizing protocols.

More to be added..................

Please visit this page at a later time to get access to all the hyper linked pages.