Registration Number
0825U003471, PhD dissertation
Status
Доктор філософії
Date
03-09-2025
popup.evolution
o
Title
Methods and Models for the Design and Implementation of Automata-Based Software Systems
Author
Dmytro Nikitin,
popup.head Vira V. Golyan
popup.opponent Yevhen B. Artamonov
popup.opponent Andrii M. Kopp
popup.review Igor Y. Shubin
popup.review Kyrylo Smelyakov
popup.rada
Kharkiv National University Of Radio Electronics
Description
Нікітін Д.М. Методи та моделі проєктування та реалізації автоматних програмних систем. – Кваліфікаційна наукова праця на правах рукопису.
Дисертація на здобуття наукового ступеня доктора філософії за спеціальністю 121 Інженерія програмного забезпечення (12 – Інформаційні технології). – Харківський національний університет радіоелектроніки, Міністерство освіти і науки України, Харків, 2025.
На сучасному етапі розвитку інформаційних технологій особлива увага приділяється питанням підвищення надійності, адаптивності та точності програмного забезпечення, особливо в умовах складних, динамічних або критичних середовищ. Зростання складності програмних рішень, поява систем з високим ступенем інтерактивності обумовлює необхідність використання формальних методів для їх проєктування, моделювання та верифікації.
Автоматні програмні системи є основою сучасних систем керування та обробки інформації в реальному часі. Зі зростанням складності та підвищенням вимог до продуктивності й надійності виникають обмеження класичних підходів (експоненційне зростання кількості станів, тривала верифікація, складність виявлення помилок).
Класичні PTA базуються на припущенні повного знання стану моделі. В реальних системах, де може бути неповна інформація у спостереженнях, такі припущення ведуть до некоректних результатів. Також складно формалізувати ймовірнісні сценарії з контекстно-залежною поведінкою, де ймовірності не є фіксованими, а змінюються в залежності від виконаних дій чи середовища.
Існуючі інструменти здебільшого дозволяють виконувати верифікацію окремо для різних аспектів, що ускладнює перевірку глобальних властивостей інтегрованих моделей.
Registration Date
2025-08-18
popup.nrat_date
2025-08-18 / 2026-07-01
