Validation of a Fault-Tolerant Clock Synchronization System
Author:   National Aeronaut Administration (Nasa)
Publisher:   Createspace Independent Publishing Platform
ISBN:  

9781724763037


Pages:   30
Publication Date:   06 August 2018
Format:   Paperback
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Our Price $60.69 Quantity:  
Add to Cart

Share |

Validation of a Fault-Tolerant Clock Synchronization System


Overview

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

Full Product Details

Author:   National Aeronaut Administration (Nasa)
Publisher:   Createspace Independent Publishing Platform
Imprint:   Createspace Independent Publishing Platform
Dimensions:   Width: 21.60cm , Height: 0.20cm , Length: 28.00cm
Weight:   0.098kg
ISBN:  

9781724763037


ISBN 10:   1724763032
Pages:   30
Publication Date:   06 August 2018
Audience:   General/trade ,  General
Format:   Paperback
Publisher's Status:   Active
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

April RG 26_2

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now