|
|
User accounting in next generation networks
Grégr, Matěj ; Pustka,, Martin (oponent) ; Satrapa,, Pavel (oponent) ; Švéda, Miroslav (vedoucí práce)
The number of devices connected to the Internet is such enormous that it is impossible to assign a globally unique address to every device in today’s TCP/IPv4 architecture. Since the discussion how to solve the problem began in 1990s, there has been several proposals of new protocols and architectures trying to solve the problem. However, the only proposal that is widely deployed today is the IPv6 protocol. The IPv6 protocol enlarges the network address size, thus, it is possible to assign a globally unique IPv6 address to unlimited number of devices. Furthermore, the protocol introduces a paradigm shift, especially for address assignment and length of the IPv6 header. The IPv6 protocol is, however, incompatible with IPv4. To overcome the limitation, several transition mechanisms were proposed. The thesis discusses issues introduced by IPv6 protocol to user accounting process. In particular, it focuses on new approaches that can eliminate problems of current accounting methods that use NetFlow or IPFIX protocols. The aim of the thesis is to solve user accounting process for networks running a transition mechanism or a network address translation. Part of the thesis discusses the global IPv6 deployment and measures IPv6 penetration among content providers, internet service providers and transit operators.
|
|
|
Problematika měření a vyhodnocování impedance vypínací smyčky
Švéda, Miroslav ; Bárta, Jan (oponent) ; Veselka, František (vedoucí práce)
Práce je věnována problematice impedance vypínací smyčky. Je zde řešena problematika měření impedance vypínací smyčky, různé postupy měření a přesnost těchto měření. Dále se práce zabývá následným vyhodnocováním měření impedance vypínací smyčky a zápisem výsledků měření. Práce se také zaměřuje na impedanci vypínací smyčky z hlediska činnosti jistících prvků elektrizační soustavy. Nakonec je jako součást práce provedeno praktické měření impedance vypínací smyčky v reálných elektrických obvodech.
|
|
|
Network-wide Security Analysis
de Silva, Hidda Marakkala Gayan Ruchika ; Šafařík,, Jiří (oponent) ; Šlapal, Josef (oponent) ; Švéda, Miroslav (vedoucí práce)
The objective of the research is to model and analyze the effects of dynamic routing protocols. The thesis addresses the analysis of service reachability, configurations, routing and security filters on dynamic networks in the event of device or link failures. The research contains two main sections, namely, modeling and analysis. First section consists of modeling of network topology, protocol behaviors, device configurations and filters. In the modeling, graph algorithms, routing redistribution theory, relational algebra and temporal logics were used. For the analysis of reachability, a modified topology table was introduced. This is a unique centralized table for a given network and invariant for network states. For the analysis of configurations, a constraint-based analysis was developed by using XSD Prolog. Routing and redistribution were analyzed by using routing information bases and for analyzing the filtering rules, a SAT-based decision procedure was incorporated. A part of the analysis was integrated to a simulation tool at OMNeT++ environment. There are several innovations introduced in this thesis. Filtering network graph, modified topology table, general state to reduce the state space, modeling devices as filtering nodes and constraint-based analysis are the key innovations. Abstract network graph, forwarding device model and redistribution with routing information are extensions of the existing research. Finally, it can be concluded that this thesis discusses novel approaches, modeling methods and analysis techniques in the area of dynamic networks. Integration of these methods into a simulation tool will be a very demanding product for the network designers and the administrators.
|
|
|
A NEW DAWN OF NAMING, ADDRESSING AND ROUTING ON THE INTERNET
Veselý, Vladimír ; Muntan,, Jordi Perelló (oponent) ; Grasa, Eduard (oponent) ; Day, John (oponent) ; Švéda, Miroslav (vedoucí práce)
nternet of the year 2015 struggles with problems that are just implications of flawed naming and addressing the concept of TCP/IP, which have an impact on overall routing scalability. Problems such as default-free zone routing table growth, cumbersome multihoming or mobility motivate question whether the Internet deserves major architecture redesign. In the theoretical part, the impact of problems above is evaluated, solutions are discussed and unifying theory compiled and described using formal methods taking into account revered papers about naming, addressing and routing. This work provides in-depth Investigation of two technologies - Locator/Id Separation Protocol a Recursive InterNetwork Architecture. Research contribution is an operational improvement of above-mentioned technologies. New OMNeT++, full-fledged simulation modules compliant with behavior in the specification are used to as verification tool.
|
|
|
Síťová architektura a propojování vestavěných systémů
Trchalík, Roman ; Drábek, Vladimír (oponent) ; Srovnal, Vilém (oponent) ; Švéda, Miroslav (vedoucí práce)
Tato práce se věnuje architektuře vestavěných systémů. Shrnuje současný stav přijatých standardů z rodiny IEEE 1451, které se zabývají vytvářením prostředí pro senzory a jejich zapojení do různých komunikačních sítí. Tyto standardy popisují otevřenou a síťově nezávislou komunikační architekturu pro systém založený na senzorech. Těžištěm práce jsou architektury uvedené jako případové studie, které mohou být využity jako návrhové vzory vestavěných aplikací demonstrované na bezdrátové technologii ZigBee vhodné pro malá zařízení s velmi nízkou spotřebou elektrické energie. Na základě těchto studií jen navržena univerzální brána, která umožňuje aplikační propojení koncových uzlů z různých bezdrátových architektur určených pro senzorové sítě. Práce se dále zabývá modifikováním směrovacího protokolu v síti ZigBee s cílem snížit spotřebu elektrické energie na přenos jednoho datového paketu.
|
|
| |
|
|
Architektury systémů na Internetu se skupinovým adresováním
Veselý, Vladimír ; Matoušek, Petr (oponent) ; Švéda, Miroslav (vedoucí práce)
Spolu s rozvojem šíření multimediálního obsahu a aplikací s distribuovaným výpočtem napříč Internetem vzrostla důležitost optimalizace provozu, zde se jako nejlepší nástroj k dosažení cíle ukázal multicasting. Tato diplomová práce na téma skupinového směrování v Internetu klade důraz zejména na protokoly multicastem užívané, přičemž se snaží shrnuté poznatky aplikovat v konkrétním komerčním řešení a ozkoušet je tak v praxi s výstupem v podobě podrobného rozboru činnosti.
|
|
|
Návrh testů komunikace se skupinovým adresováním v IP
Stehura, Igor ; Matoušek, Petr (oponent) ; Švéda, Miroslav (vedoucí práce)
Táto diplomová práca sa zaoberá multicastom. Vysvetlená je adresácia na úrovni druhej a tretej vrstvy ISO/OSI modelu multicastového adresovania. Pre hžadanie optimálnych ciest multicastových paketov sieťou, routre v sieti používajú multicastové smerovacie protokoly, ktorými sa taktiež práca zaoberá. Sú to protokoly DVMRP, protokol PIM vo svojich dvoch režimoch, PIM Sparse Mode a PIM Dense Mode. Protokol DVMRP využíva k svojmu správnemu fungovaniu protokol IGMP, ktorý je tiež uvedený. V praktickej časti tejto práce sú uvedené zapojenia, na ktorých boli testy vykonané.
|
|
|
Připojování vestavěných systémů k intranetu
Damborský, Roman ; Ryšavý, Ondřej (oponent) ; Švéda, Miroslav (vedoucí práce)
Práce zkoumá možnosti připojování vestavěných systémů k intranetu. Bere v úvahu možné technologie a prostředky použitelné k řízení a sběru dat vzdálených senzorů. Zabývá se možnostmi standardu IEEE 1451.1, který definuje abstraktní rozhraní převodníku pro připojování čidel k sítím, aniž by specifikoval konkrétní implementaci komunikace mezi těmito entitami. Dále práce pokrývá návrh a implementaci systému založeného na architektuře popsané standardem IEEE 1451.1.
|
|
|
Performance Analysis in IP-Based Industrial Communication Networks
Beran, Jan ; Švéda, Miroslav (oponent) ; Hanzálek, Zdeněk (oponent) ; Zezulka, František (vedoucí práce)
With the growing scale of control systems and their distributed nature, communication networks have been gaining importance and new research challenges have been appearing. The major problem, contrary to previously used control systems with dedicated communication circuits, is time-varying delay of control and measurement signals introduced by packet-switched networks, such as Ethernet. The real-time issues in these networks have been tackled by proper adaptations. Nevertheless, market trend analyses foresee also future adoptions of IP-based communication networks in industrial automation for time-critical run-time data exchange. IP-based communication has only a limited support from the existing instrumentation in industrial automation. This challenge has recently been technically tackled within the Virtual Automation Networks (VAN) project by adopting the quality of service (QoS) architecture delivering soft-real-time communication behaviour. This dissertation focuses on the real-time performance aspects from the analytical point of view and provides means for applicability assessment of IP-based communication for future industrial applications. The main objective of this dissertation is establishment of a relevant modelling framework based on network calculus which will assist worst-case performance analysis of temporal behaviour of IP-based communication networks and networking devices intended for future use in industrial automation. Empirical analysis was used to identify dominant factors influencing the temporal performance of networking devices and for model parameter identification. The empirical analysis makes use of the TestQoS tool developed for this purpose. Minor extensions to the network calculus framework were proposed enabling to model the required temporal behaviour of networking devices. Several exemplary models were inferred as a result of classification of different networking device architectures and empirically identified dominant factors. A novel method for parameter identification was used with the modelled devices. Finally, two temporal models of networking devices (a switch and a router) were validated against empirical observations.
|
host ::
RSS.