Prihlásenie

Kontšek, Martin: Riešenie susedských vzťahov integrovaných smerovacích protokolov. [Dizertačná práca] – Žilinská univerzita v Žiline, Fakulta riadenia a informatiky, Katedra informačných sietí. – Vedúci: doc. Ing. Pavel Segeč, PhD. – Školiteľ špecialista: Ing. Peter Palúch, PhD. – stupeň odbornej kvalifikácie: Doktor v odbore Aplikovaná informatika. Žilina: FRI ŽU v Žiline, 2020. – 107 s. Cieľom predloženej diplomovej práce je vytvoriť odporúčania pre dizajn integrovaných smerovacích protokolov. Prvá časť práce popisuje súčasné integrované smerovacie protokoly, ich históriu a kľúčové vlastnosti. Následne popisuje identifikované triedy riešenia protokolovej integrovanosti na základe počtu susedstiev a protokolu využitého na transport smerovacích správ. V ďalšej časti sú popísané formálne metódy, z ktorých boli farbené Petriho siete vybraté ako prostriedok na vytvorenie modelov jednotlivých identifikovaných tried. Časť práce je venovaná detailnej analýze protokolu EIGRP, ktorý bol vybratý ako vzor pre modelovanie tretej triedy. V ďalších častiach práce sú detailne popísané a analyzované jednotlivé vytvorené modely tried riešenia protokolovej integrovanosti, následne verifikované a porovnané. Na základe porovnania modelov boli v poslednej časti práce formulované odporúčania pre dizajn integrovaných smerovacích protokolov. Kľúčové slová: odporúčania, smerovací protokol, susedské relácie, IPv4, IPv6

Kontšek, Martin: Neighbor Session Solutions for Integrated Routing Protocols. [Dissertation thesis] – University of Žilina, Faculty of Management Science and Informatics, Department of InfoComm Networks. – Tutor: doc. Ing. Pavel Segeč, PhD. – Specialist tutor: Ing. Peter Palúch, PhD. – Qualification level: Doctor of Applied Informatics. Žilina: FRI ŽU in Žilina, 2020. – 107 p. The aim of this dissertation thesis is to propose a methodology for design of integrated routing protocols. First part of the thesis describes currently used integrated routing protocols, their history and key features. The description of four identified classes of protocol integration based on number of neighbor sessions and protocol used for transport of routing messages is presented afterwards. Next part deals with summary of formal methods, one of which was selected as a tool to create a model of each protocol integration class. The selected formal method is named Colored Petri Nets. One part of the publication is devoted to detail analysis of EIGRP routing protocol, which was chosen as a base for model of the third protocol integration class. Following parts deal with detail description and analysis of created protocol integration class models, which are also verified and compared with each other. Based on the comparison of the each integration class model, last part formulates recommendations for integrated routing protocol design. Key words: recommendations, routing protocol, neighbor sessions, IPv4, IPv6