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