A Generalized Theory for System Level Diagnosis
From MaRDI portal
Publication:3753937
DOI10.1109/TC.1987.1676938zbMath0612.94020MaRDI QIDQ3753937
David Avis, V. K. Agarwal, Arun K. Somani
Publication date: 1987
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
intermittent faultsasymmetric invalidation modelcharacterization of diagnosable systemscircuit-level testing in complex multiprocessor systemsdiagnosis of faulty units in uniform structuressymmetric invalidation model
68N99: Theory of software
Related Items
Fault isolation and identification in general biswapped networks under the PMC diagnostic model, A fast fault-identification algorithm for bijective connection graphs using the PMC model, Diagnosable evaluation of DCC linear congruential graphs under the PMC diagnostic model, Diagnosis in hybrid fault situations under AIM and a unified t- characterization theorem, On fault identification in interconnection networks under the comparison model, A flexible formal framework for masking/demasking faults, A survey for conditional diagnosability of alternating group networks, Local diagnosability of bipartite graphs with conditional faulty edges under Preparata, Metze and Chien's model, On the characterization and fault identification of sequentially t- diagnosable system under PMC model, Probabilistic diagnosis of clustered faults for shared structures, Conditional diagnosability of matching composition networks under the \(\mathrm{MM}^\ast\) model, Fault diagnosis in hypercube multiprocessor systems, Diagnosability of Two-Matching Composition Networks