The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (1987 vol.36)
pp: 538-546
A.K. Somani , Department of Electrical Engineering, University of Washington
ABSTRACT
System-level diagnosis appears to be a viable alternative to circuit-level testing in complex multiprocessor systems. A completely new generalization of the characterization problem in the system-level diagnosis area is developed in this paper. This generalized characterization theorem provides necessary and sufficient conditions for any fault-pattern of any size to be uniquely diagnosable, under the symmetric, and asymmetric invalidation models with or without the intermittent faults. Moreover, it is also shown that the well known t-characterization theorems under these models can be derived as special cases. In addition to the generalization provided by these results, it is hoped that these results will also have a great impact on the diagnosis of faulty units in uniform structures based on the system-level diagnosis concepts and would be particularly useful in the diagnosis of WSI-oriented multiprocessor systems.
INDEX TERMS
system-level diagnosis, Asymmetric invalidation model, characterization of diagnosable systems, diagnosable systems, intermittent faults, multiprocessor systems, symmetric invalidation model
CITATION
A.K. Somani, V.K. Agarwal, D. Avis, "A Generalized Theory for System Level Diagnosis", IEEE Transactions on Computers, vol.36, no. 5, pp. 538-546, May 1987, doi:10.1109/TC.1987.1676938
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool