Dependability Engineering of Silent Self-stabilizing Systems

  • Abhishek Dhama
  • Oliver Theel
  • Pepijn Crouzen
  • Holger Hermanns
  • Ralf Wimmer
  • Bernd Becker
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5873)

Abstract

Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for many problems in distributed computing. In this paper, we present a framework to evaluate multiple self-stabilizing solutions under a fault model that allows intermittent transient faults. To that end, metrics to quantify the dependability of self-stabilizing systems are defined. It is also shown how to derive models that are suitable for probabilistic model checking in order to determine those dependability metrics. A heuristics-based method is presented to analyze counterexamples returned by a probabilistic model checker in case the system under investigation does not exhibit the desired degree of dependability. Based on the analysis, the self-stabilizing algorithm is subsequently refined.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Abhishek Dhama
    • 1
  • Oliver Theel
    • 1
  • Pepijn Crouzen
    • 2
  • Holger Hermanns
    • 2
  • Ralf Wimmer
    • 3
  • Bernd Becker
    • 3
  1. 1.System Software and Distributed SystemsUniversity of OldenburgGermany
  2. 2.Dependable Systems and SoftwareSaarland UniversityGermany
  3. 3.Chair of Computer ArchitectureAlbert-Ludwigs-University FreiburgGermany

Personalised recommendations