Title :
On-Line Diagnosis of Unrestricted Faults
Author :
Meyer, John F. ; Sundstrom, Robert J.
Author_Institution :
Department of Computer and Communication Sciences and the Department of Electrical and Computer Engineering (Program in Computer, Information, and Control Engineering), University of Michigan
fDate :
5/1/1975 12:00:00 AM
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.
Keywords :
Concurrent error detection, fault diagnosis, inverse sequential machines, on-line diagnosis, reliable automata, unrestricted faults.; Aerospace control; Automata; Computer errors; Control engineering; Delay effects; Detectors; Fault detection; Fault diagnosis; Fault tolerant systems; Hardware; Concurrent error detection, fault diagnosis, inverse sequential machines, on-line diagnosis, reliable automata, unrestricted faults.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/T-C.1975.224248
