Self-Diagnosis in Distributed Systems
- 1 January 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-34 (1) , 19-32
- https://doi.org/10.1109/TC.1985.1676512
Abstract
This paper deals with computer system diagnosis that is performed by a system itself, rather than by an outside mechanism. The devices performing the diagnosis and the devices communicating diagnostic information are included in the system model and may be potentially faulty. This paper differs from previous work in several ways. A more general diagnostic model is used that permits analysis of a larger class of systems, and the diagnostic goals are more closely matched to realistic self-diagnosis problems. In addition, there are differences in assumptions regarding test invalidation and effects of faults on communication that produce greater self-diagnosibility while accurately modeling faulty system behavior.Keywords
This publication has 15 references indexed in Scilit:
- Diagnosis of Systems with Asymmetric InvalidationIEEE Transactions on Computers, 1981
- Distributed fault-tolerance for large multiprocessor systemsPublished by Association for Computing Machinery (ACM) ,1980
- Analysis of Digital Systems Using a New Measure of System DiagnosisIEEE Transactions on Computers, 1979
- Diagnostic And Computational Reconfiguration In Multiprocessor SystemsPublished by Association for Computing Machinery (ACM) ,1978
- FTMP—A highly reliable fault-tolerant multiprocess for aircraftProceedings of the IEEE, 1978
- Architectures for fault-tolerant spacecraft computersProceedings of the IEEE, 1978
- A Graph Model for Fault-Tolerant Computing SystemsIEEE Transactions on Computers, 1976
- System Fault Diagnosis: Masking, Exposure, and Diagnosability Without RepairIEEE Transactions on Computers, 1975
- System Fault Diagnosis: Closure and Diagnosability with RepairIEEE Transactions on Computers, 1975
- An Analysis Model for Digital System DiagnosisIEEE Transactions on Computers, 1970