Запропоновано метод розробки багатоверсійних інформаційно-керувальних систем на базі автоматів з програмованою логікою, який базується на оптимізації вибору видів багатоверсійності за критерієм "диверсність/вартість", що дозволяє підвищити надійність систем. Удосконалено автоматні моделі багатоверсійних систем даного типу, які передбачають їх подання як композиції автоматів контролю і управління, а також уточнення функцій переходів та виходів для різних типів диверсності і варіантів побудови систем, що дозволяє сформувати множину їх архітектур. Розвинуто метрики диверсності, які використовуються для вибору видів багатоверсійності під час розробки інформаційно-керувальних систем на базі автоматів з програмованою логікою, що дозволяє розраховувати інтенсивність кратних відмов каналів системи, реалізованих за різними версіями.

  Скачати повний текст