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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    1979-10-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English





    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 Archive | 1978