Методи апаратно-програмної верифікації моделей керуючих автоматів в системах на кристалі

Кур’янов, А. І.

Публікація:
Методи апаратно-програмної верифікації моделей керуючих автоматів в системах на кристалі

dc.contributor.author	Кур’янов, А. І.
dc.date.accessioned	2024-03-18T16:07:07Z
dc.date.available	2024-03-18T16:07:07Z
dc.date.issued	2023
dc.description.abstract	В кваліфікаційній роботі розглянуті питання побудови системи самодіагностики кіберфізичної системи логічного управління, реалізованої на технологічній платформі системи на кристалі. В якості технологічної платформи обрано програмовану систему на кристалі FPGA сімейства ZYNQ-7000 фірми Xilinx Inc. В якості налагоджувальної плати використана недорога плата ZedBoard, яка оснащена пристроєм XC7Z020 Zynq. Практична реалізація виконана на базі стеку інструментальних засобів САПР Vivado/Vitis/Vitis HLS з використанням мови програмування С. Розробленні методи апробовані на моделі пристрою керування тепловентилятором. При реалізації на платформі ZYNQ-7000 керуючий автомат реалізований в блоку PL, а операційний автомат в блоку PS. При організації процесу самодіагностики реалізується неруйнівний діагностичний експеримент шляхом обходу всіх дуг графа переходів починаючи з початкової вершини. В якості тестера при цьому виступає операційний автомат, еталонні логічні та часові значення зберігаються пам’яті блоку PS. Візуальне спостереження за виконанням ДЕ здійснюється на панелі світлодіодів плати ZedBoard. Наукова новизна роботи полягає у подальшому розвитку методів самодіагностики автоматних пристроїв логічного керування, реалізованих на технологічній платформі систем на кристалі.
dc.identifier.citation	Кур’янов А. І. Методи апаратно-програмної верифікації моделей керуючих автоматів в системах на кристалі : пояснювальна записка до кваліфікаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 Комп’ютерна інженерія / А. І. Кур’янов ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2023. – 79 с.
dc.identifier.uri	https://openarchive.nure.ua/handle/document/26117
dc.language.iso	uk
dc.subject	кінцевий автомат
dc.subject	граф переходів
dc.subject	мова опису апаратури
dc.subject	мова програмування
dc.subject	система на кристалі
dc.title	Методи апаратно-програмної верифікації моделей керуючих автоматів в системах на кристалі
dc.type	Other
dspace.entity.type	Publication