A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Dependability Engineering of Silent Self-stabilizing Systems
[chapter]
2009
Lecture Notes in Computer Science
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 selfstabilizing 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
doi:10.1007/978-3-642-05118-0_17
fatcat:ibuxgwq3tnecxigdgvremi3nxy