Talks and Poster Presentations (with Proceedings-Entry):
D. Dolev, M Függer, C. Lenzen, U. Schmid:
"Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation [Extended Abstract]";
Talk: Stabilization, Safety, and Security of Distributed Systems,
- 2011-10-12; in: "Stabilization, Safety, and Security of Distributed Systems",
Springer Berlin / Heidelberg,
The advances of deep submicron VLSI technology pose new challenges in designing robust systems, which can in principle be addressed by approaches established in fault-tolerant distributed systems research. This paper is the first step in an attempt to develop a very robust high-precision clocking system for hardware designs like systems-on-chip for critical applications. It is devoted to the design and the correctness proof of a novel Byzantine fault-tolerant self-stabilizing pulse synchronization protocol, which facilitates a direct implementation in standard asynchronous digital logic. Despite the severe implementation constraints, it offers optimal resilience and smaller complexity than all existing pulse synchronization protocols.
clock synchronization, Byzantine faults, self-stabilization
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.