Институт системного программирования им. В.П. Иванникова РАН


О некоторых задачах реконфигурирования программно-конфигурируемых сетей.

Авторы

Захаров В.А., Чемерицкий Е.В.

Аннотация

Разработка алгоритмов реконфигурирования сетей является важным направлением развития программного обеспечения для телекоммуникационных сетей нового поколения - программно конфигурируемых сетей. Частный случай проблемы реконфигурирования сетей - это задача плавного восстановления заданной сетевой конфигурации, после того как некоторые правила коммутации пакетов были удалены из таблиц коммутаторов (например, по истечении срока их активности). В данной статье проведено исследование этой задачи в рамках формальной модели программно конфигурируемых сетей, предложены корректные и безопасные алгоритмы восстановления сетевых конфигураций, и показано, что в общем случае задачу плавного восстановления конфигураций нельзя решить без обращения к правилам коммутации с приоритетами.

Полный текст статьи в формате pdf

Ключевые слова

программно-конфигурируемая сеть, коммутатор, контроллер, правило коммутации, пакет, реконфигурация, маршрут, постусловие, инвариант

Издание

Моделирование и анализ информационных систем, 2014, том 21, № 6, с. 57-69.

Научная группа

Теоретическая информатика

Все публикации за 2014 год Все публикации