Автоматизация проектирования встроенных систем и телекоммуникационных приложений

Объект исследования - формальные спецификации встроенных систем реального времени вообще и систем логического управления в частности; процедуры автоматизации систем логического управления и коммуникационных подсистем систем реального времени, профилирование и тестирование систем реального времени. Цель исследования - разработка научных основ автоматизации проектирования распределенных систем логического управления реального времени в режиме сопроектирования управляющих и коммуникационных процедур. В результате проведенных теоретико-экспериментальных исследований разработана система формальных спецификаций функциональных зависимостей систем логического управления в форме неоднородных многозначных функций, выполнена теоретическая оценка сложности их программной реализации. Разработаны методы и алгоритмы статико-динамического профилирования и структурно-функциональная организация соответствующей подсистемы САПР систем логического управления. Показана эффективность методов уточнения оценок затрат времени, базирующихся на моделировании кэш-промахов и конвейерных механизмов выполнения команд. Разработан проектный процесс совместного проектирования коммуникационных и управляющих процедур распределенных систем логического управления; выполнена параметризация цикла управления, учитывающая широкий спектр коммуникационных функций; разработаны и реализованы алгоритмы автоматической генерации исходного кода коммуникационных процедур распределенных систем управления.