On the diagnosability of self-testing multi-microprocessor systems☆

Abstract The diagnosability and availability of fault-tolerant multimicroprocessor systems are investigated. Our study is based on a model of self-supervising systems which periodically perform selftests, diagnoses and repair. Several illustrating examples are given.