Розроблено моделі, методи та алгоритми синтезу програмованих логічних контролерів (ПЛК), в яких процедури перевірки справності та відновлення працездатності здійснюються вбудованими засобами тестового та функціонального діагностування. Запропоновано нові методи побудови діагностичних експериментів (ДЕ) в багатопроцесорних ПЛК (БПЛК) на базі використання графових моделей Препарата-Меца-Чена (ПМЧ). Розроблено графові моделі БПЛК із процесорними модулями, які самотестуються, що дозволяє на поведінковому рівні організувати умовні ДЕ для виявлення несправних процесорних модулів і ТІЗ. Розроблено нові ефективні методи синтезу синдромно тестованих схем, на базі яких виконано проектування лічильників адрес, таймерів, генераторів тестових послідовностей, синдромно-сигнатурних аналізаторів, арифметико-логічних пристроїв БПЛК. Показано, що впровадження розроблених методів і алгоритмів у промислове виробництво сприяє підвищенню відмовостійкості систем управління та зниженню витрат на технічне обслуговування пристроїв.

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