NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
ASSIST user manualSemi-Markov models can be used to analyze the reliability of virtually any fault-tolerant system. However, the process of delineating all the states and transitions in a complex system model can be devastatingly tedious and error prone. The Abstract Semi-Markov Specification Interface to the SURE Tool (ASSIST) computer program allows the user to describe the semi-Markov model in a high-level language. Instead of listing the individual model states, the user specifies the rules governing the behavior of the system, and these are used to generate the model automatically. A few statements in the abstract language can describe a very large, complex model. Because no assumptions are made about the system being modeled, ASSIST can be used to generate models describing the behavior of any system. The ASSIST program and its input language are described and illustrated by examples.
Document ID
19950025829
Acquisition Source
Legacy CDMS
Document Type
Technical Memorandum (TM)
Authors
Johnson, Sally C.
(NASA Langley Research Center Hampton, VA, United States)
Boerschlein, David P.
(NASA Langley Research Center Hampton, VA, United States)
Date Acquired
September 6, 2013
Publication Date
August 1, 1995
Subject Category
Computer Systems
Report/Patent Number
L-17407
NASA-TM-4592
NAS 1.15:4592
Accession Number
95N32250
Funding Number(s)
PROJECT: RTOP 505-64-10-07
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
No Preview Available