Перепелиця І. Д. Моделі та методи статичного аналізу асинхронних систем обробки інформації

Робота присвячена проблемам математичного моделювання програмних систем. В роботі розглянуто перспективний на сьогодні архітектурний підхід, що ґрунтується на асинхронній передачі управління між компонентами системи. Такий підхід дозволяє забезпечити адаптуємість системи, що вкрай важливо для великих систем, які мають великий час існування і, тому розробникам необхідно забезпечити механізми їх реінжинірингу. В роботі побудована загальна модель компоненту такої системи, яка шляхом еквівалентних перетворень зведена до алгебраїчної конструкції, відомої як перед-автомат. Виразна здатність перед-автоматних моделей вища за виразну здатність автоматних моделей. Зокрема в рамках перед-автоматної моделі виникає можливість моделювати аномалію поведінки, відому як активний тупик. В роботі отриманий критерій відсутності активних тупиків в рамках цієї моделі. У зв’язку з тим, що перед-автомати тісно пов’язані з орієнтованими графами, дуги яких розмічені префіксними кодами, в роботі узагальнено поняття регіону та визначені інтервали як максимальні регіони. Це дозволяє ввести поняття похідного графу за аналогією з похідним графом для графів потоку управління та побудувати похідний ряд для перед-автоматів. Останнє дозволяє ідентифікувати ієрархічну структуру, що природно притаманна відповідному перед-автомату. Розроблені теоретичні положення дозволили побудувати сукупність обчислювальних методів статичного аналізу перед-автоматів та створити на їх базі комплекс програмних утиліт, які в роботі доведені до дослідних прототипів.