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

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

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

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