Search academic texts

Information × 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 Description Нікітін Д.М. Методи та моделі проєктування та реалізації автоматних програмних систем. – Кваліфікаційна наукова праця на правах рукопису. Дисертація на здобуття наукового ступеня доктора філософії за спеціальністю 121 Інженерія програмного забезпечення (12 – Інформаційні технології). – Харківський національний університет радіоелектроніки, Міністерство освіти і науки України, Харків, 2025. На сучасному етапі розвитку інформаційних технологій особлива увага приділяється питанням підвищення надійності, адаптивності та точності програмного забезпечення, особливо в умовах складних, динамічних або критичних середовищ. Зростання складності програмних рішень, поява систем з високим ступенем інтерактивності обумовлює необхідність використання формальних методів для їх проєктування, моделювання та верифікації. Автоматні програмні системи є основою сучасних систем керування та обробки інформації в реальному часі. Зі зростанням складності та підвищенням вимог до продуктивності й надійності виникають обмеження класичних підходів (експоненційне зростання кількості станів, тривала верифікація, складність виявлення помилок). Класичні PTA базуються на припущенні повного знання стану моделі. В реальних системах, де може бути неповна інформація у спостереженнях, такі припущення ведуть до некоректних результатів. Також складно формалізувати ймовірнісні сценарії з контекстно-залежною поведінкою, де ймовірності не є фіксованими, а змінюються в залежності від виконаних дій чи середовища. Існуючі інструменти здебільшого дозволяють виконувати верифікацію окремо для різних аспектів, що ускладнює перевірку глобальних властивостей інтегрованих моделей. Registration Date 2025-08-18 popup.nrat_date 2025-08-18 Close