Шакура, О. Г.2021-02-102021-02-102020Шакура О. Г. Моделі та методи побудови програмних засобів автоматизації проектування мікропрограмних систем : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 Комп'ютерна інженерія / О. Г. Шакура ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2020. – 70 с.http://openarchive.nure.ua/handle/document/14460Об'єкт дослідження: графові моделі керуючих автоматів. Предмет дослідження: аналіз коректної побудови функції умов переходів у графових моделях керуючих автоматів для автоматизованого синтезу мікропрограмних систем і систем логічного управління. Мета дослідження: розробка формального методу аналізу коректності умов переходів у графових моделях кінцевих керуючих автоматів для автоматизованого синтезу мікропрограмних систем і систем логічного управління в системах автоматизованого проектування (САПР). Наукова новизна: розроблений формальний метод аналізу коректності умов переходів у графових моделях керуючих автоматів, який використовує терми ортогональної функції умов переходів з розглянутого стану для побудови таблиці аналізу повноти і несуперечності умов переходів, що дозволяє за формальними ознаками визначати стани автомата, які мають некоректно описані переходи. Практична значимість: розроблений метод дає можливість скорочувати час пошуку джерел проблем некоректного синтезу, якщо є помилки в опису умов переходів станів як на етапі формування мовної моделі автомата, так і на етапі формування графа переходів.ukкеруючий автоматграфова модельумови переходівортогональні функціїкросплатформеністьELECTRONANGULAROther