|
|
IoT Application Deployment Platform
Hrvol, Marek ; Smrčka, Aleš (referee) ; Kočí, Radek (advisor)
The aim of this work is simplifying deployment of Internet of Things in households or smaller companies and also reducing the need of maintenance of created network. Main goal of this web application is creating platform capable of deploying applications across ARM single-board computers. Moreover, application provides intuitive preview of all registered devices including its state, shows all the necessary data and informs user about failures on devices.
|
|
|
Server for Continuous Integration
Šajdík, Michal ; Fiedor, Tomáš (referee) ; Lengál, Ondřej (advisor)
Tato práce obsahuje popis následujících témat: jaké technologie a principy jsou potřebné pro vytvoření kontinuálního integračního serveru, již existující řešení, proč je potřeba jeden vytvořit a jak integrovat kontinuální integrační server, který byl vytvořen během této práce, na základě informací uvedených v této práci, do pracovního prostředí. Tato práce také ukazuje efekty a některé vedlejší účinky způsobené správnou a nesprávnou konfiguraci uvedeného serveru pro kontinuální integraci. Uvedený server pro kontinuální integraci je také schopen běžet na MS Windows 10 a Linuxu, aniž by bylo nutné přizpůsobit konfiguraci pro konkrétní operační systém.
|
|
|
Game Portal in Cloud
Rozsypálek, Václav ; Maliulin, Valerii (referee) ; Škoda, Petr (advisor)
This thesis describes the design and implementation of gaming portal in the cloud for one of the providers of Platform as a Service (PaaS). The main part of this work is the selection of appropriate technologies and their use in the design and implementation of gaming portal. The conclusion is written based on the results of testing load and scalability.
|
|
|
Data Transform Module for Digital Official Boards
Leonov, Martin ; Burget, Radek (referee) ; Rychlý, Marek (advisor)
The goal of this thesis was creation of application that will allow a universal way of getting data from electronic document and record management systems and their transformation to unified designed format. Interfaces for downloading, storing and transforming data were designed from knowledge of these systems. Created solution offers user configuration and easy way to add new data sources. Functionality was verified with using tools for continuous integration and continuous delivery.
|
|
|
Information System for Accommodation Services
Bargl, Vojtěch ; Burget, Radek (referee) ; Rychlý, Marek (advisor)
This bachelor thesis deals with microservice architecture. Main goals of this thesis is analysis of microservice architecture, comparison with monolith architecture and creation of a information system with the help of concepts revealed from the microservices architecture. This thesis reveals the volume of work that this architecture entails. The system is suitable for the management of apartments, users and reservations. This thesis describes the most important factors obtained from the analysis of this architecture, the process of specifying the domain of accommodation services and the development of the system itself with the help of the application of these concepts.
|
|
|
Parametric Properties for Log Checker
Čaládi, Filip ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
Plogchecker 2.0 is a tool for verification of user-defined properties over sequences of events in the traces of the program. The implementation of this tool mainly builds on the previous version of the tool Plogchecker. The main idea behind these tools is that the user has to specify system properties (parametric or non-parametric), make any program run records available to the verification tool and let the tool analyze. The analysis output is the report about the violation of specified properties with sequences of events that caused the error. This thesis proposes a new algorithm that optimizes the processing of event sequences against user-defined properties specifications. The optimizations are focused on both scalability as well as precision. Furthermore, it adds support for various parametric data types, such as string, number, date and time. Finally, it offers an easier and more comfortable way to specify such parametric properties. Throughout the series of experiments, it is shown that Plogchecker 2.0 is more scalable and precise compared to previous version of Plogchecker.
|
|
|
Analysis of webserver and domain security
Dvonč, Tomáš ; Lieskovan, Tomáš (referee) ; Ilgner, Petr (advisor)
The aim of the bachelor thesis was to analyze the security of web and e-mail servers. The work consists of three parts. The first part describes communication protocols and explains the basic difference between them. The second part describes the history of development of cryptographic protocols which are used to encrypt communication, prevent data capture and manipulation. Furthermore, the security architecture is presented, the way the client-server communication is implemented and the concept of the certification authority is clarified. In addition, the various security mechanisms that provide reliable communication over the Internet will be described. In the third part the main focus is to create a program that would automatically test the security features of the enclosed domain set. The Application was created in the Golang programming language using Docker. The result is security analysis statistics and security errors detection. Based on the data obtained, the user will be provided with current the security status of web and email servers.
|
|
|
High-Quality Visualization of Petri Nets for Publishing Purposes
Bednář, Drahoslav ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This work is trying to solve the problem of graphical visualization of Petri nets in text publications. The aim of the thesis is to create a tool that will simplify generating of Petri nets and at the same time provide a more aesthetic graphical output than existing tools do. A simplex algorithm was used for automatic network layout. The program has both graphical interface and text mode and can cooperate well with existing tools for working with Petri nets, which the text also mentions. The program is able to load a pnml file and produce a usable image in png, pdf, and svg formats.
|
|
| |
|
|
Parametric Properties for Log Checker
Čaládi, Filip ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
Plogchecker 2.0 is a tool for verification of user-defined properties over sequences of events in the traces of the program. The implementation of this tool mainly builds on the previous version of the tool Plogchecker. The main idea behind these tools is that the user has to specify system properties (parametric or non-parametric), make any program run records available to the verification tool and let the tool analyze. The analysis output is the report about the violation of specified properties with sequences of events that caused the error. This thesis proposes a new algorithm that optimizes the processing of event sequences against user-defined properties specifications. The optimizations are focused on both scalability as well as precision. Furthermore, it adds support for various parametric data types, such as string, number, date and time. Finally, it offers an easier and more comfortable way to specify such parametric properties. Throughout the series of experiments, it is shown that Plogchecker 2.0 is more scalable and precise compared to previous version of Plogchecker.
|
guest ::
