Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
D. Dolev, M Függer, C. Lenzen, U. Schmid:
"Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation [Extended Abstract]";
Vortrag: Stabilization, Safety, and Security of Distributed Systems,
Grenoble, France;
10.10.2011
- 12.10.2011; in: "Stabilization, Safety, and Security of Distributed Systems",
Springer Berlin / Heidelberg,
(2011),
ISBN: 978-3642051173;
S. 163
- 177.
Kurzfassung englisch:
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.
Schlagworte:
clock synchronization, Byzantine faults, self-stabilization
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-24550-3_14
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.