Validation of Network Parameters Based on Network Monitoring

Diplomová práce představuje teoretický úvod, seznámení se s problematikou, návrh řešení a implementaci nástroje pro validaci parametrů sítě založeném na sledování síťového provozu. Nejprve je rozebrán současný stav návrhu počítačových sítí a jeho omezení. V důsledku toho je představen nový přístup pro realizaci a ověření požadovaného nastavení sítě využívající technik verifikace, simulace a validace. Po tomto úvodním zasazení práce do kontextu jsou dále zkoumány konkrétně validační techniky. Hlavním přínosem této práce je určení vhodných parametrů, které lze k validování použít a implementace nástroje zajištující proces validace. Síťový provoz charakterizující chování sítě je sbírán pomocí NetFlow technologie, která vytváří síťové toky a ty jsou následně vytvořeným nástrojem využity k validování požadovaných parametrů sítě, čímž se celkově ověří, zda byly hlavní požadavky kladené na danou počítačovou síť splněny nebo ne.The Master's Thesis presents a theoretical introduction, familiarization with the issue and a implementation for a solution of a "network parameter validation" tool, which is founded on principle of network traffic monitoring. Firstly, the current development of computer network setup is analyzed with its limitations. This is an initial point for an introduction of a new approach for implementation and verification of required network setting, which uses techniques of verification, simulation and validation. After the introduction into the context, validation techniques are specifically examined. The Thesis main contribution lies in the capacity to determine appropriate parameters, which can be used for validation and also for implementation of the tool, which ensures validation process. The network traffic, which characterizes the behavior of the network, is collected by NetFlow technology, which generates network flows. These flows are consequently used by the designed tool used for validation of required network parameters. This process overall verifies whether the main computer network requirements have been met or not.

A Modular Approach to Adaptive Reactive Streaming Systems

The latest generations of FPGA devices offer large resource counts that provide the headroom to implement large-scale and complex systems. However, there are increasing challenges for the designer, not just because of pure size and complexity, but also in harnessing effectively the flexibility and programmability of the FPGA. A central issue is the need to integrate modules from diverse sources to promote modular design and reuse. Further, the capability to perform dynamic partial reconfiguration (DPR) of FPGA devices means that implemented systems can be made reconfigurable, allowing components to be changed during operation. However, use of DPR typically requires low-level planning of the system implementation, adding to the design challenge. This dissertation presents ReShape: a high-level approach for designing systems by interconnecting modules, which gives a ‘plug and play’ look and feel to the designer, is supported by tools that carry out implementation and verification functions, and is carried through to support system reconfiguration during operation. The emphasis is on the inter-module connections and abstracting the communication patterns that are typical between modules – for example, the streaming of data that is common in many FPGA-based systems, or the reading and writing of data to and from memory modules. ShapeUp is also presented as the static precursor to ReShape. In both, the details of wiring and signaling are hidden from view, via metadata associated with individual modules. ReShape allows system reconfiguration at the module level, by supporting type checking of replacement modules and by managing the overall system implementation, via metadata associated with its FPGA floorplan. The methodology and tools have been implemented in a prototype for a broad domain-specific setting – networking systems – and have been validated on real telecommunications design projects