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.
Programs For Modeling Fault-Tolerant Computing Systems
NASA Tech Briefs ; 15 , 1
1991-01-01
Miscellaneous
No indication
English
Fault injection for dependability validation of fault-tolerant computing systems
Tema Archive | 1989
|Fault-Tolerant Components versus Fault-Tolerant Systems
British Library Conference Proceedings | 2002
|Environmentally Adaptive Fault Tolerant Computing (EAFTC)
British Library Conference Proceedings | 2005
|Simple Fault-Tolerant Computing for CFD Codes
AIAA | 2021
|