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

Работа предполагает разработку методов и средств автоматизации проектирования встроенных систем логического управления и телекоммуникационных приложений, обеспечивающих поддержку процессов проектирования в режиме распределенной в географическом пространстве группы разработчиков. Функциональность сервера проекта обеспечивает: а) выбор проектных решений на основе аналитических оценок и экспериментов над прототипами реализаций функций создаваемой системы; б) функционально-логическое моделирование с использованием аппарата неоднородных функций многозначной логики и теории автоматов; в) автоматическую генерацию программ на основе формальных спецификаций; г) микроанализ динамики процессов функционирования систем логического управления на основе технологий статического и динамического профилирования приложений; д) моделирование объектов контроля и управления; е) реализацию функций сбора и обработки измерительной информации в двух режимах – в режиме программной имитации и в режиме взаимодействия через коммуникационную среду и модули ввода-вывода. Ожидается формирование комплекса методов и программных средств автоматизации проектирования, на основе которых планируется подготовка и защита 4 кандидатских диссертаций, издание одной монографии. Практическая ценность ожидаемых результатов состоит в появлении возможности осуществлять поиск рациональных проектных решений в пространстве аппаратных, программных и аппаратно-программных реализаций функций контроля, управления и коммуникации в среде распределенных систем реального времени. Часть результатов планируется к внедрению в практику автоматизации проведения турниров по спортивному программированию.