|
|
Program Similarity Recognition Based on Behaviour Analysis
Otočka, Dávid ; Vojnar, Tomáš (referee) ; Peringer, Petr (advisor)
The goal of this master thesis was to design an algorithm that will be able to measure the difference between two programs based on their behavioral description. For the algorithm needs, the Levenshtein distance method between two strings and NCD method, were used. Both methods have their implementation approach and test result described. This term also discusses various methods of program analysis in virtual machine environment, as well as explanation of some basic concepts regarding malware analysis.
|
|
|
Dynamic Analysis of Programs Using Library Calls
Malík, Viktor ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
The objective of this bachelor's thesis is development of dynamic software analysis which monitors library calls of analysed program. The proposed analyser doubles library call routines in order to create different program runs. These runs are then aggregated into a single control flow graph which can be used for subsequent program analysis. Monitoring and controlling the calls is realised via stubs and wrappers encapsulated within a dynamic shared library for GNU/Linux operating system. The proof of concept is shown on dynamic analyser focused on file system library calls.
|
|
|
An Automatic Configuration of Services of Operating System
Schiffer, Peter ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
This Master thesis describes the configuration of operating systems and their capabilities. It introduces differences between configuration of different operating systems according to their specialization, and it introduces advanced configuration of operating systems with third-party applications. The practical part of the thesis is a design of a new computer language aimed at describing a configuration of an operating system and its services. Such a description is used to automatically configure system services by translating it to a sequence of configuration commands. An advantage of the language is its readability by a human, but its similarity with natural languages introduces a certain level of ambiguity. The proposed method of automatic generation of commands deals with the ambiguity by searching and selecting as least as possible destructive commands.
|
|
|
Predator-Prey Simulation in JavaScript
Méry, Jozef ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
Študovanie populácie organizmov je veľmi užitočná oblasť výskumu. Dokáže pomôcť s predpovedaním, porozumením a možným zachovaním populácií. Táto bakalárska práca sa zameriava na modelovanie a simulovanie modelu dravec-korisť založeného na agentoch. Medzi najpodstatnejšie vlastnosti agentov patrí schopnosť zhlukovania založená na modeli boids vytvorený C. Reynoldsom, reprodukcia a mutácia. Výsledok tejto práce je konfigurovateľná prehliadačová aplikácia, ktorú možno použiť na simulovanie rôzných situácií a získanie štatistických údajov. Aplikácia obsahuje šablóny nastavení, ktoré boli simulované. Výsledky simulácií sú krátko zhodnotené.
|
|
|
Internet of Things with PNVM-Based Nodes
Korejtko, Tomáš ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
This thesis focuses on Internet of Things (IoT) and open-source technologies based on it. Specifically aims at software solutions relevant to smart home and compatible with Raspberry Pi platform and MQTT communication protocol. This thesis also focuses on studying Petri Net Virtual Machine (PNVM) and its potential application in IoT. The objective is to design integration of PNVM into IoT with help of existing software means compatible with MQTT and implement a demo application for smart home.
|
|
|
Simple 3D Printer Simulator
Čillo, Vladimír ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This thesis deals with design and implementation of 3D printer simulator in C++ using Qt. The simulator assumes a printer based on widely used method of 3D print - Fused Deposition Modeling. An input of simulator is a 3D model in STL file format. For the 3D model simulator provides an estimate of the total print time. Simulation also includes visualization of 3D print. The result is a cross-plaform program tested under Linux and Windows. Functionality of simulator has been tested by several experiments.
|
|
|
Simulation of Spread of Infectious Diseases in Human Population
Vaňo, Michal ; Peringer, Petr (referee) ; Strnadel, Josef (advisor)
Epidémie predstavujú trvalú hrozbu pre život a ekonomiku krajín. Napriek ich ničivému potenciálu, ich dopad je možné zjemniť študovaním chorôb, ktoré tieto epidémie spôsobujúu, a predpoveďou ich dosahu. Modelovanie epidémií je kľúčové pre pochopenie šírenia infekčných chorôb a hodnotenie účinnosti zdravotných zásahov. Táto bakalárska práca najprv predstavuje a porovnáva kompartmentálne a multiagentné modely, dva primárne prístupy v oblasti epidemiologického modelovania. Zvoleným prístupom pre túto prácu je multiagentné modelovanie, ktoré bolo dôkladne analyzované a následne transformované na abstraktný model šírenia chorôb. Model je navrhnutý tak, aby bol spustiteľný na akomkoľvek slovenskom meste a poskytol všestranný nástroj na pochopenie dynamiky chorôb v rôznych lokalitách. Abstraktný model bol implementovaný v Pythone. Záverečná časť práce pozostáva z vykonania experimentov na analýzu rôznych scenárov a rôznych opatrení. Tieto experimenty prispievajú k hlbšiemu pochopeniu dynamiky šírenia chorôb a môžu byť zdrojom informácií pri tvorbe politiky v oblasti verejného zdravia. Práca ponúka prehľadnú štúdiu rôznych prístupov k modelovaniu a vyvíja všestranný model založený na agentoch, ktorý je možné rozšíriť podľa dostupných údajov.
|
|
|
Automated Testing of Smart Card Authentication in GUI
Mach, Ondřej ; Smrčka, Aleš (referee) ; Peringer, Petr (advisor)
Cílem této práce je automatizovat testování běžných případů autentizace pomocí čipových karet v systému Red Hat Enterprise Linux (RHEL). Mezi ně patří přihlašování v GDM, použití funkce lock-on-removal v prostředí GNOME shell a odemykání systému. Protože tyto případy použití zahrnují interakci s přihlašovací obrazovkou, nelze použít běžné testovací nástroje. Výsledkem práce je modul v jazyce Python, který umožňuje snímat obrazovku a ovládat testovaný systém. Dále byla implementována sada běžných případů užití, které byly dříve testovány manuálně. Řešení bude použito ve firmě Red Hat k testování nových verzí systému RHEL.
|
|
|
Nástroj pro editaci a běh řídicích panelů pro IoT aplikace
Ryška, Andrej ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
This bachelor thesis analyses existing open source solutions for IoT devices with a focus on the presentation, processing and manipulation of data through the user interface of a web application. The goal of this thesis is to implement a custom solution based on the analysis, preferring simplicity, ease of configuration and user friendliness. The implemented application is to be compatible with Node-RED, Domoticz and Home Assistant via an MQTT broker, from which the application will draw data and manipulate the states of individual IoT devices
|
|
|
Program Instrumentation Enabling Coverage Measurement
Václavík, Jan ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
This thesis deals with the design and the implementation of the Ginstrum tool for compile time instrumentation of C programs. The tool is implemented as a GCC Plugin and instruments places in program that access memory, write to memory or call functions. The tool also provides compile information that can be used for the code coverage measurement during testing and dynamic analysis.
|
guest ::
