Loading...
Please wait, while we are loading the content...
Similar Documents
Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Malekpour, Mahyar R. |
| Copyright Year | 2011 |
| Description | This report presents the mechanical verification of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs in the absence of faults. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. The system under study is an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. This protocol deterministically converges within a time bound that is a linear function of the self-stabilization period. |
| File Size | 207439 |
| Page Count | 31 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20110012097 |
| Archival Resource Key | ark:/13960/t2g78cg6v |
| Language | English |
| Publisher Date | 2011-05-01 |
| Access Restriction | Open |
| Subject Keyword | Distributed Processing Time Signals Protocol Computers Stabilization Proving Time Synchronization Clocks Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
