Pade Approximation with Scaling, (PAWS) and Scaling Taylor Exponential Matrix (STEM) computer programs are software tools for design and validation. Provide flexible, user-friendly, language-based interface for input of Markov mathematical methods describing behaviors of fault-tolerant computer systems. Markov models include both recovery from faults via reconfiguration and behaviors of such systems when faults occur. PAWS and STEM produce exact solutions of probability of system failure and provide conservative estimate of number of significant digits in solution. Written in PASCAL and FORTRAN.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Programs For Modeling Fault-Tolerant Computing Systems


    Contributors:

    Published in:

    Publication date :

    1991-01-01



    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    Fault injection for dependability validation of fault-tolerant computing systems

    Arlat, J. / Crouzet, Y. / Laprie, J.C. | Tema Archive | 1989


    Fault-Tolerant Components versus Fault-Tolerant Systems

    Muller, A. / Plankensteiner, M. / VDI/VDE-Gesellschaft Mess und Automatisierungstechnik | British Library Conference Proceedings | 2002


    Environmentally Adaptive Fault Tolerant Computing (EAFTC)

    Ramos, J. / Brenner, W. / Galica, G. E. et al. | British Library Conference Proceedings | 2005



    Simple Fault-Tolerant Computing for CFD Codes

    Degro, Atis / Lohner, Rainald | AIAA | 2021