Да, алгоритм такой (только я писал про две копии). Это не "система повышенной надежности", а одна из многих защит, применяемых для повышения отказоустойчивости ПО в системе повышенной надежности. Ответьте на такой вопрос: включилось питание, контроллер выполнил самодиагностику, вычислил CRC программной памяти и обнаружил, что она не совпадает. Что Вы делаете в таком случае?