Корольова Я. Ю. Синтез однорідний клітинних мереж із вбудованими засобами тестового діагностування, що реконфігуруються

Об'єкт дослідження: процеси логічного проектування, тестового, функціонального діагностування, реконфігурації та відновлення працездатності клітинних мереж і компонентів на одному кристалі. Мета дослідження: розробка та вдосконалення моделей, методів і процедур синтезу реконфігурованих однорідних клітинних мереж із вбудованими засобами тестового та функціонального діагностування, синтезу тестів, які реалізуються на ПЛІС. Методи дослідження базуються на основних положеннях: теорії цифрових автоматів; теорії графів; методів технічної діагностики. Теоретичні і практичні результати полягають у вирішенні комплексу завдань, пов'язаних з розробкою і проектуванням реконфігурованих мереж клітинних автоматів, що реалізуються на сучасних ПЛІС, відмовостійкість яких забезпечується вбудованими засобами сигнатурної справності та відновлення працездатності однорідних мереж з різною розмірністю клітинних функціональних модулів. Наукова новизна полягає в розробці моделей, методів і процедур синтезу реконфігурованих однорідних клітинних мереж на ПЛІС, верифікації їх справності вбудованої діагностичної інфраструктури сигнатурного моніторингу та відновлення працездатності. Вперше запропоновано і формально обґрунтовано методи синтезу перевірних тестів для одновимірних ОКМ з обмеженою спостережуваністю вихідних реакцій, засновані на використанні відмінних і характеристичних символів автоматної моделі комірки мережі. Вперше запропоновано метод перетворення автоматних моделей клітинного автомата (КА) і визначений клас легкотестованих ОКМ, що мають відмінні та характеристичні символи для кожного стану КА. Ступінь впровадження: Інститут Сцинтиляційних матеріалів НАН України (м. Харків). Сфера використання: під час модернізації багатопроцесорних комп'ютеризованих систем управління установкою "РОСТ-4".