Пошук академічних текстів

Інформація × Реєстраційний номер 2123U011490, Матеріали видань та локальних репозитаріїв Категорія Опубліковано, Стаття Назва роботи МОДЕЛІ ТЕМПОРАЛЬНИХ ПОДІЙ У КІНЦЕВИХ АВТОМАТАХ Автор Мірошник М. А.Шматков С. І.Шкіль О. С.Мірошник А. М.Пшеничний К. Ю.Miroshnyk M. A.Shmatkov S. I.Shkil O. S.Miroshnyk А. М.Pshenychnyi K. Y. Дата публікації 23-12-2023 Постачальник інформації Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") Першоджерело https://ric.zp.edu.ua/article/view/294297 Видання National University "Zaporizhzhia Polytechnic" Опис Актуальність. Розглянуто задачу розробки шаблонів кінцевих автоматів з обробкою зовнішніх темпоральних подій з використанням мов опису апаратури. Обʼєктом роботи є питання моделювання зовнішніх подій у системах реального часу. Мета роботи. Метою роботи є представити способи вираження темпоральних подій у на графі переходів кінцевого автомата, а також відповідні HDL шаблони обробки таких подій у системах управління. Метод. Проаналізовано класифікацію зовнішніх подій у системах реального часу. Виділено клас пристроїв, у яких зміна стану відбувається внаслідок настання зовнішніх подій, що подовжені у часі (темпоральні події). Запропоновано спосіб вираження такого роду подій на темпоральному графі переходів кінцевого автомата. Проаналізовано різні сценарії поведінки запропонованої автоматної моделі в залежності від тривалості зовнішньої події. Розроблено HDL шаблони на мові опису апаратури Verilog для імплементації обробки темпоральних подій. Працездатність запропонованих методів доведено на прикладі розробки, верифікації та синтезу модуля збереження енергії на FPGA та CPLD у системі автоматизованого проектування Xilinx ISE. Отримані результати автоматизованого синтезу довели правильність запропонованої методології. Результати. Запропоновано методи обробки зовнішніх темпоральних подій у моделях пристроїв реального часу. Представлено відповідні шаблони мові опису апаратури Verilog для імплементації запропонованої моделі. Висновки. Вирішено задачу автоматизованого синтезу систем реального часу з зовнішніми темпоральними подіями. Для вирішення цієї проблеми були розроблені та протестовано модель пристроя на базі кінцевого автомата з використанням мови Verilog. Наукова новизна полягає у представлені способу вираження темпоральних подій на графі переходів кінцевого автомата, а також за допомогою HDL конструкцій під час розробки систем керування на CPLD та FPGA у система автоматизованого синтезу.  Додано в НРАТ 2026-02-27 Закрити