835. Темніков Ігор Миколайович. Методи синтезу модулів сигнатурного моніторингу для дискретних пристроїв, що самотестуються: дис... канд. техн. наук: 05.13.05 / Національний технічний ун-т "Харківський політехнічний ін-т". - Х., 2004. , табл.
Анотація до роботи:
Темніков І.М. Методи синтезу модулів сигнатурного моніторингу для дискретних пристроїв, що самотестуються. – Рукопис.
Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – елементи та пристрої обчислювальної техніки та систем керування. Національний технічний університет “Харківський політехнічний інститут”, Харків, 2004.
Дисертація присвячена вирішенню задачі забезпечення ефективності тестової і функціональної діагностики мікроконтроллерних пристроїв управління, систем на одному кристалі. Запропоновані: новий метод синтезу ГПТ на основі ЗРЛЗЗ, який забезпечує більш просту реалізацію в порівнянні з відомими структурами; метод синтезу сигнатурного аналізатора, що самоперевіряється, на основі схеми потактного порівняння значень вихідних змінних. Розроблені: новий метод синтезу ГПТ на ЗРНЗЗ для псевдовичерпного тестування схем; алгоритм синтезу на основі запропонованого підходу; новий метод синтезу генераторів послідовностей максимальної довжини на МКА і визначені властивості послідовностей, що генеруються. Вдосконалено метод кодування станів автомата, що забезпечує його тестопридатну структурну реалізацію шляхом введення одного вхідного символу. Результати впроваджені у промисловість.
Підсумком дисертаційної роботи є рішення важливої науково-технічної задачі забезпечення ефективності тестової і функціональної діагностики мікроконтроллерних пристроїв управління, систем на одному кристалі на етапах їх проектування, виробництва і експлуатації. Для цього були розроблені методи синтезу і логічного проектування модулів сигнатурного моніторингу: генераторів тестових послідовностей, модулів компактного стиснення вихідних реакцій пристроїв, що самотестуються, модулів управління процесом діагностики, які можуть бути використані як убудовані на кристал або печатну плату схеми для реалізації псевдовичерпного або псевдовипадкового самотестування та забезпечити перевірку справності пристрою на його робочій частоті з гарантованою повнотою і мінімальними апаратними витратами.
Основні наукові й практичні результати:
запропоновано новий метод синтезу генераторів псевдовичерпних тестів (ГПТ) на основі зсувних регістрів з лінійним зворотним зв'язком (ЗРЛЗЗ), який забезпечує більш просту реалізацію в порівнянні з відомими структурами. Визначені необхідні й достатні умови існування ГПТ з такою структурою;
запропоновано новий метод синтезу багатоканального сигнатурного аналізатора, що самоперевіряється, на основі схеми потактного порівняння значень вихідних змінних;
вперше розроблено метод синтезу ГПТ на основі зсувних регістрів з нелінійним зворотним зв'язком для псевдовичерпного тестування схем. Показано, що задача синтезу ГПТ зводиться до знаходження клік графової моделі ЗР та мінімального покриття множини вхідних змінних кліками цього графа, що забезпечує побудову ГПТ мінімальної розмірності з мінімальною довжиною перевіряючої послідовності. Розроблено новий алгоритм синтезу на основі запропонованого підходу;
вдосконалена матрична модель мережі клітинних автоматів (МКА), на основі якої визначений ізоморфізм генераторів на МКА і ЗРЛЗЗ. Розроблено метод синтезу генераторів послідовностей максимальної довжини на МКА і визначені властивості послідовностей, що генеруються;
вдосконалено метод кодування станів автомата, що забезпечує його тестопридатну структурну реалізацію шляхом введення одного вхідного символу. Показано, що запропоноване розширення автомата має просту і регулярну структуру, яка в режимі тестування перетворюється в ЗР із зворотним зв'язком у вигляді повторних і безповторних мереж Майтра. Показана ефективність реалізації цього підходу при реалізації модулів сигнатурного моніторингу;
розроблені програмно-апаратні засоби синтезу модулів сигнатурного моніторингу використовувалися при розробці дiагностичного забезпечення виконавчого автомата управління приводом ШЕМ – М системи управління і захисту реакторної установки, яка виконувалась на ВАТ ХАРТРОН, у складi убудованих засобiв дiагностування системи автоматизованого управління вирощуванням великогабаритних монокристалів у дослiдному виробництвi Інституту сцинтиляційних матеріалів НАН України (м. Харків), в учбовому процесі УкрДАЗТ і НТУ «ХПІ».
Публікації автора:
Дербунович Л.В., Темников И.Н. Синтез самопроверяемого сигнатурного анализатора // Вестник Харьковского государственного политехнического университета. – Харків: ХДПУ. – 2000. – Вип. 92. – С. 100 – 103.
Здобувачем запропоновано метод побудови багатоканального сигнатурного аналізатора, що самоперевіряється, заснований на потактній перевірці вихідних сигналів у двох контрольних точках.
Дербунович Л.В., Косс М.Н., Темников И.Н. Синтез легко тестируемых дискретных устройств // Вестник Харьковского государственного политехнического университета. – Харків: ХДПУ. – 2000. – Вип. 102. – С. 46 – 51.
Здобувачем запропоновано метод знаходження послідовності двійкових символів, що породжують гамільтонів цикл в ЗР, циклічний зсув яких забезпечує варіант кодування автомата, оптимального за тестопридатністю.
Темников И.Н. Генератор нелинейной псевдослучайной тестовой последовательности // Вестник Харьковского государственного политехнического университета. – Харків: ХДПУ. – 2000. – Вип. 112. – С. 130 –134.
Дербунович Л.В., Темников И.Н., Косс М.Н. Оптимальное кодирование состояний автомата // Інформаційно – керуючі системи на залізничному транспорті. – Харків: ХарДАЗТ. – 2000. – №2. – С. 70 – 73.
Здобувачем запропоновано метод перетворення несильнозв’язаних автоматних моделей дискретних пристроїв, що не мають відмітних і синхронізуючих послідовностей, в легко тестовані з мінімальними апаратурними витратами на їх схемну реалізацію.
Темников И.Н. Анализ сложности нелинейных последовательностей максимальной длины // Автоматизированные системы управления и приборы автоматики. – Харків: ХНУРЕ. – 2001. – Вип. 117. – С. 48 – 49.
Бережная М.А., Дербунович Л.В., Суздаль В.С., Тавровский И.Н., Темников И.Н. Отказоустойчивые системы управления на основе микроконтроллеров // Вісник Національного технічного університету “Харківський політехнічний інститут”. – Харків: НТУ ХПІ. – 2002. – Вип. 12. – С. 218 – 220.
Здобувачем запропоновано метод синтезу ГПТ, заснований на модифікації структури ЗРЛЗЗ/ЗР шляхом формування лінійно-незалежних залишків.
Темников И.Н. Достоверность работы самопроверяемого многоканального сигнатурного анализатора // Інформаційно – керуючі системи на залізничному транспорті. – Харків: УкрДАЗТ. – 2003. – № 6. – С. 82 – 84.
Дербунович Л.В., Татаренко Д.А., Темников И.Н. Генераторы тестов для дискретных ДУ с самотестированием // Інформаційно – керуючі системи на залізничному транспорті. – Харків: УкрДАЗТ. – 2004. – № 1. – С. 40 – 45.
Здобувачем проведена експериментальна оцінка ефективності сигнатурного моніторингу для виявлення перемiжних несправностей.
Темников И.Н. Генераторы последовательностей максимальной длины на клеточных автоматах // Труды 7-й Международной конференции «Теория и техника передачи, приема и обработки информации». – Харків – 2001. С. 297 – 298.
Темников И.Н. Методика синтеза генераторов М – последовательностей на клеточных автоматах // Системи обробки інформації. Збірка наукових праць. Вип. 6(16). – Харків: НАНУ, ПАНМ, ХВУ, 2001. – С. 120 – 122.
Дербунович Л.В., Суздаль В.С., Тавровский И.И., Темников И.Н. Отказоустойчивые микроконтроллеры на основе сигнатурного мониторинга // Інформаційно – керуючі системи на залізничному транспорті. – Харків: УкрДАЗТ. – 2002. – №4, 5. – С. 71 – 73.
Здобувачем запропоновано метод генерації перевіряючих тестів мережі клітинних автоматів і модель КЛБ ПЛІС у вигляді автомата Мура з двома станами.
Бережная М.А., Дербунович Л.В., Темников И.Н. Диагностирование ПЛИС на основе моделей клеточных автоматов // Інформаційно – керуючі системи на залізничному транспорті. – Харків: УкрДАЗТ. – 2002. – додаток до журналу №4, 5. – с. 33.
Здобувачем запропоновано удосконалення діагностичного процесу для контролю правильності виконання управляючих програм мікроконтроллера шляхом використання уніфікованих модулів сигнатурного моніторингу.
