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