Clock synchronization in distributed real-time systems
IEEE Transactions on Computers - Special Issue on Real-Time Systems
A new fault-tolerant algorithm for clock synchronization
Information and Computation
Continuous clock amortization need not affect the precision of a clock synchronization algorithm
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
An overview of clock synchronization
Fault-tolerant distributed computing
Tolerating failures of continuous-valued sensors
ACM Transactions on Computer Systems (TOCS)
Introduction to OSF DCE (rev. 1.0)
Introduction to OSF DCE (rev. 1.0)
Annotated bibliography on global states and times in distributed systems
ACM SIGOPS Operating Systems Review
Improved algorithms for synchronizing computer network clocks
IEEE/ACM Transactions on Networking (TON)
SSCMP: the sequenced synchronized clock message protocol
Computer Networks and ISDN Systems
New Hybrid Fault Models for Asynchronous Approximate Agreement
IEEE Transactions on Computers
Specification and Implementation of the Universal TimeCoordinated Synchronization Unit (UTCSU)
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part III
Global Positioning System (GPS) Time Dissemination for Real-Time Applications
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part I
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Maintaining the time in a distributed system
ACM SIGOPS Operating Systems Review
Understanding Protocols for Byzantine Clock Synchronization
Understanding Protocols for Byzantine Clock Synchronization
Maintaining the time in a distributed system: an example of a loosely-coupled distributed service (synchronization, fault-tolerance, debugging)
Practical uses of synchronized clocks in distributed systems
Distributed Computing
CesiumSpray: a Precise and Accurate Global Time Servicefor Large-scale Systems
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part III
Specification and Implementation of the Universal TimeCoordinated Synchronization Unit (UTCSU)
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part III
An interval-based framework for clock rate synchronization
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Experience with an adaptive globally-synchronizing clock algorithm
Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures
A Network Time Interface M-Module for Distributing GPS-Timeover LANs
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
How to Model Link Failures: A Perception-Based Fault Model
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
An Algorithm for Fault-Tolerant Clock State and Rate Synchronization
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Interval-based clock synchronization with optimal precision
Information and Computation
Improved interval-based clock synchronization in sensor networks
Proceedings of the 3rd international symposium on Information processing in sensor networks
Internal synchronization of drift-constraint clocks in ad-hoc sensor networks
Proceedings of the 5th ACM international symposium on Mobile ad hoc networking and computing
A resource--efficient time estimation for wireless sensor networks
Proceedings of the 2004 joint workshop on Foundations of mobile computing
How to reconcile fault-tolerant interval intersection with the Lipschitz condition
Distributed Computing
An overlay MAC layer for 802.11 networks
Proceedings of the 3rd international conference on Mobile systems, applications, and services
Time synchronization methods for wireless sensor networks: A survey
Programming and Computing Software
An adjustable measurement system for the real time clock of high-end server systems
IMSA'07 IASTED European Conference on Proceedings of the IASTED European Conference: internet and multimedia systems and applications
International Journal of Ad Hoc and Ubiquitous Computing
Optimal Deterministic Remote Clock Estimation in Real-Time Systems
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
An adjustable measurement system for the real time clock of high-end server systems
EurolMSA '07 Proceedings of the Third IASTED European Conference on Internet and Multimedia Systems and Applications
Clock synchronization with deterministic accuracy guarantee
EWSN'11 Proceedings of the 8th European conference on Wireless sensor networks
The zerberus language: describing the functional model of dependable real-time systems
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
| Hi-index | 0.00 |
In this paper, we developand analyze a simple interval-based algorithm suitable for fault-tolerantexternal clock synchronization. Unlike usual internal synchronizationapproaches, our convergence function-based algorithm providesapproximately synchronized clocks maintaining both precisionand accuracy w.r.t. external time. This is accomplished by meansof a time representation relying on intervals that capture externaltime, providing accuracy information encoded in interval lengths.The algorithm, which is generic w.r.t. the convergence functionand relies on either instantaneous correction or continuous amortizationfor clock adjustment, is analyzed by utilizing a novel, interval-basedframework for establishing worst-case precision and accuracybounds subject to a fairly detailed system model. Apart fromindividual clock rate and transmission delay bounds, our systemmodel incorporates non-standard features like clock granularityand broadcast latencies as well. Relying on a suitable notionof internal global time, our analysis unifies treatment of precisionand accuracy, ending up in striking conceptual beauty and expressivepower.