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

  Завантажити