Таблица
Результаты проверки значений таймеров
T
route
,
c
T
flush
c
T
route
c
60
120
120
60
150
120
60
180
120
60
210
120
60
240
120
90
180
180
90
210
180
90
240
180
120
240
240
при которых исключается возможность образования ложных циклов
маршрутизации в заданной топологии сети.
СПИСОК ЛИТЕРАТУРЫ
1.
M a l k i n G. RFC 2453: RIP version 2. Internet Standard. 1998.
2.
M a l k i n G., M i n n e a r R. RFC 2080: RIPng for IPv6. Internet Standard. 1997.
3.
B e l l m a n R. On a Routing Problem // Quarterly of Applied Mathematics – 1958.
–
Vol. 16, No. 1. P. 87–90.
4.
B r u n o A., K i m J. CCDA Exam Certification Guide, 2nd Edition – Cisco Press,
2003. – 696
p.
5.
B h a r g a v a n K., G u n t e r C. A., O b r a d o v i c h D. Routing Information
Protocol in HOL/SPIN // Proc. of the 13th Int. Conf. on Theorem Proving in Higher
Order Logics (TPHOLs ’00). 2000. — P. 53–72.
6.
H o l z m a n n G. The SPIN Model Checker: Primer and Reference Manual. —
Addison-Wesley, 2003. – 608 p.
7.
К л а р к Э. М., Г р а м б е р г О., П е л е д Д. Верификация моделей программ.
–
М.: МЦНМО, 2002. – 416 c.
Статья поступила в редакцию 10.05.2012
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
109
