This Article 
 Bibliographic References 
 Add to: 
On-Line Diagnosis of Unrestricted Faults
May 1975 (vol. 24 no. 5)
pp. 468-475
J.F. Meyer, Department of Computer and Communication Sciences and the Department of Electrical and Computer Engineering (Program in Computer, Information, and Control Engineering), University of Michigan
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.
Index Terms:
Concurrent error detection, fault diagnosis, inverse sequential machines, on-line diagnosis, reliable automata, unrestricted faults.
J.F. Meyer, R.J. Sundstrom, "On-Line Diagnosis of Unrestricted Faults," IEEE Transactions on Computers, vol. 24, no. 5, pp. 468-475, May 1975, doi:10.1109/T-C.1975.224248
Usage of this product signifies your acceptance of the Terms of Use.