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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Programs For Modeling Fault-Tolerant Computing Systems


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    01.01.1991



    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Fault injection for dependability validation of fault-tolerant computing systems

    Arlat, J. / Crouzet, Y. / Laprie, J.C. | Tema Archiv | 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



    Building Fault-Tolerant Distributed Computing Systems Using Standard Components

    Barret, P. / Shrivastava, S. / Speirs, N. et al. | British Library Conference Proceedings | 1993