Рассматривается проблема многоверсионности как метод достижения высокого уровня надежности и безопасности в системах, требовательных к безопасности. Под многоверсионностью подразумевается дублирование подсистем, так что дублирующие подсистемы используют альтернативные (диверсные ) методы вычислений. Предлагается использовать в системах логического управления в качестве альтернативного логический контроллер, программируемый на языке ПРАЛУ. Надежность системы логического управления с дублированием такого типа повышается благодаря использованию принципа диверсности.