Modelling of L2 Loop-Preventing Protocols

Práce popisuje současně používané technologie, které zajišťují bezsmyčkovost sítí na linkové vrstvě. Objasňuje základní problematiku Ethernetových sítí, následně popisuje protokoly zajišťující bezsmyčkovost - TRILL a SPB. Pro každý z vybraných protokolů jsou uvedeny výhody i nevýhody a jsou porovnány s ostatními technologiemi. V praktické části je popsána prvotní implementace protokolu IS-IS v prostředí OMNeT++, který slouží jako základní stavební kámen TRILLu. Důležitým tématem je ověření správnosti implementace.This thesis informs about currently used technologies, which provide loop protection on data link layer of computer networks. It clarifies issues of Ethernet networks. Chosen protocols are then closely described. There are presented advantages and disadvantages of chosen protocols and they are compared to other technologies. Practical section describes the initial implementation of IS-IS in OMNeT++ environment, which serves as the basic building block of TRILL protocol. An important issue is to verify correctness of implementation.