Search academic texts

Information × Registration Number 0412U005441, Candidate dissertation Status к.т.н. Date 27-06-2012 popup.evolution o Title Models and methods for static analysis of asynchronous information processing systems Author Perepelytsya Ivan Dmitrievych, popup.head Zholtkevych Grygoriy Nikolaevych popup.opponent Конорев Борис Михайлович popup.opponent Гуда Антон Ігоревич Description Робота присвячена проблемам математичного моделювання програмних систем. В роботі розглянуто перспективний на сьогодні архітектурний підхід, що ґрунтується на асинхронній передачі управління між компонентами системи. Такий підхід дозволяє забезпечити адаптуємість системи, що вкрай важливо для великих систем, які мають великий час існування і, тому розробникам необхідно забезпечити механізми їх реінжинірингу. В роботі побудована загальна модель компоненту такої системи, яка шляхом еквівалентних перетворень зведена до алгебраїчної конструкції, відомої як перед-автомат. Виразна здатність перед-автоматних моделей вища за виразну здатність автоматних моделей. Зокрема в рамках перед-автоматної моделі виникає можливість моделювати аномалію поведінки, відому як активний тупик. В роботі отриманий критерій відсутності активних тупиків в рамках цієї моделі. У зв’язку з тим, що перед-автомати тісно пов’язані з орієнтованими графами, дуги яких розмічені префіксними кодами, в роботі узагальнено поняття регіону та визначені інтервали як максимальні регіони. Це дозволяє ввести поняття похідного графу за аналогією з похідним графом для графів потоку управління та побудувати похідний ряд для перед-автоматів. Останнє дозволяє ідентифікувати ієрархічну структуру, що природно притаманна відповідному перед-автомату. Розроблені теоретичні положення дозволили побудувати сукупність обчислювальних методів статичного аналізу перед-автоматів та створити на їх базі комплекс програмних утиліт, які в роботі доведені до дослідних прототипів. Registration Date 2012-06-27 popup.nrat_date 2020-04-04 Close