Подробное описание документа

Крищенко В. А.
   Исследование таймера удержания при динамической маршрутизации на основе алгоритма Беллмана-Форда / Крищенко В. А. - DOI 10.18698/2308-6033-2012-1-20 // Инженерный журнал: наука и инновации. - 2012. - № 1. - П.Н. 10.

Скачать документ

Полнотекстовый документ

DOI 10.18698/2308-6033-2012-1-20

https://doi.org/10.18698/2308-6033-2012-…

engjournal.bmstu.ru/catalog/it/hidden/20.html

https://engjournal.bmstu.ru/catalog/it/h…

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