Правила условного локального самоопределения и алгоритм диагностирования мультипроцессорной системы с циркулянтной диагностической структурой на их основе
Аннотация:
Рассматривается локальное диагностирование на системном уровне для мультипроцессорных (модульных) вычислительных систем (ВС) при множественных неисправностях. ВС имеет циркулянтную диагностическую структуру. Исходы тестов, выполняемых неисправными модулями, соответствуют известной модели Препараты, Метца и Чжена. Задача диагностирования сформулирована как задача определения хотя бы одного фактически исправного модуля, с помощью которого определяется состояние системы в целом. Введены условия выделения множества модулей, которое заключает в себе все присутствующие в системе неисправные модули. Описан алгоритм самодиагностирования системы. Доказано, что использование этого алгоритма, позволяет достичь локальной $t$-диагностируемости ВС с циркулянтной диагностической структурой для любых значений числа $N$ модулей и кратности $t$ неисправностей, удовлетворяющих условию $N\geq2t+1$.
Статья представлена к публикации членом редколлегии:П. П. Пархоменко