Pshenychnyi K. Temporal finite state machines models and verification methods in hardware description languages

Українська версія

Thesis for the degree of Doctor of Philosophy (PhD)

State registration number

0824U002425

Thesis Registration Form

0824U002425.pdf

Applicant for

Specialization

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

29-06-2024

Specialized Academic Board

ІD5748_Пшеничний

Kharkiv National University Of Radio Electronics

Essay

The work solves the scientific and practical problems of real-time systems based on finite state machines models design, verification and diagnosis by introducing hardware description language (HDL) templates used for the synthesis of real-time devices.

Read more

Research papers

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.

Read more

Files

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

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

Similar theses

0824U002661

Alina Rybalchenko

The method of optimal data placement in billing OLTP-systems based on the rank approach

0824U002552

Liudmyla Mishchenko

THE METHOD OF RECOGNIZING FAKE NEWS ON THE INTERNET BASED ON NATURAL LANGUAGE PROCESSING

0824U002439

Serhii S. Korotkov

METHODOLOGY OF BUILDING A MANAGEMENT INFORMATION SYSTEM CITY TRANSPORT INFRASTRUCTURE BASED ON S-HYPERNETWORK THEORY

0824U002359

Yurii O. Voichur

Methods and tools for predicting the level of quality and security of computer systems' software

0824U002059

Kyrylo M. Leichenko

Methods and tools for planning the deployment of flying networks to ensure data transmission in conditions of devastation.