Публікація: Методи апаратно-програмної верифікації моделей керуючих автоматів в системах на кристалі
Завантаження...
Дата
2023
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
В кваліфікаційній роботі розглянуті питання побудови системи самодіагностики кіберфізичної системи логічного управління, реалізованої на технологічній платформі системи на кристалі. В якості технологічної платформи обрано програмовану систему на кристалі FPGA сімейства ZYNQ-7000 фірми Xilinx Inc. В якості налагоджувальної плати використана недорога плата ZedBoard, яка оснащена пристроєм XC7Z020 Zynq. Практична реалізація виконана на базі стеку інструментальних засобів САПР Vivado/Vitis/Vitis HLS з використанням мови програмування С. Розробленні методи апробовані на моделі пристрою керування тепловентилятором. При реалізації на платформі ZYNQ-7000 керуючий автомат реалізований в блоку PL, а операційний автомат в блоку PS. При організації процесу самодіагностики реалізується неруйнівний діагностичний експеримент шляхом обходу всіх дуг графа переходів починаючи з початкової вершини. В якості тестера при цьому виступає операційний автомат, еталонні логічні та часові значення зберігаються пам’яті блоку PS. Візуальне спостереження за виконанням ДЕ здійснюється на панелі світлодіодів плати ZedBoard. Наукова новизна роботи полягає у подальшому розвитку методів самодіагностики автоматних пристроїв логічного керування, реалізованих на технологічній платформі систем на кристалі.
Опис
Ключові слова
кінцевий автомат, граф переходів, мова опису апаратури, мова програмування, система на кристалі
Бібліографічний опис
Кур’янов А. І. Методи апаратно-програмної верифікації моделей керуючих автоматів в системах на кристалі : пояснювальна записка до кваліфікаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 Комп’ютерна інженерія / А. І. Кур’янов ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2023. – 79 с.