Author: Ricky W. ButlerPublisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 28
Book Description
Validation of a Fault-tolerant Clock Synchronization System
Author: Ricky W. ButlerPublisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 28
Book Description
NASA Technical Paper
Author: Validation of a Fault-Tolerant Clock Synchronization System
Author: National Aeronautics and Space Administration (NASA)Publisher: Createspace Independent Publishing Platform
ISBN: 9781724763037
Category :
Languages : en
Pages : 28
Book Description
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. and Johnson, S. C. Langley Research Center NASA-TP-2346, L-15799, NAS 1.60:2346 RTOP 505-34-13
Scientific and Technical Aerospace Reports
Author: Proceedings
Author: NASA Scientific and Technical Publications
Author: NASA Technical Paper
Author: United States. National Aeronautics and Space AdministrationPublisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 28
Book Description
A Collection of Technical Papers
Author: Scientific and Technical Information Output of the Langley Research Center for Calendar Year 1984
Author: Monthly Catalogue, United States Public Documents
Author: Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 1484
Book Description