Розроблено моделі, методи та алгоритми синтезу програмованих логічних контролерів (ПЛК), в яких процедури перевірки справності та відновлення працездатності здійснюються вбудованими засобами тестового та функціонального діагностування. Запропоновано нові методи побудови діагностичних експериментів (ДЕ) в багатопроцесорних ПЛК (БПЛК) на базі використання графових моделей Препарата-Меца-Чена (ПМЧ). Визначено необхідні та достатні умови <$Eroman {t"/"t sub p ~-~S}>-діагностованості систем, що містять n модулів, з яких t несправних, зокрема <$Eroman {T sub p ~ symbol У ~t}> модулів мають перемежовані несправності (ПН) і S несправних тестових інтерфейсних зв'язків (ТІЗ). Визначено оптимальність структури <$Eroman {t"/"t sub p ~-~S}> діагностованих БПЛК. Розроблено графові моделі БПЛК із процесорними модулями, які самотестуються, що дозволяє на поведінковому рівні організувати умовні ДЕ для виявлення несправних процесорних модулів і ТІЗ. Розроблено нові ефективні методи синтезу синдромно тестованих схем, на базі яких виконано проектування лічильників адрес, таймерів, генераторів тестових послідовностей, синдромно-сигнатурних аналізаторів, арифметико-логічних пристроїв БПЛК. Показано, що впровадження розроблених методів і алгоритмів у промислове виробництво сприяє підвищенню відмовостійкості систем управління та зниженню витрат на технічне обслуговування пристроїв.

 Автореферати дисертацій 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Татаренко Денис Анатолійович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"