В настоящее время системы k-out-of-n находят широкое применение. Для расчета надежности таких систем предложено немало алгоритмов, однако большинство из них ориентированы на системы, элементы которых имеют одинаковую вероятность отказа. GL-модели являются в этом смысле более универсальными: расчет надежности системы выполняется путем проведения статистических экспериментов с моделью и может быть выполнен для системы с различными надежностными характеристиками ее компонентов. В статье представлен алгоритм построения GL-модели для расчета надежности комбинированных 3-out-of-n:F, 3ic-out-of-n:G систем. Доказывается адекватность модели поведению системы в потоке отказов. Вводится понятие инверсно-последовательной kic-out-of-n системы. Ключевые слова: Отказоустойчивые многопроцессорные системы, графо-логические модели, надёжность.
