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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Fault-Tolerant Clock Synchronization Validation Methodology


    Beteiligte:
    Ricky W Butler (Autor:in) / Daniel L Palumbo (Autor:in) / Sally C Johnson (Autor:in)


    Erscheinungsdatum :

    01.11.1987




    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Fault-tolerant clock synchronization validation methodology

    BUTLER, RICKY W. / PALUMBO, DANIEL L. / JOHNSON, SALLY C. | AIAA | 1987



    Fault-Tolerant Clock Synchronization for Safety-Critical Applications

    Lee, D. / Allan, J. / Society of Automotive Engineers | British Library Conference Proceedings | 2004



    Fault-Tolerant Clock Synchronization for Safety-Critical Applications

    Lee, Dongik / Allan, Jeff | SAE Technical Papers | 2004