В работе рассматривается GL-модель отказоустойчивой многопроцессорной системы, которая теряет минимальное количество ребер при появлении вектора состояния системы, включающего 1 лишний отказ. Сделано обобщение утверждения об условиях одновременного пропадания той или иной пары ребер при появлении такого вектора. Представлены оценки сложности преобразования GL-модели базовой отказоустойчивой многопроцессорной системы путем введения дополнительных ребер. Они позволяют разработчику ОМС оценить необходимые ресурсы (вычислительные и временные) для расчета надежности статистическими методами с требуемой точностью на этапе ее проектирования. Ключевые слова: отказоустойчивые многомодульные системы, графо-логические модели, раскраска графа.
