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