Search NASA⌕ Search

SEARCH · Search NASA

Results for “clock synchronization”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
NASA NTRS1984

Validation of a fault-tolerant clock synchronization system

A validation method for the synchronization subsystem of a fault tolerant computer system is investigated. The method combines formal design verification with experimental testing. The design proof reduces the correctness of the clock synchronization system to the correctness of a set of axioms which are experimentally validated. Since the reliability requirements are often extreme, requiring the estimation of extremely large quantiles, an asymptotic approach to estimation in the tail of a distribution is employed.

Butler, R. W.↗
NASA NTRS1984

A validation methodology for fault-tolerant clock synchronization

A validation method for the synchronization subsystem of a fault-tolerant computer system is presented. The high reliability requirement of flight crucial systems precludes the use of most traditional validation methods. The method presented utilizes formal design proof to uncover design and coding errors and experimentation to validate the assumptions of the design proof. The experimental method is described and illustrated by validating an experimental implementation of the Software Implemented Fault Tolerance (SIFT) clock synchronization algorithm. The design proof of the algorithm defines the maximum skew between any two nonfaulty clocks in the system in terms of theoretical upper bounds on certain system parameters. The quantile to which each parameter must be estimated is determined by a combinatorial analysis of the system reliability. The parameters are measured by direct and indirect means, and upper bounds are estimated. A nonparametric method based on an asymptotic property of the tail of a distribution is used to estimate the upper bound of a critical system parameter. Although the proof process is very costly, it is extremely valuable when validating the crucial synchronization subsystem.

Johnson, S. C.↗
NASA NTRS1987

Fault-tolerant clock synchronization validation methodology

A validation method for the synchronization subsystem of a fault-tolerant computer system is presented. The high reliability requirement of flight-crucial systems precludes the use of most traditional validation methods. The method presented utilizes formal design proof to uncover design and coding errors and experimentation to validate the assumptions of the design proof. The experimental method is described and illustrated by validating the clock synchronization system of the Software Implemented Fault Tolerance computer. The design proof of the algorithm includes a theorem that defines the maximum skew between any two nonfaulty clocks in the system in terms of specific system parameters. Most of these parameters are deterministic. One crucial parameter is the upper bound on the clock read error, which is stochastic. The probability that this upper bound is exceeded is calculated from data obtained by the measurement of system parameters. This probability is then included in a detailed reliability analysis of the system.

Computer systems↗
NASA NTRS1992

Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover

The application of formal methods to the analysis of computing systems promises to provide higher and higher levels of assurance as the sophistication of our tools and techniques increases. Improvements in tools and techniques come about as we pit the current state of the art against new and challenging problems. A promising area for the application of formal methods is in real-time and distributed computing. Some of the algorithms in this area are both subtle and important. In response to this challenge and as part of an ongoing attempt to verify an implementation of the Interactive Convergence Clock Synchronization Algorithm (ICCSA), we decided to undertake a proof of the correctness of the algorithm using the Boyer-Moore theorem prover. This paper describes our approach to proving the ICCSA using the Boyer-Moore prover.

Young, William D.↗
NASA NTRS1972

An analysis and demonstration of clock synchronization by VLBI

A prototype of a semireal-time system for synchronizing the DSN station clocks by radio interferometry was successfully demonstrated. The system utilized an approximate maximum likelihood estimation procedure for processing the data, thereby achieving essentially optimum time synchronization estimates for a given amount of data, or equivalently, minimizing the amount of data required for reliable estimation. Synchronization accuracies as good as 100 nsec rms were achieved between DSS 11 and DSS 12, both at Goldstone, California. The accuracy can be improved by increasing the system bandwidth until the fundamental limitations due to position uncertainties of baseline and source and atmospheric effects are reached. These limitations are under ten nsec for transcontinental baselines.

Hurd, W. J.↗
NASA NTRS1975

Quasars as very-accurate clock synchronizers

Quasars can be employed to synchronize global data communications, geophysical measurements, and atomic clocks. It is potentially two to three orders of magnitude better than presently-used Moon-bounce system. Comparisons between quasar and clock pulses are used to develop correction or synchronization factors for station clocks.

Hurd, W. J.↗
NASA NTRS1991

Noninertial coordinate time: A new concept affecting time standards, time transfers, and clock synchronization

Relativity compensations must be made in precise and accurate measurements whenever an observer is accelerated. Although many believe the Earth-centered frame is sufficiently inertial, accelerations of the Earth, as evidenced by the tides, prove that it is technically a noninertial system for even an Earth-based observer. Using the constant speed of light, a set of fixed remote clocks in an inertial frame can be synchronized to a fixed master clock transmitting its time in that frame. The time on the remote clock defines the coordinate time at that coordinate position. However, the synchronization procedure for an accelerated frame is affected, because the distance between the master and remote clocks is altered due to the acceleration of the remote clock toward or away from the master clock during the transmission interval. An exact metric that converts observations from noninertial frames to inertial frames was recently derived. Using this metric with other physical relationships, a new concept of noninertial coordinate time is defined. This noninertial coordinate time includes all relativity compensations. This new issue raises several timekeeping issues, such as proper time standards, time transfer process, and clock synchronization, all in a noninertial frame such as Earth.

Steven D. Deines↗
NASA NTRS1974

An analysis and demonstration of clock synchronization by VLBI

A prototype of a semi-real time system for synchronizing the Deep Space Net station clocks by radio interferometry was successfully demonstrated on August 30, 1972. The system utilized an approximate maximum likelihood estimation procedure for processing the data, thereby achieving essentially optimum time sync estimates for a given amount of data, or equivalently, minimizing the amount of data required for reliable estimation. Synchronization accuracies as good as 100 ns rms were achieved between Deep Space Stations 11 and 12, both at Goldstone, Calif. The accuracy can be improved by increasing the system bandwidth until the fundamental limitations due to baseline and source position uncertainties and atmospheric effects are reached. These limitations are under 10 ns for transcontinental baselines.

Hurd, W. J.↗
NASA NTRS1996

A Test Of Precision GPS Clock Synchronization

This paper will describe tests of precision GPS time transfer using geodetic-quality TurboRogue receivers. The GPS data are processed with the GIPSY-OASIS II software, which simultaneously estimates the GPS satellite orbits and clocks, receiver locations and clock offsets, as well as other parameters such as earth orientation.

GPS GPS Clock Synchronization↗
NASA NTRS1977

VLBI clock synchronization

The potential accuracy of VLBI (very long baseline interferometry) for clock epoch and rate comparisons was demonstrated by results from long- and short-baseline experiments. It was found that atomic clocks at widely separated sites (several thousand kilometers apart) can be synchronized to within several nanoseconds from a few minutes of VLBI observations and to within one nanosecond from several hours of observations.

Counselman, C. C., III↗
NASA NTRS2014

Fault-Tolerant Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

A self-stabilizing network in the form of an arbitrary, non-partitioned digraph includes K nodes having a synchronizer executing a protocol. K-1 monitors of each node may receive a Sync message transmitted from a directly connected node. When the Sync message is received, the logical clock value for the receiving node is set to between 0 and a communication latency value (gamma) if the clock value is less than a minimum event-response delay (D). A new Sync message is also transmitted to any directly connected nodes if the clock value is greater than or equal to both D and a graph threshold (T(sub S)). When the Sync message is not received the synchronizer increments the clock value if the clock value is less than a resynchronization period (P), and resets the clock value and transmits a new Sync message to all directly connected nodes when the clock value equals or exceeds P.

Malekpour, Mahyar R.↗
NASA NTRS1977

Preliminary demonstration of precision DSN clock synchronization by radio interferometry

A wideband digital data acquisition system has been developed to measure the clock offsets to the 10-ns accuracy required to facilitate three-way spacecraft ranging, to monitor the hydrogen maser frequency standard rates to 1 part in 10 to the forteenth power and to potentially reduce operational costs by replacing the current DSN operational time sync system.

Hurd, W. J.↗
NASA NTRS2012

Clock Synchronization

Experimental goals are: (1) synchronize 1 pulse per second outputs derived from two different crystal oscillator sources, (2) generate near atomic clock accuracy for other experimental needs.

atomic clock↗
NASA NTRS1981

Short turn-around intercontinental clock synchronization using very-long-baseline interferometry

During the past year work was accomplished to bring into regular operation a VLBI system for making intercontinental clock comparisons with a turn around of a few days from the time of data taking. Earlier VLBI systems required several weeks to produce results. The present system, which is not yet complete, incorporates a number of refinements not available in earlier systems, such as dual frequency inosopheric delay cancellation and wider synthesized bandwidths with instrumental phase calibration.

Madrid, G. A.↗
NASA NTRS1982

Intercontinental clock synchronization with the block 1 VLBI system

The Block 1 very long baseline interferometer (VLBI) operated by the Deep Space Network (DSN) to make weekly measurements of the relative epoch and rate offsets between the time standards in the global network of DSN stations is discussed. The precision of these measurements routinely achieves sub-microsecond levels for epoch offset and accuracies of better than one part in 10 to the 12th power for rate offset. The implementation of the phase calibrator system permits absolute measurement of epoch offset to better than 10 nanoseconds. With the near-real-time play-back and on-line storage of VLBI data, the Block 1 system typically produces clock parameters within 48 hours from the time of observation.

Roth, M. G.↗
NASA NTRS1973

Clock synchronization experiments using OMEGA transmissions

The OMEGA transmissions from North Dakota on 13.10 and 12.85 kHz were monitored at several sites using a recently developed OMEGA timing receiver specifically designed for this purpose. The experiments were conducted at Goddard Space Flight Center, Greenbelt, Maryland; U.S. Naval Observatory, Washington, D.C.; and at the NASA tracking station, Rosman, North Carolina. Results show that cycle identification of the two carrier frequencies was made at each test site, thus, coarse time (76 microseconds) from the OMEGA transmitted signals to within the ambiguity period of each OMEGA frequency was extracted. The fine time determination, which was extracted from the phase difference between the received OMEGA signals and locally generated signals, was about + or - 2 microseconds for daytime reception and about + or - 5 microseconds for nighttime reception.

Chi, A. R.↗