У запропонованій дисертації досліджено: метод синтезу багатоверсійних
цифрових автоматів на програмованих логічних інтегральних схемах (ПЛІС)
з автоматно-мовною диверсністю; моделі багатоверсійних
цифрових автоматів; модель життєвого циклу багатоверсійних систем на ПЛІС
з автоматно-мовною диверсністю; метод оцінки диверсності багатоверсійних систем на ПЛІС з автоматно-мовною диверсністю. Це дозволило підвищити надійність багатоверсійних систем критичного застосування на ПЛІС, що досягається за рахунок зменшення ймовірності відмови системи через загальні причини завдяки використанню автоматно-мовної диверсності.