Theory of Fault Tolerance. 1976 Annual Report. Volume 1,
HONEYWELL INC MINNEAPOLIS MINN SYSTEMS AND RESEARCH CENTER
Pagination or Media Count:
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.
- Computer Programming and Software
- Computer Hardware