NASA NTRS · 19900000594
Generating Semi-Markov Models Automatically
Abstract
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.
Keep this discovery
Explore connections, maps & timelines
Johnson, Sally C.. 1990-11-01. Generating Semi-Markov Models Automatically. https://ntrs.nasa.gov/citations/19900000594
Cite the original work for its findings. Save a collection to share your selection of sources.