Specifying and Verifying Ultra-Reliability and Fault-Tolerance Properties

Specifying and Verifying Ultra-Reliability and Fault-Tolerance Properties

Author(s):

Schwatz, Richard L. ( SRI International )
Melliar-Smith, P. M. ( SRI International )

Publication title:

NASA Technical Reports

Pub. Year:

1983

Issue:

NASA-CR-166008

No.:

G3/60 19288

Pt.:

NAS 1.26:166008

Paper no.:

N84-25309

Page(from):

1

Page(to):

19

Pages:

19

Pub. info.:

National Aeronautics and Space Administration

Language:

English

Type:

Technical Paper

Details

TDL ID:

ZA00002949

Similar Items:

1 Technical Paper Development and Analysis of the Software Implemented Fault-Tolerance (SIFT) Cpmputer Goldberg, J., Kautz, W. H., Melliar-Smith, P. M., Green, M. W., Levitt, K. N., Schwartz, R. L., Weinstock, C. B. National Aeronautics and Space Administration	7 Technical Paper The Hiearchical Specification and Mechanical Verification of the SIFT Design Levitt, Karl N. Schwarz, Richard Hare, Dwight Moore, J. S. Melliar-Smith, P. Michael Shostak, Robert E. … National Aeronautics and Space Administration
2 Technical Paper Fault Tolerant Architectures for Integrated Aircraft Electronics Systems Task 2 Levitt, Karl N., Melliar-Smith, P. Michael, Schwartz, Richard L. National Aeronautics and Space Administration	8 Technical Paper Investigation, Development, and Evalution of Performance Proving for Fault-Tolerant Computers Levitt, Karl N., Schwartz, Richard, Hare, Dwight, Moore, J. S., Melliar-Smith, P. Michael, Shostak, Robert E., Boyer, … National Aeronautics and Space Administration
3 Technical Paper STP: A Mechanized Logic for Specification and Verpfication Shostak, R. E., Schwartz, Richard, Melliar-Smith, P. M. National Aeronautics and Space Administration	9 Technical Paper Application of Fault Tree Analysis for Predictive Reliability in Electronically Controlled Brushed Motors. Smith, G.M. Society of Automotive Engineers
4 Technical Paper The PASCAL-HDM Verification System Levitt, Karl N., Schwartz, Richard, Hare, Dwight, Moore, J. S., Melliar-Smith, P. Michael, Boyer, Robert, Green, Robert, … National Aeronautics and Space Administration	10 Technical Paper The Proof of the SIFT Implementation Levitt, Karl N., Schwartz, Richard, Hare, Dwight, Moore, J. S., Melliar-Smith, P. Michael, Shostak, Robert E., Boyer, … National Aeronautics and Space Administration
5 Technical Paper Overview of Code Verification Schwartz, Richard, Hare, Dwight, Moore, J. S., Melliar-Smith, P. Michael, Boyer, Robert, Green, Milton, Elliott, W. … National Aeronautics and Space Administration	11 Technical Paper Software Reliability Through Fault-Avoidance and Fault-Tolerance Vouk, Mladen A., McAllister, David F. National Aeronautics and Space Adminstration
6 Technical Paper The Fault Avoidance and the Fault Tolerance Approaches for Increasing the Reliability of Aerospace and Automotive Systems. De Oliveira e Souza, M.L., De Carvalho, T.R. Society of Automotive Engineers	12 Technical Paper Software Reliability Through Fault-Avoidance and Fault-Tolerance Vouk, Mladen A., McAllister, David F. National Aeronautics and Space Adminstration

1

2

3

4

5

6

7

8

9

10

11

12