Logical clocks

Logical clocks

Formal Methods in the Automotive Domain: The Case of TTA

Published in Nicolas Navet, Françoise Simonot-Lion, Automotive Embedded Systems Handbook, 2017

By repeatedly adjusting a node’s physical clock, a clock synchronization protocol implements a so-called “logical clock” for each node. The task of the synchronization algorithm is to bound the skew, that is, the absolute difference between the readings of the logical clocks of any two nonfaulty nodes by a small value.

Computational modeling of consistent observation of asynchronous distributed computation on N–manifold

View Article

Journal Information

Published in Cogent Engineering, 2018

Susmit Bagchi

Proof: As before, let be in a distributed computing system. However, for any two intervals in the system if . Moreover, any distributed computing system maintains following axiom due to monotone property of logical clock,

Explore chapters and articles related to this topic

Formal Methods in the Automotive Domain: The Case of TTA

Computational modeling of consistent observation of asynchronous distributed computation on N–manifold