Ing. Jan Bělohoubek, Ph.D.

Theses

Bachelor theses

Efficient Contact Organizer for Advanced Users

Author
Petr Krejčí
Year
2016
Type
Bachelor thesis
Supervisor
Ing. Jan Bělohoubek
Reviewers
Ing. Robert Hülle
Summary
The main topic of this thesis is managing contacts with application which can synchronize data from server. Thesis is divided into analysis of current solutions, requirement analysis, implementation analysis, supporting activities and implementation. Topic in chapters are focused on efficiency and implementation is focused on simplicity and readability of code. Thesis comes from Software engineering field so it contains parts about version control system, change management and development methodology.

The Radiogram Control Software Implementation

Author
Radek Hlaváček
Year
2017
Type
Bachelor thesis
Supervisor
Ing. Jan Bělohoubek
Reviewers
Ing. Josef Vogel, CSc.
Summary
This thesis is about design and implementation of the server running on Raspberry Pi 2, which can control radiogram. Application is implemented for Windows 10 IoT Core and even includes a client part. The server is implemented in C# with .NET Framework. The client application is a web application implemented with HTML and Javascript. The final product of this thesis is a radiogram that can be controlled by using the buttons on the radiogram or by the client web application.

Source Code Validator for Embedded Systems

Author
Jakub Šimek
Year
2017
Type
Bachelor thesis
Supervisor
Ing. Jan Bělohoubek
Reviewers
Ing. Miroslav Skrbek, Ph.D.
Summary
This bachelor's thesis first describes current coverage of CERT C Secure Coding Standard guidelines relevant to software development for simple embedded systems. The practical part then focuses on implementation of some guidelines of the Standard -- which were not previously well covered by freely available tools -- in a new extensible tool based on Clang's LibTooling library. The efficacy of the tools is then demonstrated on real projects' source code by finding very likely sources of errors.