Пшеничний Кирило К. Ю. Моделі та методи верифікації темпоральних моделей кінцевих автоматів на мовах опису апаратури

English version

Дисертація на здобуття ступеня доктора філософії

Державний реєстраційний номер

0824U002425

Облікова картка дисертації

0824U002425.pdf

Здобувач

Спеціальність

  • 123 - Комп’ютерна інженерія

29-06-2024

Спеціалізована вчена рада

ІD5748_Пшеничний

Харківський національний університет радіоелектроніки

Анотація

У роботі розвʼязано науково-практичні задачі проєктування, верифікації та діагностики систем реального часу на базі моделей кінцевих автоматів через впровадження шаблонів на мовах опису апаратури (Hardware Descrtiption Languages, HDL), які використовуються для синтезу цифрових пристроїв реального часу.

Читати повністю

Публікації

1. . Мірошник М.А, Шкіль О.С., Рахліс Д.Ю., Пшеничний К.Ю. Обробка подій у цифрових пристроях реального часу // Збірник наукових праць «Вісник ЧДТУ». 2023. №2. – С. 50-57.

2. Miroshnyk M.A., Shmatkov S. I., Shkil O. S., Miroshnyk А. М., Pshenychnyi, K. Y. Temporal events processing models in finite state machines // Radio Electronics, Computer Science, Control. (Фахове видання категорії А, Web of Science). 2023. №4. P. 49 - 57. DOI: https://doi.org/10.15588/1607-3274-2023-4-5

3. Хаханова Г. В., Пшеничний К.Ю. Методи верифікації темпоральних властивостей цифрових автоматів // Радіоелектроніка та інформатика. 2019. №3. С. 39-41

4. Мірошник М.А., Пшеничний К.Ю., Шафранський А.В., Шкіль О.С. Підвищення тестопридатності часових автоматів Мура. // Вісник Харківського національного університету імені В. Н. Каразіна, сер. «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління». 2023. Вип. 58. С. 37-46

5. Мірошник М.А., Пахомов Ю. В., Пшеничний К.Ю., Шафранський А.В. Асераційна верифікація моделей пристроїв реального часу з недетрмінованими зовнішніми подіями // Інформаційно-керуючі системи на залізничному транспорті. 2024. Том 29, № 1. C. 37-44.

Читати повністю

Файли

autoreferat-АНОТАЦІЯ_Пшеничний.docx

Пшеничний_Моделі_та_методи_верифікації_темпоральних_моделей_кінцевих_автоматів_pdf.pdf

Схожі дисертації

0824U002661

Рибальченко Аліна Олександрівна

Метод оптимального розміщення даних в білінгових OLTP-системах на основі рангового підходу

0824U002552

Міщенко Людмила Дмитрівна

МЕТОД РОЗПІЗНАВАННЯ ФЕЙКОВИХ НОВИН У МЕРЕЖІ ІНТЕРНЕТ НА ОСНОВІ ОБРОБКИ ПРИРОДНОЇ МОВИ

0824U002439

Коротков Сергій Станіславович

МЕТОДИКА ПОБУДОВИ ІНФОРМАЦІЙНОЇ СИСТЕМИ УПРАВЛІННЯ ТРАНСПОРТНОЮ ІНФРАСТРУКТУРОЮ МІСТА НА БАЗІ ТЕОРІЇ S-ГІПЕРМЕРЕЖ

0824U002359

Войчур Юрій Олексійович

Методи і засоби прогнозування рівня якості та безпеки програмного забезпечення комп’ютерних систем

0824U002059

Лейченко Кирило Миколайович

Методи та засоби планування розгортання літаючих мереж для забезпечення передачі даних в умовах руйнувань.