Emulation techniques applied to the analysis of the reliability of highly reliable computer systems for future commercial aircraft are described. The lack of credible precision in reliability estimates obtained by analytical modeling techniques is first established. The difficulty is shown to be an unavoidable consequence of: (1) a high reliability requirement so demanding as to make system evaluation by use testing infeasible; (2) a complex system design technique, fault tolerance; (3) system reliability dominated by errors due to flaws in the system definition; and (4) elaborate analytical modeling techniques whose precision outputs are quite sensitive to errors of approximation in their input data. Next, the technique of emulation is described, indicating how its input is a simple description of the logical structure of a system and its output is the consequent behavior. Use of emulation techniques is discussed for pseudo-testing systems to evaluate bounds on the parameter values needed for the analytical techniques. Finally an illustrative example is presented to demonstrate from actual use the promise of the proposed application of emulation.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Emulation applied to reliability analysis of reconfigurable, highly reliable, fault-tolerant computing systems


    Beteiligte:


    Erscheinungsdatum :

    01.10.1979


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Fault tolerant circuits for highly reliable systems

    Nourani, Mehrdad / Namazi, Ali / Askari, Syed | IEEE | 2009


    Reliability analysis of an ultra-reliable fault tolerant control system

    Curry, R. E. / Vandervelde, W. E. / Frey, P. R. | NTRS | 1984


    Reliability Analysis of an Ultra-Reliable Fault Tolerant Control System

    R. E. Curry / W. E. Vandervelde / P. R. Frey | NTIS | 1984


    FTMP - A highly reliable fault-tolerant multiprocessor for aircraft

    Hopkins, A.L.jr / Smith, T.B. / Lala, J.H. | Tema Archiv | 1978