Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip
DOI10.1016/J.JCSS.2014.01.001zbMATH Open1285.68007OpenAlexW2114637378WikidataQ39134773 ScholiaQ39134773MaRDI QIDQ2637656FDOQ2637656
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)
Full work available at URL: https://doi.org/10.1016/j.jcss.2014.01.001
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
metastabilityself-stabilizationByzantine fault-toleranceclock synchronizationexperimentshardware implementationtheoretical analysisdependabilitymodeling frameworkhybrid state machines
Distributed algorithms (68W15) Network design and communication in computer systems (68M10) Distributed systems (68M14)
Cites Work
- Self-stabilizing systems in spite of distributed control
- General theory of metastable operation
- Reconciling fault-tolerant distributed computing and systems-on-chip
- Logic Synthesis for Asynchronous Controllers and Interfaces
- Fault-tolerant algorithms for tick-generation in asynchronous logic
- Reaching Agreement in the Presence of Faults
- The Byzantine generals strike again
- On the possibility and impossibility of achieving clock synchronization
- Easy impossibility proofs for distributed consensus problems
- Self-stabilizing clock synchronization in the presence of Byzantine faults
- Self-stabilizing byzantine agreement
- Booting clock synchronization in partially synchronous systems with hybrid process and link failures
- Delay-insensitive codes - an overview
- Title not available (Why is that?)
- Newtonian arbiters cannot be proven correct
Cited In (9)
- Facilitating the design of fault tolerance in transaction level SystemC programs
- Automatic synthesis of self-recovering VLSI systems
- HEX: scaling honeycombs is easier than scaling clock trees
- Self-stabilizing Byzantine clock synchronization with optimal precision
- Reconciling fault-tolerant distributed computing and systems-on-chip
- Fault-tolerant algorithms for tick-generation in asynchronous logic
- On specifications and proofs of timed circuits
- Fire!
- A predictive synchronizer for periodic clock domains
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)
