Формальный метод определения состояния процессоров многопроцессорной системы при ее тестировании

Работа посвящена проблеме самотестирования многопроцессорных систем в рамках модели Препараты–Метца–Чена. Предлагается метод формализации процедуры установления состояния всех процессоров $M$-диагностируемой системы на основе анализа результатов некоторого множества взаимных тестовых проверок процессорами. Анализ сводится к решению булева уравнения, составленного на основе результатов этих проверок, и позволяет установить либо состояние (исправен/неисправен) всех процессоров системы, либо тот факт, что количество выполненных проверок для этого недостаточно (т.е. состояние каких-то конкретных процессоров не определено). Сказанное остается справедливым в тех случаях, когда число неисправных процессоров в системе не превышает величины $M$.