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

IP-маршрутизация RIP верификация протокола таймер удержания.

СКОРОСТНЫЕ СВОЙСТВА АЛГОРИТМОВ СЛОЖЕНИЯ И ВЫЧИТАНИЯ ЦЕЛЫХ ЧИСЕЛ ПРОИЗВОЛЬНОГО РАЗМЕРА, МЕТОДЫ КОНТРОЛЯ ТВЕРДОТЕЛЬНЫХ ЭЛЕКТРОННЫХ МОДЕЛЕЙ МАШИНОСТРОИТЕЛЬНОГО ИЗДЕЛИЯ НА ВСЕХ ЭТАПАХ ЕГО ЖИЗНЕННОГО ЦИКЛА, ...

К р и щ е н к о ИССЛЕДОВАНИЕ ТАЙМЕРА УДЕРЖАНИЯ ПРИ ДИНАМИЧЕСКОЙ МАРШРУТИЗАЦИИ НА ОСНОВЕ АЛГОРИТМА БЕЛЛМАНА–ФОРДА В протоколе обмена маршрутной информацией RIP существует проблема образования ложных маршрутов и маршрутных петель. <...> Сформулирована задача нахождения интервалов значений таймеров протокола, позволяющих предотвратить образование маршрутных петель для заданной топологии сети. <...> Предложен способ решения поставленной задачи, включающий формальное описание стандарта протокола RIP, построение по данному описанию и заданной топологии сети конечной модели и ее последующую формальную верификацию. <...> Группа протоколов обмена маршрутной информацией под общим названием RIP [1, 2], достаточно широко используется в IP-сетях. <...> Для расчета метрики маршрутов все версии протокола RIP используют распределенный вариант алгоритма Беллмана-Форда [3], который может приводить к возникновению ложных маршрутов и циклов маршрутизации. <...> Для уменьшения числа случаев, которые ведут к появлению таких циклов, стандарты протокола RIP содержат ряд механизмов, например таких как правило расщепленного горизонта [1]. <...> В некоторые широко применяемые реализации протокола RIP включен также дополнительный таймер удержания [4], не входящий в текущий стандарт протокола. <...> Существуют рекомендуемые значения таймеров протокола, призванные уменьшить вероятность возникновения ложных циклов маршрутизации в сети. <...> Представляет интерес вопрос, как для заданной топологии сети найти такие значения таймеров, которые исключат возможность образования ложных циклов маршрутизации. <...> В работе [5] дано формальное доказательство корректности протокола RIP и описана его модель на языке Promela [6], но рассмотрен лишь случай отсутствия ошибок в сети, а предлагаемая модель не включала в себя таймеры протокола. <...> На основе формальной модели протокола обмена маршрутной информацией RIPv2 создана модель протокола на языке верификации ISSN 0236-3933. <...> С помощью разработанной <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт