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. Meyer and R. Sundstrom, "On-Line Diagnosis of Unrestricted Faults," in IEEE Transactions on Computers, vol. 24, no. , pp. 468-475, 1975.