Инструмент автоматической верификации ПО беспилотников
Программный инструмент для автоматической проверки корректности бортового программного обеспечения беспилотных летательных аппаратов. Инструмент автоматизирует построение формальных моделей из исходного кода — этап, который сейчас выполняется вручную и занимает сотни человеко-часов. Есть рабочий прототип. Проект поддержан грантом УМНИК-2026.
Ссылка
Направление
IT, Беспилотные авиационные системы
Рынки
AeroNet
Сквозные технологии
Искусственный интеллект, Технологии информационной безопасности
Вконтакте