Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip

DOI10.1016/J.JCSS.2014.01.001MaRDI QIDQ2637656zbMATH OpenOpenAlexWikidataFDO

Authors Danny Dolev, Matthias Függer, Markus Posch, Ulrich Schmid, Andreas Steininger, Christoph Lenzen

Publication date 13 February 2014

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.jcss.2014.01.001

zbMATH Keywords

Byzantine fault-toleranceclock synchronizationdependabilityexperimentshardware implementationhybrid state machinesmetastabilitymodeling frameworkself-stabilizationtheoretical analysis

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Distributed algorithms (68W15)

Recommendations

• Reconciling fault-tolerant distributed computing and systems-on-chip
• Fault-tolerant algorithms for tick-generation in asynchronous logic: robust pulse generation
• Automatic synthesis of self-recovering VLSI systems
• scientific article; zbMATH DE number 7075887
• Design and Verification of Fault-Tolerant Components

Cites work

• Booting clock synchronization in partially synchronous systems with hybrid process and link failures
• Delay-insensitive codes - an overview
• Easy impossibility proofs for distributed consensus problems
• Fault-tolerant algorithms for tick-generation in asynchronous logic: robust pulse generation
• General theory of metastable operation
• scientific article; zbMATH DE number 2061537 (Why is no real title available?)
• Logic Synthesis for Asynchronous Controllers and Interfaces
• Newtonian arbiters cannot be proven correct
• On the possibility and impossibility of achieving clock synchronization
• Reaching Agreement in the Presence of Faults
• Reconciling fault-tolerant distributed computing and systems-on-chip
• Self-stabilizing Byzantine agreement
• Self-stabilizing clock synchronization in the presence of Byzantine faults
• Self-stabilizing systems in spite of distributed control
• The Byzantine generals strike again

Cited in

(11)

• Approximate evaluation of the efficiency of synchronous and self-timed methodologies in problems of designing failure-tolerant computing and control systems
• A predictive synchronizer for periodic clock domains
• HEX: scaling honeycombs is easier than scaling clock trees
• Facilitating the design of fault tolerance in transaction level SystemC programs
• Reconciling fault-tolerant distributed computing and systems-on-chip
• Automatic synthesis of self-recovering VLSI systems
• Fault-tolerant algorithms for tick-generation in asynchronous logic: robust pulse generation
• Self-stabilizing Byzantine clock synchronization with optimal precision
• On specifications and proofs of timed circuits
• Fire!
• A logic for repair and state recovery in Byzantine fault-tolerant multi-agent systems

This page was built for publication: Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2637656)