TY - GEN
T1 - Fault-tolerant algorithms for tick-generation in asynchronous logic
T2 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011
AU - Dolev, Danny
AU - Függer, Matthias
AU - Lenzen, Christoph
AU - Schmid, Ulrich
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
KW - Byzantine faults
KW - clock synchronization
KW - self-stabilization
UR - http://www.scopus.com/inward/record.url?scp=80054704130&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-24550-3_14
DO - 10.1007/978-3-642-24550-3_14
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:80054704130
SN - 9783642245497
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 163
EP - 177
BT - Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Proceedings
Y2 - 10 October 2011 through 12 October 2011
ER -