Techniques for modeling the reliability of fault-tolerant systems with the Markov state-space approach

Techniques for modeling the reliability of fault-tolerant systems with the Markov state-space approach

Author(s):

Butler, Ricky W. ( NASA Langley Research Center )
Johnson, Sally C. ( NASA Langley Research Center )

Publication title:

NASA Technical Reports

Pub. Year:

1995

Issue:

NASA-RP-1348

Pt.:

NAS 1.61:1348

Paper no.:

N96-10862

Page(from):

1

Page(to):

131

Pages:

131

Pub. info.:

National Aeronautics and Space Adminstration

Language:

English

Type:

Technical Paper

Details

TDL ID:

ZA00001432

Similar Items:

1 Technical Paper THE ART OF FAULT-TOLERANT SYSTEM RELIABILITY MODELING Butler, Ricky W., Johnson, Sally C. National Aeronautics and Space Adminstration	7 Technical Paper DOCUMENTATION OF THE CURRENT FAULT DETECTION, ISOLATION AND RECONFIGURATION SOFTWARE OF THE AIPS FAULT-TOLERANT PROCESSOR Lanning, David T., Shepard, Allen W., Johnson, Sally C. National Aeronautics and Space Adminstration
2 Technical Paper Validation of a Fault-Tolerant Clock Sychronization System Butler, Ricky W., Johnson, sally C. National Aeronautics and Space Administration	8 Technical Paper The Semi-Markov Unreliability Range Evaluator (SURE) Butler, Ricky W. National Aeronautics and Space Administration
3 Technical Paper A SURVEY OF PROVABLY CORRECT FAULT-TOLERANT CLOCK SYNCHRONIZATION TECHNIQUES Butler, Ricky W. National Aeronautics and Space Administration	9 Technical Paper SURE RELIABILITY ANALYSIS: PROGRAM AND MATHEMATICS Butler, Ricky W. et al. National Aeronautics and Space Administration
4 Technical Paper EVALUATION OF FAULT-TOLERANT PARALLEL-PROCESSOR ARCHITECTURES OVER LONG SPACE MISSIONS Johnson, Sally C. National Aeronautics and Space Administration	10 Technical Paper THE PAWS AND STEM RELIABILITY ANALYSIS PROGRAMS Butler, Ricky W. et al. National Aeronautics and Space Administration
5 Technical Paper Second NASA Formal Methods Workshop 1992 Johnson, Sally C., Michael Holloway, C., Butler, Ricky W. National Aeronautics and Space Adminstration	11 Technical Paper THE FAULT TREE COMPILER (FTC) : PROGRAM AND MATHEMATICS Butler, Ricky W. et al. National Aeronautics and Space Administration
6 Technical Paper A HIERARCHICAL APPROACH TO RELIABILITY MODELING OF FAULT-TOLERANT SYSTEMS M. S. Thesis Gossman, W.E. National Aeronautics and Space Administration	12 Technical Paper USE OF MARKOV PROBABILITY AND RELIABILITY MODEL GENERATION METHODS IN THE ANALYSIS OF RELIABILITY OF A FAULT TOLERANT HARDWARE AND SOFTWARE BASED SYSTEM WITH … WHITE, P. National Aeronautics and Space Administration

1

2

3

4

5

6

7

8

9

10

11

12