Аннотация:
Анализируется возможность организации диагностирования многопроцессорных систем при возникновении большого количества отказавших процессоров вплоть до $n-2$ в рамках модели и метода Препараты–Метца–Чена. На основе предложенного метода выполнения анализа диагностического графа системы показывается, что полное диагностирование системы, т.е. определение состояния (исправен–неисправен) всех процессоров иногда выполнимо. Более точно: определяются условия, когда полное диагностирование системы действительно невозможно.
Ключевые слова:многопроцессорные системы, диагностический граф, взаимное тестирование процессоров, ПМЧ-модель, полный граф.
Статья представлена к публикации членом редколлегии:В. С. Викторова