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

著者名:

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

掲載資料名:

NASA Technical Reports

発行年:

1995

号:

NASA-RP-1348

パート:

NAS 1.61:1348

ペーパー番号:

N96-10862

開始ページ:

1

終了ページ:

131

総ページ数:

131

出版情報:

National Aeronautics and Space Adminstration

言語:

英語

資料種別:

テクニカルペーパー

詳細

TDL書誌ID:

ZA00001432

類似資料:

1 テクニカルペーパー THE ART OF FAULT-TOLERANT SYSTEM RELIABILITY MODELING Butler, Ricky W., Johnson, Sally C. National Aeronautics and Space Adminstration	7 テクニカルペーパー 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 テクニカルペーパー Validation of a Fault-Tolerant Clock Sychronization System Butler, Ricky W., Johnson, sally C. National Aeronautics and Space Administration	8 テクニカルペーパー The Semi-Markov Unreliability Range Evaluator (SURE) Butler, Ricky W. National Aeronautics and Space Administration
3 テクニカルペーパー A SURVEY OF PROVABLY CORRECT FAULT-TOLERANT CLOCK SYNCHRONIZATION TECHNIQUES Butler, Ricky W. National Aeronautics and Space Administration	9 テクニカルペーパー SURE RELIABILITY ANALYSIS: PROGRAM AND MATHEMATICS Butler, Ricky W. et al. National Aeronautics and Space Administration
4 テクニカルペーパー EVALUATION OF FAULT-TOLERANT PARALLEL-PROCESSOR ARCHITECTURES OVER LONG SPACE MISSIONS Johnson, Sally C. National Aeronautics and Space Administration	10 テクニカルペーパー THE PAWS AND STEM RELIABILITY ANALYSIS PROGRAMS Butler, Ricky W. et al. National Aeronautics and Space Administration
5 テクニカルペーパー Second NASA Formal Methods Workshop 1992 Johnson, Sally C., Michael Holloway, C., Butler, Ricky W. National Aeronautics and Space Adminstration	11 テクニカルペーパー THE FAULT TREE COMPILER (FTC) : PROGRAM AND MATHEMATICS Butler, Ricky W. et al. National Aeronautics and Space Administration
6 テクニカルペーパー A HIERARCHICAL APPROACH TO RELIABILITY MODELING OF FAULT-TOLERANT SYSTEMS M. S. Thesis Gossman, W.E. National Aeronautics and Space Administration	12 テクニカルペーパー 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