Tags : Browse Projects

The WinASSIST program uses a rule-oriented language to automatically generate input files for the SURE/WinSURE program. The user describes the failure behavior and recovery behavior of a fault-tolerant computer system in an abstract language. The WinASSIST program then automatically generates a ... [More] corresponding semi-Markov model. The abstract language allows efficient description of large, complex systems. A one-page WinASSIST-language description may result in a semi-Markov model with thousands of states and transitions. The WinASSIST program also provides model-reduction techniques to facilitate efficient modeling of large systems. [Less]

WinSURE is a reliability analysis program used for calculating upper and lower bounds on for the operational and death state probabilities for a large class of semi-Markov models. The program is especially suited for the analysis of fault-tolerant reconfigurable systems. The calculated bounds are ... [More] close enough (usually within 5 percent of each other) for use in reliability studies of ultra-reliable computer systems. The SURE bounding theorems have algebraic solutions and are consequently computationally efficient even for large and complex systems. SURE can optionally regard a specified parameter as a variable over a range of values, enabling an automatic sensitivity analysis. The WinSURE program is written in Java and has been tested on Linux, Mac, and Windows operating systems. [Less]