Анализ возможности локального диагностирования в вычислительных системах с циркулянтной структурой на основе использования избыточности в числе анализируемых исходов тестирования

Рассматривается локальное диагностирование при множественных неисправностях, когда состояние исправен/неисправен для каждого модуля системы идентифицируется только по результатам сопоставительного анализа исходов тестирования модулей, имеющих с диагностируемым модулем физические связи. Изучаются условия, при которых состояние можно определить не для всех модулей (тупиковое состояние системы). Найдены признаки тупикового состояния отдельных модулей и системы в целом, использование которых позволяет уменьшить трудоемкость анализа локальной диагностируемости системы. Для систем с циркулянтной диагностической структурой общего вида показана возможность сокращения числа тупиковых состояний при использовании избыточности по числу исходов тестирования, участвующих в сопоставительном анализе. Доказано, что для систем с оптимальной циркулянтной диагностической структурой такая избыточность составляет достаточное условие для исключения тупиковых состояний.