WinASSIST: (Windows Abstract Semi-Markov Specification Interface To The SURE Tool)(LAR-16060-1)

design and integration tools
WinASSIST: (Windows Abstract Semi-Markov Specification Interface To The SURE Tool)
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 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.
Software Details

Design and Integration Tools
Reference Number
Release Type
Open Source
Operating System
Contact Us About This Technology

Langley Research Center
Stay up to date, follow NASA's Technology Transfer Program on:
facebook twitter linkedin youtube
Facebook Logo Twitter Logo Linkedin Logo Youtube Logo