NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
An abstract language for specifying Markov reliability modelsMarkov models can be used to compute the reliability of virtually any fault tolerant system. However, the process of delineating all of the states and transitions in a model of complex system can be devastatingly tedious and error-prone. An approach to this problem is presented utilizing an abstract model definition language. This high level language is described in a nonformal manner and illustrated by example.
Document ID
19870042350
Acquisition Source
Legacy CDMS
Document Type
Reprint (Version printed in journal)
Authors
Butler, Ricky W.
(NASA Langley Research Center Hampton, VA, United States)
Date Acquired
August 13, 2013
Publication Date
December 1, 1986
Publication Information
Publication: IEEE Transactions on Reliability
Volume: R-35
ISSN: 0018-9529
Subject Category
Computer Programming And Software
Accession Number
87A29624
Distribution Limits
Public
Copyright
Other

Available Downloads

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