Design Verification of SIFT, Volume 4097

Front Cover
National Aeronautics and Space Administration, Scientific and Technical Information Office, 1987 - Airplanes - 81 pages
0 Reviews

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
4
The Requirements for SIFT
6
Substantiating the Reliability of SIFT
8
The Specification of Reliability
11
Hierarchical Specification and Verification
15
List of Figures 1 A Hierarchy of Specifications
16
An Outline of the Design of SIFT
20
A View of the SIFT Hardware
21
An Outline of the Specification Hierarchy
33
The Hierarchy of Specifications for the SIFT Design Validation
34
Fault Model Specification
38
Transition Specification
43
InputOutput Specification
48
Three tasks in the I0 Specification
50
Three Tasks in the Replication Specification
57
The Activity Specification
61

The Broadcasting and Voting of Information in SIFT
23
Information Flow for Error Reporting and Reconfiguration
25
The Markov Reliability Model
28
The States of the Markov ModelProjected into the Plane of the First Two Indices Showing Solid Faults and Reconfigu ration but not Transient Faults
30
The Timing Relationships between Subframes on Asynchronous Processes
62
A Partial View of Three Tasks in the Activity Specification
64
Conclusions and Further Work
76

Other editions - View all

Bibliographic information