Talks and Poster Presentations (without Proceedings-Entry):

U. Schmid:
"Reconciling Fault-Tolerance and Robustness ?";
Keynote Lecture: Workshop on Design and Analysis of Robust Systems @ CPS-Week 2016, Hofburg Vienna, Austria (invited); 2016-04-11.

English abstract:
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.

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.