Ушаков А. О. Моделі, методи та програмно-технічні засоби створення відмовостійких цифрових систем керування з програмованою логікою

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