On-Line Diagnosis of Unrestricted Faults

Authors:
J. F. Meyer;R. J. Sundstrom
Affiliations:
Department of Computer and Communication Sciences and the Department of Electrical and Computer Engineering (Program in Computer, Information, and Control Engineering), University of Michigan;-
Venue:
IEEE Transactions on Computers
Year:
1975

Citing 2
Cited 3

Fault detecting experiments for sequential circuits

SWCT '64 Proceedings of the 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design
On codes for checking logical operations

IBM Journal of Research and Development

The effects of latent faults on highly reliable computer systems

IEEE Transactions on Computers - Special Issue on Real-Time Systems
Fault-Tolerant Computing: An Introduction and a Perspective

IEEE Transactions on Computers
Design of Totally Self-Checking Circuits with an Unrestricted Stuck-At Fault-Set Using Redundancy in Space and Time Domains

IEEE Transactions on Computers

Quantified Score

Hi-index	14.99

Visualization

Abstract

A formal model for the study of on-line diagnosis is introduced and used to investigate the diagnosis of unrestricted faults. Within this model a fault of a system S is considered to be a transformation of S into another system S' at some time r. The resulting faulty system is taken to be the system which looks like S up to time r and like S' thereafter. Notions of fault tolerance and error are defined in terms of the resulting system being able to mimic some desired behavior as specified by a system S. A notion of on-line diagnosis is formulated which involves an external detector and a maximum time delay within which every error caused by a fault in a prescribed set must be detected.