Реєстраційний номер
0825U003471, Дисертація доктора філософії
На здобуття
Доктор філософії
Дата захисту
03-09-2025
Статус
Наказ про видачу диплома
Назва роботи
Методи та моделі проєктування та реалізації автоматних програмних систем
Здобувач
Нікітін Дмитро Михайлович,
Керівник Голян Віра Володимирівна
Опонент Артамонов Євген Борисович
Опонент Копп Андрій Михайлович
Рецензент Шубін Ігор Юрійович
Рецензент Смеляков Кирило Сергійович
Установа, організація, у вченій раді якої відбудеться/відбувся захист
Харківський національний університет радіоелектроніки
Опис
Нікітін Д.М. Методи та моделі проєктування та реалізації автоматних програмних систем. – Кваліфікаційна наукова праця на правах рукопису.
Дисертація на здобуття наукового ступеня доктора філософії за спеціальністю 121 Інженерія програмного забезпечення (12 – Інформаційні технології). – Харківський національний університет радіоелектроніки, Міністерство освіти і науки України, Харків, 2025.
На сучасному етапі розвитку інформаційних технологій особлива увага приділяється питанням підвищення надійності, адаптивності та точності програмного забезпечення, особливо в умовах складних, динамічних або критичних середовищ. Зростання складності програмних рішень, поява систем з високим ступенем інтерактивності обумовлює необхідність використання формальних методів для їх проєктування, моделювання та верифікації.
Автоматні програмні системи є основою сучасних систем керування та обробки інформації в реальному часі. Зі зростанням складності та підвищенням вимог до продуктивності й надійності виникають обмеження класичних підходів (експоненційне зростання кількості станів, тривала верифікація, складність виявлення помилок).
Класичні PTA базуються на припущенні повного знання стану моделі. В реальних системах, де може бути неповна інформація у спостереженнях, такі припущення ведуть до некоректних результатів. Також складно формалізувати ймовірнісні сценарії з контекстно-залежною поведінкою, де ймовірності не є фіксованими, а змінюються в залежності від виконаних дій чи середовища.
Існуючі інструменти здебільшого дозволяють виконувати верифікацію окремо для різних аспектів, що ускладнює перевірку глобальних властивостей інтегрованих моделей.
Дата реєстрації
2025-08-18
Додано/оновлено в НРАТ
2025-08-18 / 2026-07-01
