Development and Analysis of the Software Implemented Fault-Tolerance (SIFT) Cpmputer

Development and Analysis of the Software Implemented Fault-Tolerance (SIFT) Cpmputer

Author(s):

Goldberg, J. ( SRI International )

Kautz, W. H. ( SRI International )

Melliar-Smith, P. M. ( SRI International )

Green, M. W. ( SRI International )

Levitt, K. N. ( SRI International )

Schwartz, R. L. ( SRI International )

Weinstock, C. B. ( SRI International )

2 more

Publication title:

NASA Technical Reports

Pub. Year:

1984

Issue:

NASA-CR-172146

No.:

G3/62 18551

Pt.:

NAS 1.26:172146

Paper no.:

N84-18953

Page(from):

1

Page(to):

209

Pages:

209

Pub. info.:

National Aeronautics and Space Administration

Language:

English

Type:

Technical Paper

Details

TDL ID:

ZA00002949

Similar Items:

1 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	7 Technical Paper SOFTWARE IMPLEMENTED FAULT-TOLERANT (SIFT) USER'S GUIDE Green, David F. Jr., Palumbo, Daniel L., Baltrus, Daniel W. 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 A Summary of HDM 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 The SIFT Code Specifications Levitt, Karl N., Schwartz, Richard, Moore, J. S., Melliar-Smith, P. Michael, Shostak, Robert E., Boyer, Robert, Green, … National Aeronautics and Space Administration	9 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
4 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	10 Technical Paper Automatic Construction of Verifocation Condition Generators From Hoare Logics 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 Specifying and Verifying Ultra-Reliability and Fault-Tolerance Properties Schwatz, Richard L., Melliar-Smith, P. M. National Aeronautics and Space Administration	11 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
6 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	12 Technical Paper Overview of Correctness Proofs Levitt, Karl N., Schwartz, Richard, Hare, Dwight, Moore, J. S., Melliar-Smith, P. Michael, Shostak, Robert E., Boyer, … National Aeronautics and Space Administration

1

2

3

4

5

6

7

8

9

10

11

12