Аннотация:
Исследуются вычислительные системы (ВС), состоящие из модулей, которые могут проверять и оценивать техническое состояние друг друга (самодиагностирование ВС). Техническое состояние ВС определяется совокупностью результатов взаимооценки. Предполагается, что исправные модули верно оценивают состояние проверяемых ими модулей, а неисправные верно оценивают состояние проверяемых модулей лишь в том случае, когда последние неисправны. Получены условия диагностируемости подобных ВС при наличии только сбоев, только отказов или и тех и других вместе.