Theses

Ing. Martin Štěpánek

Ing. Josef Vogel, CSc.

Department of Software Engineering

As the automotive industry undergoes a rapid transformation towards connected electric vehicles and autonomous driving technologies, the need for advanced and promising communication solutions like Automotive Ethernet becomes paramount. This study delves into the relationship between driving automation, vehicle electronic architecture, and automotive networking, emphasizing the significance of Automotive Ethernet. Significantly, it explores the feasibility of signal manipulation within the Automotive Ethernet network for potential facilitation of vehicle testing, addressing the challenges involved. Eventually, the research leads to the development and testing of a software system designed for subtle signal manipulation, equipped to bypass security mechanisms mandated by functional safety standards.

Thesis on DSpace

Ing. Michal Valenta, Ph.D.

Ing. Marek Suchánek, Ph.D. et Ph.D.

Department of Software Engineering

The master's thesis deals with the transformation of ontological conceptual models into graph databases and with the implementation of related integrity constraints. At first, the thesis analyzes the suitability of several different graph database systems and justifies the choice of the Neo4j graph database as the most suitable one for the given purpose. Next, it introduces a comprehensive procedure for the transformation of OntoUML diagrams into a list of specific integrity constraints and describes the precise implementation of these integrity constraints in the Neo4j. The mentioned procedure is subsequently used for the instantiation of an example OntoUML model. Instantiated model is also tested in order to verify the correctness of the transformation procedure. Finally, the thesis discusses the achieved results and addresses possible future work. As a result, this thesis shows that it is possible to instantiate a valid OntoUML model in a graph database, yet it is not possible to use the same principles of instantiation for all types of graph databases.

Thesis on DSpace

prof. Ing. Michal Haindl, DrSc.

RNDr. Jakub Klímek, Ph.D.

Department of Software Engineering

Dozens and possibly hundreds of textural features have already been introduced, but any comprehensive evaluation and comparison of the features is still lacking. We study and describe monospectral and multispectral features and based on this we create a general methodology for measuring the information quality of textural features. In this methodology, we classify features into categories, which creates a generalization layer that allows features to be evaluated generally and automatically. We will then incorporate this methodology in the creation of a multispectral textural benchmark with a web portal that allows experimentation with features. We will explain all phases of development from analysis, design of the user interface and its testing, to the actual implementation of the system. The created benchmark is made up of several components and can be expanded with other features, datasets for statistics, and last but not least, it is computationally scalable both vertically and horizontally.

Thesis on DSpace

Ing. Jiří Chludil

Ing. Jan Matoušek

Department of Software Engineering

This thesis is mainly concerned with design and implementation of extension of the existing C++ testing framework CppUTest. The CppUTest already includes moderate support for work with mocks, however this work suggests extension of this support focused on s wider and more automatic usage of the mocks. First task of this thesis is to analyze and summarize software testing principles and techniques. The following task is to analyze existing C++ testing frameworks, the collected data from this analysis are then used to suggest and form new features for the CppUTest. The last task of this thesis is to examine usage of the developed extension via implementing a set of tests for the ETCS simulator project.

Thesis on DSpace

Ing. Marek Skotnica

Mgr. Ondřej Dvořák, Ph.D.

Department of Software Engineering

A Blockchain smart contract (SC) is an emerging technology that has the potential to revolutionize the practice of conducting legal contracts. The benefits of SC include, for example, the opportunity to eliminate the need for third-party authorities. However, one of the challenges associated with smart contracts, stalling their mass adoption, is the complex, highly technical method of creating them. DasContract is an ongoing research project that aims to address this challenge by defining a visual domain-specific language (DSL) that can be converted into executable smart contract code. This thesis contributes to the research project by designing and implementing a web application in the Blazor WebAssembly framework, which allows users to visually model smart contracts using the DasContract DSL. The thesis also explores the possibilities of deploying the implemented client-side Blazor web application as a standalone multi-platform application. The editor is fully open-source and is currently being utilized for conducting further SC research.

Thesis on DSpace

doc. Ing. Štěpán Starosta, Ph.D.

doc. Ing. Ivan Šimeček, Ph.D.

Department of Software Engineering

This diploma thesis focuses on the selection of appropriate technologies for the creation of interactive graphical visualizations of calculation output and on implementation of model examples designated to support the teaching of mathematical subjects with the use of proposed solution. First part of the thesis is dedicated to the analysis of available rendering systems. Subsequently, a list of model examples suitable for interactive demonstrations during a lecture is assembled. Afterwards the thesis focuses on the selection of a suitable rendering system, on the design and the implementation of a web application containing individual model examples, on the testing of this application and on its trial deployment. The output of this thesis is a finished web application implemented with the use of the Plotly library, which includes defined model examples such as function approximation with the help of Taylor polynomial or visualization of the method of Lagrange multipliers. The application supports easy creation of new visualizations and their integration with the MARAST teaching support system.

Thesis on DSpace

prof. Ing. RNDr. Martin Holeňa, CSc.

Department of Software Engineering

This thesis is dedicated to modifying an existing system for discriminant chronicles mining, resulting in a system for discriminant chronicles mining capable of handling multi-dimensional input data. The modified system will be applied to real-world data concerning crystal growth.

Thesis on DSpace

Ing. Michal Valenta, Ph.D.

Department of Software Engineering

This master's thesis describes analysis and design of bidirectional algorithm for transformation of X-definition and XML schema formats. Furthermore thesis discusses problematic parts of transformation of mentioned data formats. Final algorithm is implemented in Java programming language and using open source library named X-definition of company Syntea software group a.s as dependency.

Thesis on DSpace

Ing. Jiří Hunka

Ing. Pavel Štěpán

Department of Software Engineering

This master thesis deals with the redesign of the web administration interface of the Turris routers which are being developed by the CZ.NIC association. The main goal of this thesis is to design, implement and test a new extensible router administration interface, using modern approaches and technologies, which will replace existing solution. Entire implementation is based on the knowledge acquired in the analysis part. This thesis contains the analysis of the current Foris interface and competing products. It also describes the architecture, UX and UI design of the final solution. The output of this work also includes the new interface itself, tests for the code base and results of the usability testing.

Thesis on DSpace

Ing. Michal Valenta, Ph.D.

Department of Software Engineering

Although products of graph databases intended for distributed environments already exist, the data are usually distributed randomly on particular physical hosts without any subsequent load examination and possible data reorganization. This thesis analyses the current practices of data storage in distributed graph databases. According to this analysis, it designs and implements a new module of the general graph computing framework TinkerPop for logging the traffic generated with user queries. A separate implementation for storage of such logged data in the JanusGraph database is provided. It also executes a redistribution algorithm proposing a more efficient distribution of data. An existing Pregel-compliant algorithm of Vaquero et al. with substantial enhancements is applied. Results with 70-80% improvement of communication among physical hosts of the cluster are obtained, which is comparable to another well-known method Ja-be-Ja with much higher computational demands. On the other hand, the method in this thesis imposes a necessary slight imbalance of the cluster nodes. Finally, this thesis introduces suggestions for future extensions and enhancements.

Thesis on DSpace

Ing. Petr Špaček, Ph.D.

Department of Software Engineering

The processing of Big data has become a very popular and developing area of informatics in the past couple of years. As well as processing a large volume of mostly historical data it is very desirable to process large data in real time. This thesis first introduces and describes the currently used technologies for processing Big data, including those that allow processing in real time. The core of this thesis is the design and implementation of a distributed computing system prototype, which calculates queries that have registered a significant increase in fulltext web search both for historical data and for data in real time. Included in this thesis is also a prototype of an application, which visualises the computed values.

Thesis on DSpace

Ing. David Šenkýř

Ing. David Bernhauer

Department of Software Engineering

This diploma thesis describes the design and implementation of a mobile application for operating system iOS. The goal of the application is to improve the ability of hearing-impaired children to control their voice. The application consists of four animated games. VIPER architecture, game framework SpriteKit and a sound processing framework AudioKit were used during the implementation of this application.

Thesis on DSpace

Mgr. Ondřej Dvořák

Ing. David Šenkýř

Department of Software Engineering

This master's thesis looks at the evolvability of graphical user interface technologies. The text describes different architectures of these systems and their principles. It presents two different methodologies that focus on the concept of evolvability. It contains reasoning about approaches to transitioning from one graphical user interface technology to another. Overview of two .NET technologies their architecture categorization and evolvability evaluation. And an example application transition between the two technologies. The product of this thesis is on overview of all the aspects that play a role in a graphical user interface migration.

Thesis on DSpace

prof. Ing. Daniel Sýkora, Ph.D.

doc. Ing. Ivan Šimeček, Ph.D.

Department of Software Engineering

The problem of optical flow estimation is among fundamental objectives in the field of computer vision. During the past three decades, various solutions to it have been proposed - from classic algorithms to neural nets. In this thesis, we describe several methods and frameworks for optical flow estimation. We focus on the two algorithms that explicitly preserve local rigidity of the resulting flow field. In addition to providing the detailed description of the algorithms proper and a few related auxiliary concepts, we optimize the performance of a particular method - one of those that keep the flow locally rigid - by implementing it to run on the GPU. In the theoretical part, we study several optical flow estimation algorithms and describe GPU-specific optimizations for one of them. In the practical part, we evaluate and compare the quality of results produced by each of the reviewed methods. We also measure computational speed of the GPU-based version of the selected algorithm and compare it with the performance of the default sequential implementation. The testing is done on a real production video.

Thesis on DSpace

Ing. Jaroslav Kuchař, Ph.D.

Ing. Petr Špaček, Ph.D.

Department of Software Engineering

Main topic of this master thesis is usage of data stream mining techniques in news recommendation systems. In theoretical part are described principles of recommendation systems, data mining and data streams. In previous work are revised existing algorithms in this domain and platform, that can be used for evaluation of recommendation system. In the data mining part is described the process of gathering information from the data stream and analyzed data, that are used for experiments. Streaming algorithm implements various parameterized techniques for data stream mining. Experiments are divided by following heuristics: random selection, popularity, iterator and recently visited article. Evaluation of experiments is performed on StreamingRec platform. The conclusion summarizes the benefits of using data stream mining techniques in the news recommendation systems.

Thesis on DSpace

Ing. Michal Valenta, Ph.D.

Department of Software Engineering

The purpose of this thesis is to analyze and implement incremental updates of data lineage storage in the software tool Manta Flow. The basis of this work is the study of current data lineage storage in Manta Flow, research of existing solutions of incremental updates in version control systems, research of incremental backups in databases, analysis and design of a new solution of incremental updates in Manta Flow and a subsequent prototype implementation and performance testing execution. The resulting prototype can be deployed into the existing Manta Flow product, reducing time complexity of updates in data lineage storage in orders of magnitude.

Thesis on DSpace

Ing. Jakub Novák

doc. RNDr. Ing. Marcel Jiřina, Ph.D.

Department of Software Engineering

The diploma thesis concerns with the renewal of the DITHYRON program designed for thyroid disorder diagnostics during 1990s for MS-DOS operating system into a module form of contemporary Alma Diagnostics web application. The thesis contains detailed analysis of historical implementation shortcomings, which caused the program to be unsuitable for present usage, expansion and improvements. The thesis also analyzes present applications that are used to help with the disease diagnostics and problems that limit their expansion. Based on these findings a module for help with thyroid disorders diagnostics was designed and implemented.

Thesis on DSpace

doc. Ing. Robert Pergl, Ph.D.

prof. Jan Verelst

Department of Software Engineering

This thesis explores the topic of providing modeling and diagramming support for Normalized Systems constructed in the Prime Radiant tool using the OpenPonk modeling platform. The current state of the art of defining NS systems is summarized. The Normalized Systems theory, Prime Radiant, OpenPonk, and other framework used in the making of the modeler are introduced. The thesis then continues by analyzing the artifacts produced by the Prime Radiant that hold the definitions of NS systems. These artifacts are reverse engineered and a metamodel is constructed; both the process, and the result is discussed. Inspired by existing notations, such as Entity-Relationship diagrams, UML class diagrams, State Machine diagrams, and Flow diagrams, the existing NS diagramming notation is extended. It discusses various aspects not just of the notation itself, but also of the process of diagramming as a natural way to create the models. Several possibilities of forthcoming exploration are introduced. Modeling rules and validations are introduced and explored as a way to guide a user through possible pitfalls, and to raise the quality of the defined models. The implemented rules, the current state, and an approach relevent from mid- and long-term perspective is explored and discussed at length. As the main artifact of this thesis is a software project, testing, error tracking, and operations utilized in construction of the modeler are described. Finally, the achievements of this project are evaluated, and the path forward summarized.

Thesis on DSpace

doc. Ing. Pavel Kordík, Ph.D.

doc. RNDr. Ing. Marcel Jiřina, Ph.D.

Department of Software Engineering