Diagnosability of computer systems with asymmetric estimates

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.