[Zurück]

U. Schmid:
"Reconciling Fault-Tolerance and Robustness ?";
Hauptvortrag: Workshop on Design and Analysis of Robust Systems @ CPS-Week 2016, Hofburg Vienna, Austria (eingeladen); 11.04.2016.

In this talk, I will provide an overview of classic fault-tolerance techniques, with a distinct focus on fault-tolerant distributed algorithms and self-stabilization. Emphasis will also be put on assumption coverage analysis and how it complements correctness proofs. I will relate classic fault-tolerance properties, which are essentially all-or-nothing, to robustness properties, which are viewed as continuity properties. Instances of gracefully degrading distributed algorithms will be used to demonstrate that fault-tolerance and robustness can be reconciled, albeit such solutions must still be considered an exception today.

http://publik.tuwien.ac.at/files/publik_255368.pdf