Model checking a fault-tolerant self-stabilizing synchronization stabilizing synchronization stabilizing synchronization stabilizing synchronization stabilizing synchronization protocol for arbitrary digraphs

Autor:	Mahyar R. Malekpour
Rok vydání:	2012
Předmět:	Model checking Computer Science::Hardware Architecture Control theory Synchronization networks Computer science Logical clock Fault tolerance Directed graph Formal verification Clock synchronization Synchronization
Zdroj:	2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).
DOI:	10.1109/dasc.2012.6383128
Popis:	• Local oscillators/hardware clocks operate at slightly different rates, thus, they drift apart over time. • Local logical clocks, i.e., timers/counters, may start at different initial values. • The synchronization problem is to adjust the values of the local logical clocks so that nodes achieve synchronization and remain synchronized despite the drift of their local oscillators.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ca46e55fd855d5af455700460e478213 https://doi.org/10.1109/dasc.2012.6383128 Zobrazit plný text záznamu