Анотація до роботи:

Татаренко Д.А. Програмовані логічні контролери з вбудованими засобами тестового та функціонального діагностування. – Рукопис.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – елементи та пристрої обчислювальної техніки та систем керування. Національний технічний університет «Харківський політехнічний інститут», Харків, 2007р.

Робота присвячена розробці моделей, методів і алгоритмів синтезу ПЛК, у яких процедури перевірки справності і востановлення працездатності здійснюються вбудованими засобами тестового та функціонального діагностування.

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

Практична реалізація розроблених методів і алгоритмів в промисловому виробництві дозволили підвищити відмовостійкість систем управління, знизити витрати на технічне обслуговування пристроїв.

Публікації автора:

1. Дербунович Л.В., Соболев А.В., Татаренко Д.А. Параллельные умножители со встроенной схемой самотестирования // Вісник Національного технічного університету «ХПІ». –Харків: НТУ «ХПІ». – 2003. – Вип. 7, т. 3 – с. 55 – 60.

Здобувачем розроблено метод вбудованого псевдовичерпаного діагностування паралельних множителей з застосуванням чотирьохрозрядних генераторів повних циклів на зсувних регістрах з деревоподібним зворотнім зв’язком.

2. Derbunovich L., Suzdal V., Sobolev A., Tatarenko D. Test pattern generators for pseudo - exhaustive testing. // RADIOELECTRONICS & INFORMATICS. – Харьков: ХНУРЭ, – 2003 . №3(24) р. 120.

Здобувачем запропоновано в процедурі синтезу генераторів псевдо вичерпаних тестів для тестування (n, m, k) схем метод аналізу множин остатків для находження конусів з лінійно залежними остатками.

3. Дербунович Л.В., Горлов Ю.В., Татаренко Д.А. Генераторы тестов на клеточных автоматах для схем встроенного самотестирования // Вісник Національного технічного університету «ХПІ». – Харків: НТУ «ХПІ». – 2003. – № 21 – с. 59 – 62.

Здобувачем обґрунтовано умови еволюцій мережі клітинних автоматів, яка відповідає завданої множині детермінованих тестів без застосування додаткової пам’яті.

4. Дербунович Л.В., Темников И.Н., Татаренко Д.А. Генераторы тестов для дискретных устройств с самотестированием // Информационно – управляющие системы на железнодорожном транспорте.– Харьков: УкрГАЖТ.– 2004.– № 1(45)`.– с. 40 –45.

Здобувачем запропоновано, з метою зниження апаратних витрат, метод трансформування генератора тестів на ЗРЛЗЗ/ЗР для (n, m, k) схем в структуру, в якій елементи пам’яті, що не застосовані на входах перевіряємої схеми, змінюються елементами XOR.

5. Бережная М.А., Ковзель Н.О., Татаренко Д.А. Синтез синдромно тестируемых программируемых логических контролеров. Часть 1. Метод тестирования // Информационно – управляющие системы на железнодорожном транспорте. – Харьков: УкрГАЖТ.– 2004. – № 3(47)`. – с. 49 – 52.

Здобувачем запропоновано метод формування синдромної функції багато вихідної логічної схеми і обґрунтовані умови виявлення константних несправностей в частково однорідних схемах шляхом аналізу двох спектральних коефіцієнтів Уолша синдромної функції.

6. Дербунович Л.В., Суздаль В.С., Бережная М.А., Соболев А.В., Татаренко Д.А. Диагностические модели многопроцессорных систем управления // Информационно – управляющие системы на железнодорожном транспорте. –Харьков: УкрГАЖТ.– 2004. – № 6(50)`. – с. 33 – 37.

Здобувачем запропоновано графова ПМЧ модель багатопроцесорних ПЛК, в якій кожний процесор має вбудовані засоби само тестування, що забезпечує умови t/t_p – S діагностуємості БПЛК при зменшені числа між модульних зв’язків та часу діагностування.

7. Дербунович Л.В., Горлов Ю.В., Татаренко Д.А. Метод синтеза генераторов детерминированных тестов на сетях клеточных автоматах // Вісник Національного технічного університету «ХПІ». – Харків: НТУ «ХПІ». – 2004. – № 17 – с. 59 – 62.

Здобувачем розроблено алгоритм розбивання заданої множини детермінованих тестів на підмножини, для яких вичислюються правила настроєк мережі клітинних автоматів.

8. Дербунович Л.В., Клименко А.В., Татаренко Д.А. Тестирование последовательностных схем встроенными генераторами детерминированных тестов // Вісник Національного технічного університету «ХПІ». – Харків: НТУ «ХПІ». – 2005. –№ 38 – с. 36 – 39.

Здобувачем проведено аналіз існуючих методів діагностування цифрових систем з скануванням елементів пам’яті і обґрунтована перевага генераторів детермінованих тестів на ЗРНЗЗ.

9. Дербунович Л.В., Татаренко Д.А. Клименко А.В. Генераторы детерминированных тестов на сдвиговых регистрах с нелинейной обратной связью // Вісник Національного технічного університету «ХПІ». – Харків: НТУ «ХПІ». – 2005. – № 7 – с. 58 – 63.

Здобувачем запропоновано метод формування тестових послідовностей для цифрових пристроїв з скануванням елементів пам’яті шляхом застосування двох ЗРНЗЗ для сканування даних в елементах пам’яті і тестових послідовностей на входах перевіряємої схеми.

10. Бережная М.А., Ковзель Н.О., Татаренко Д.А. Синтез синдромно тестируемых программируемых логических контролеров. Часть 2. Примеры синтеза легко тестируемых схем // Информационно – управляющие системы на железнодорожном транспорте. – Харьков: УкрГАЖТ.– 2005. – № 3(53)`. – с. 49 – 52.

Здобувачем запропоновано метод перетворення схем, що забезпечує їх синдромну тестуємость; приведено приклади застосування методу для проектування модулів ПЛК з паралельною архітектурою.

11. Бережная М.А., Рыжикова М.Г., Татаренко Д.А. Синтез комбинационных схем в базисе полиномиальных форм // Радиоэлектроника и информатика. – Харьков: ХНУРЭ – 2005. – № 3(32) – с. 103 – 109.

Здобувачем запропоновано метод і алгоритм знаходження мінімальних поліноміальних нормальних форм з фіксованою полярністю перемінних; аналіз трудомісткості запропонованого алгоритму.

12. Derbunovich L., Berezhyna M., Ryzhskova M., Tatarenko D. Pseudoexhaustive tpg based on nonlinear feedback shift registers // Информационно – управляющие системы на железнодорожном транспорте. – Харьков: УкрГАЖТ.–2005.– № 5(55)`.– с. 54– 58.

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

13. Либерг И.Г., Бовкун Д.Н., Татаренко Д.А. Программные средства моделирования неисправностей оперативной памяти. // Вісник Національного технічного університету «ХПІ». – Харків: НТУ «ХПІ». – 2005. – № 38 – с. 84 – 89.

Здобувачем запропоновано засоби моделювання несправностей оперативної пам’яті ПЛК і зроблено аналіз існуючих алгоритмів виявлення несправностей.

14. Дербунович Л.В., Бережная М.А., Рыжикова М.Г. , Татаренко Д.А. Генераторы тестов для встроенного самотестирования дискретных устройств // Вісник Національного технічного університету «ХПІ». – Харків: НТУ «ХПІ». – 2005. – № 56 – с. 3 – 8.

Здобувачем запропоновано метод синтезу перетворювача двоічних векторів для генерації детермінованих тестів для перевірки справності послідовних схем з скануванням елементів пам’яті.

15. Татаренко Д.А. Самопроверяемые модули сигнатурного мониторинга // Информационно – управляющие системы на железнодорожном транспорте. – Харьков: УкрГАЖТ. –2007. – № 3(65)'. – с. 53 – 59.