Talks and Poster Presentations (without Proceedings-Entry):
"Reconciling Fault-Tolerance and Robustness ?";
Keynote Lecture: Workshop on Design and Analysis of Robust Systems @ CPS-Week 2016,
Hofburg Vienna, Austria (invited);
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.