Theory of Fault Tolerance. 1976 Annual Report. Volume 1,
Abstract
The 1976 effort focused on exploring Labeled Graph properties which are prerequisites to successfully modeling important fault-tolerant phenomena. The modeling hierarchy task successfully demonstrated that Petri net structures could be reduced while preserving certain properties such as invariance and consistency. The second task which formalized the interface between the data transformation structure and the control structure indicated that a two-graph modeling approach was preferred over a combined single-graph approach. The data-fault task took a preliminary look at classifying various data faults in terms of their functional effects. The results suggest that there are a limited set of data-fault classes which accurately represent the types of data faults experienced in field equipment. Further work is required to complete the study of data faults. A separate task investigated the feasibility of developing a design for testability methodology which was a Navy-wide need identified at the Navy ATE workshop held at NELC. A framework for such a methodology was proposed, the current state of the art in design for testability was assessed and directions for Research and Development work were recommended.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 07, 1976
- Accession Number
- ADA034385
Entities
People
- L. A. Jack
- L. L. Kinney
- W. L. Heimerdinger
- Y. W. Han
Organizations
- Honeywell International, Inc.