В работе рассматривается моделирование поведения отказоустойчивой многопроцессорной системы со скользящим резервом в потоке отказов. Предполагается, что система состоит из N подсистем, каждая из которых содержит ni процессоров, причем для ее работы необходима работоспособность не менее, чем li из них, где i - номер подсистемы. Кроме того, в системе есть еще nf процессоров скользящего резерва, которые произвольным образом могут быть распределены между подсистемами для восстановления их работоспособности; для работы системы требуется работоспособность всех ее подсистем. Предложен способ построения GL-модели такой системы на основе композиции базовых GL-моделей ее подсистем. Ключевые слова: графо-логические модели, скользящий резерв, отказоустойчивые многопроцессорные системы, надежность.
