Обнаружение неисправной ЭВМ в дублированной отказоустойчивой системе со скользящим резервом

Рассматриваются принципы диагностирования отказоустойчивой дублированной самопроверяемой системы со скользящим резервом. Приводится модель ЭВМ, свойства которой в сочетании с последовательностью операций обеспечивают обнаружение неисправной ЭВМ пары. Обосновывается корректность последовательности выполняемых операций.