A Generalized Theory for System Level Diagnosis

DOI10.1109/TC.1987.1676938MaRDI QIDQ3753937zbMATH OpenFDO

Authors Arun K. Somani, V. K. Agarwal, David Avis

Publication date 1987

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TC.1987.1676938

zbMATH Keywords

asymmetric invalidation modelcharacterization of diagnosable systemscircuit-level testing in complex multiprocessor systemsdiagnosis of faulty units in uniform structuresintermittent faultssymmetric invalidation model

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 219255
• Self-diagnosability of multiprocessor systems with hybrid faults: diagnosis by comparison approach
• System-level diagnosis: analysis of two new models
• System diagnosis with smallest risk of error
• On diagnosability of large multiprocessor networks

Cited in

(27)

• On the diagnosability problem for a general model of diagnosable system
• System-level diagnosis: analysis of two new models
• Diagnosis in hybrid fault situations under AIM and a unified t- characterization theorem
• Representation of systems for diagnostic purposes
• On fault identification in interconnection networks under the comparison model
• A flexible formal framework for masking/demasking faults
• Theory diagnoses: A concise characterization of faulty systems
• 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
• scientific article; zbMATH DE number 3865158 (Why is no real title available?)
• Diagnosability of Two-Matching Composition Networks
• Complexity of the diagnosability problem for a general model of diagnosable systems
• Fault isolation and identification in general biswapped networks under the PMC diagnostic model
• scientific article; zbMATH DE number 1976855 (Why is no real title available?)
• scientific article; zbMATH DE number 1515850 (Why is no real title available?)
• A fast fault-identification algorithm for bijective connection graphs using the PMC model
• Introduction to Diagnosis of Active Systems
• scientific article; zbMATH DE number 3894980 (Why is no real title available?)
• Diagnosing tree-structured systems
• Analysis of diagnosing processes in the man-machine systems
• The diagnosability of multiprocessor systems under the enhanced comparison model
• Sharp bounds and characterizations for cut-component numbers of graphs
• Diagnosable evaluation of DCC linear congruential graphs under the PMC diagnostic model

This page was built for publication: A Generalized Theory for System Level Diagnosis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3753937)