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

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