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

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