Разработка новых алгоритмов верификации Data Plane сети, воспроизведение и расширение результатов полученных другими исследователями. Разработка нового метода верификации Data Plane для многоуровневых топологий c использованием методов анализа пространства заголовков пакетов и применением атомарных предикатов, а также разработка формата описания многоуровневых топологий сети, предназначенного для работы с алгоритмами верификации Data Plane. Разработка методов получения таблиц пересылок с сетевого оборудования, создание базовой версии агента-коллектора, собирающего необходимую для верификации информацию с сетевых устройств. Разработка лабораторного стенда для тестирования прототипа программного обеспечения для формальной верификации телекоммуникационных и ИТ инфраструктур. (промежуточный)

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