Issue No.05 - May (1975 vol.24)
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.
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