Abstract:
Computing systems are studied which consist of modulp capable of checking and evaluating one another's state (selfdiagnosis). The state is described in terms of the totality of such evaluations. Operational modules are assumed to provide a correct evaluation and the faulty ones provide correct evaluation of modules which are themselves faulty. Conditions for diagnosability of such ñîmputing systems are obtained for faults or/and failures.
Fulltext:
PDF file (1223 kB)