СПОСОБ ДИНАМИЧЕСКОГО КОНТРОЛЯ СООТВЕТСТВИЯ НАСТРОЕК КОММУТАЦИОННЫХ УСТРОЙСТВ ПРОГРАММНО-КОНФИГУРИРУЕМОЙ СЕТИ ТРЕБОВАНИЯМ ПОЛИТИК МАРШРУТИЗАЦИИ

1. Система динамического контроля соответствия настроек коммутационных устройств программно-конфигурируемой сети требованиям политик маршрутизации, содержащая
прокси-сервер, выполненный с возможностью перехвата команд, передающихся от контроллера на подключенные к нему коммутаторы программно-конфигурируемых сетей (ПКС), и сообщений, передающиеся в обратном направлении;
модуль разведки конфигурации, выполненный с возможностью сбора информации о конфигурации сети;
конструктор моделей, выполненный с возможностью построения формальной модели сети;
корректировщик моделей, выполненный с возможностью вычисления обновленной модели сети, которая получается из конфигурации ПКС в результате применения к ней заданного набора команд контроллера;
верификатор, выполненный с возможностью проверки формальных моделей ПКС, построенных с помощью конструктора моделей, на соответствие формулам языка спецификации, описывающим требования к сети.
2. Система по п. 1, отличающаяся тем, что модуль разведки конфигурации, осуществляет сбор информации о конфигурации сети, путем выполнения анализа потока сообщений между контроллером и коммутаторами или путем запроса необходимых данных непосредственно у коммутаторов.
3. Система по п. 1, отличающаяся тем, что конструктор моделей, осуществляет построение формальной модели сети, на основании поступающей к нему информации о правилах обслуживания пакетов данных, загруженных в коммутаторы сети.
4. Система по п. 1, отличающаяся тем, что конструктор моделей, осуществляет построение формальной модели сети, на основании поступающей к нему информации о линиях связи соединяющих коммутаторы в которые загружены пакеты данных.
5. Способ динамического контроля соответствия настроек коммутационных устройств программно-конфигурируемой сети требованиям политик маршрутизации, включающий в себя этапы на которых:
при помощи контроллера направляют сообщения, на находящиеся в его подчинении коммутаторы, причем сообщения передаются через прокси-сервер, выполняющий первичный анализ их содержимого;
при помощи прокси-сервера задерживают команды контроллера, которые предписывают коммутаторам изменить свое поведение и направляют копии указанных команд корректировщику моделей;
при помощи корректировщика моделей осуществляют построение математической модели, описывающей конфигурацию сети, которая может быть получена в результате их применения, используя при этом информацию, о командах контроллера поступающую к корректировщику моделей;
при помощи верификатора проверяют полученные формальные модели на соответствие предъявляемым к сети требованиям;
при помощи верификатора помечают команду контроллера как безопасную, если формальная модель удовлетворяет каждому из требований политик маршрутизации или как небезопасную, если формальная модель не удовлетворяет, по меньшей мере, одному из требований политик маршрутизации;
при помощи прокси-сервера передают безопасные команды контроллера на коммутаторы или
при помощи прокси-сервера осуществляют блокировку небезопасных команд и уведомляют контроллер о небезопасности указанной команды.