Chapter

Stabilization, Safety, and Security of Distributed Systems

Volume 5873 of the series Lecture Notes in Computer Science pp 238-253

Dependability Engineering of Silent Self-stabilizing Systems

  • Abhishek DhamaAffiliated withSystem Software and Distributed Systems, University of Oldenburg
  • , Oliver TheelAffiliated withSystem Software and Distributed Systems, University of Oldenburg
  • , Pepijn CrouzenAffiliated withDependable Systems and Software, Saarland University
  • , Holger HermannsAffiliated withDependable Systems and Software, Saarland University
  • , Ralf WimmerAffiliated withChair of Computer Architecture, Albert-Ludwigs-University Freiburg
  • , Bernd BeckerAffiliated withChair of Computer Architecture, Albert-Ludwigs-University Freiburg

* Final gross prices may vary according to local VAT.

Get Access

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.