[Back]


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:
http://publik.tuwien.ac.at/files/publik_255368.pdf