NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Generating Semi-Markov Models AutomaticallyAbstract 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.
Document ID
19900000594
Acquisition Source
Legacy CDMS
Document Type
Other - NASA Tech Brief
Authors
Johnson, Sally C.
(NASA Langley Research Center, Hampton, VA.)
Date Acquired
August 14, 2013
Publication Date
November 1, 1990
Publication Information
Publication: NASA Tech Briefs
Volume: 14
Issue: 11
ISSN: 0145-319X
Subject Category
Mathematics And Information Sciences
Report/Patent Number
LAR-14193
Accession Number
90B10594
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

There are no available downloads for this record.
No Preview Available