Abstract Semi-Markov Specification Interface to SURE Tool (ASSIST) program developed to generate semi-Markov model automatically from description in abstract, high-level language. ASSIST reads input file describing failure behavior of system in abstract language and generates Markov models in format needed for input to Semi-Markov Unreliability Range Evaluator (SURE) program (COSMIC program LAR-13789). Facilitates analysis of behavior of fault-tolerant computer. Written in PASCAL.
Generating Semi-Markov Models Automatically
NASA Tech Briefs ; 14 , 11
1990-11-01
Sonstige
Keine Angabe
Englisch
Simplifying Semi-Markov Fault Recovery Models
British Library Conference Proceedings | 1992
|Online Identification of Hidden Semi-Markov Models
British Library Conference Proceedings | 2003
|Reduction Of Sizes Of Semi-Markov Reliability Models
NTRS | 1995
|Large-Scale Event Detection Using Semi-Hidden Markov Models
British Library Conference Proceedings | 2003
|