Разработка и тестирование прототипа программного обеспечения для формальной верификации телекоммуникационных и ИТ инфраструктур

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