|
|
Middleware for Testos Framework
Červinka, Radim ; Rogalewicz, Adam (referee) ; Smrčka, Aleš (advisor)
Cílem této práce je vytvořit komunikační sběrnici pro platformu Testos, což umožní nástrojům platformy spolu komunikovat a využívat navzájem svoje služby. V textu jsou prozkoum8na současná řešení a protokoly založené na modelu Publish-Subscribe. Dále také práce specifikuje požadavky na komunikační sběrnici vyhovující potřebám platformy Testos a také navrhuje řešení pro splnění daných požadavků. V rámci výzkumu byly prozkoumány tři řešení - MQTT, DDS a AMQP. Průzkum každého řešení byl zaměřen na způsob komunikace a hlavní funkční prvky. Jako startovací bod implementace sběrnice byl vybrán protokol MQTT. Tato práce také specifikuje jak tento protokol rozšířit, aby byly splněny požadavky na sběrnici. Mezi stěžejní rozšíření navrhnuté v rámci této práce patří management životního cyklu požadavků rozšiřující způsob doručování zpráv a mechanismus zasílání požadavků standardu MQTT. Protokol byl také rozšířen o možnost shlukování zpráv do BULK paketu za účelem snížení množství potřebných síťových zdrojů. Výsledkem je Testos Bus, který je postavený na upraveném a rozšířeném protokolu MQTT, který zahrunuje implementaci brokeru a klientských knihoven pro Python a C++. Testos Bus naplňuje všechny povinné požadavky platformy, což ověřují automatické testy.
|
|
|
OSLC Adapter for Software Analysis
Vašíček, Ondřej ; Hrubý, Martin (referee) ; Smrčka, Aleš (advisor)
Cílem této práce je poskytnout snadný způsob, jak rozšířit analyzační nástroj o rozhraní splňující standard OSLC. Takové rozhraní umožňuje jednoduchou integraci nástrojů s jinými nástroji nebo systémy, umožňuje jejich vzdálené použití skrze webové služby a umožňuje je jednoduše propojit s databází pro databázové dotazy a pro perzistentní uložení dat. Toto je dosaženo návrhem a implementací OSLC adaptéru pomocí sady nástrojů Eclipse Lyo. Adaptér používá jako rozhraní doménu OSLC Automation a je dostatečně univerzální na to, aby skrze toto rozhraní pokryl funkcionalitu většiny analyzačních nástrojů za pomocí jejich stávajících rozhraní na příkazové řádce. Tato práce poskytuje úvod k OSLC, Eclipse Lyo a souvisejícím konceptům. Dále tato práce definuje požadavky a odlišnosti různých analyzačních nástrojů a diskutuje návrh adaptéru a faktory, které ovlivnily návrhová rozhodnutí. A nakonec prezentuje implementovaný adaptér a jeho vyhodnocení pomocí automatizované testovací sady a pomocí experimentů s řadou analyzačních nástrojů. Nejvýznamnější ukazatel hodnocení vytvořeného adaptéru je to, že už teď je používán v praxi pro přidání OSLC rozhraní k nástrojům ANaConDA, Perun, Spectra (všechny tři vyvíjené na VeriFIT) a HiLiTE (Honeywell).
|
|
|
Dynamic Analysis of Parallel Applications Using .NET Framework
Ling, David ; Hrubý, Martin (referee) ; Smrčka, Aleš (advisor)
The thesis deals with a design and implementation of the dynamic analyser of parallel applications on the .NET Framework platform. The problematic of synchronization in parallel applications, the instrumentation of such an applications, testing of parallel applications and a specifics of these problems for C\# language and for the platform .NET Framework are discussed in the theoretical part. Selected algorithms for detection of deadlocks (the algorithm of Goodlock) and data-race errors (the algorithm of FastTrack and AtomRace) are described in detail in this part as well. Requirements for the dynamic analyser and the system design is made in the following part of this thesis. The thesis also contains a description of the implementation of the proposed solution, a description of the entire testing of the implemented tool. Last but not least, the thesis describes the sample of using dynamic analysers in a particular application environment.
|
|
|
Parametric Contracts for Concurrency in Java Programs
Žárský, Jan ; Křena, Bohuslav (referee) ; Smrčka, Aleš (advisor)
Contracts for concurrency describe required atomicity of method sequences in concurrent programs. This work proposes a dynamic analyzer to verify programs written in Java against contracts for concurrency. The analyzer was designed to detect violations of parametric contracts with spoilers. The proposed analyzer was implemented as an extension to the RoadRunner framework. Support for accessing the method arguments and return values was added to RoadRunner as a part of the solution. The analyzer was fully implemented and verified on a set of testing programs.
|
|
|
Training Manager for iOS
Kondek, Ondrej ; Smrčka, Aleš (referee) ; Hrubý, Martin (advisor)
This bachelor thesis describes a draft and the implementation of an iOS application. The application is meant to work as a tracking tool of user's physical activities with emphasis on simple data input using extensions such as voice assistent Siri, widget and context menu. The user can create records of their activities, show their own statistics but they are also able to share data between other users of the application. The thesis describes existing tools for iOS development, analysis of competitive applications, draft and implementation of the application and in the end its testing.
|
|
|
Disassembler and Analyser of Binary Code
Bayer, David ; Smrčka, Aleš (referee) ; Peringer, Petr (advisor)
This thesis is focused on binary code disassembly. It describes the design of ARM and AVR architectures and does a research into existing solutions. Based on this knowledge, we designed and implemented a disassembler-like application. The application provides a graphical user interface to facilitate the starting of disassembly and displays the result. The designed environment is extensible to more disassemblers, disassembly algorithms, and code analysis.
|
|
|
Supervision and Control System for a Hotel Implemented by IoT Means
Hockicko, Matej ; Smrčka, Aleš (referee) ; Janoušek, Vladimír (advisor)
This work solves the design and prototype implementation of supervision and control system for a hotel implemented by IoT means. The solution is based on ESP microcontrollers, which control the connected sensors and actuators. ESP devices are futher grouped and connected to central point within range. Using this point, MQTT communication is futher transmitted to the cloud. The cloud runs the IoT Core service, which allows to control and store the status of devices. There is also a Node-RED developmnet tool, in which a graphical interface was created for this system. The result of this work allows remote monitoring and control of the hotel using sensors and actuators connected to this network.
|
|
|
Mobile Sport Advisor for Athletics Training
Schmelcer, Lukáš ; Smrčka, Aleš (referee) ; Hrubý, Martin (advisor)
This bachelor thesis aims to design, implement and test a mobile training application for the iOS platform. The application should allow the user to meet running goals faster, while the risk of injury should be minimized. The application was designed to meet the requirements of the target group. Due to user frequent feedback, the final application has a very easy to understand user interface, in which the user has an overview of the planned running training.
|
|
|
The Tool for Assessing the Neatness of Source Code
Jahoda, David ; Smrčka, Aleš (referee) ; Veigend, Petr (advisor)
This work deals with creation of tool that would allow the checking and evaluation of neatness of source codes in the C language. The primary user group are students of Introduction to Programming Systems (IZP). The implementation considers the use of Clang-Tidy tool (extended with custom set of checks) and program that evaluates results of checks based on the input configuration. The created program is capable of scoring source code using 16 checks according to the configuration. These checks detect various beginners errors. Testing of the student projects revealed that the most common error is the use of so-called magic numbers. The program can be deployed in the Introduction to Programming Systems (IZP) course with appropriate student instruction.
|
|
|
Sports Manager for iOS
Hort, Jaroslav ; Smrčka, Aleš (referee) ; Hrubý, Martin (advisor)
This work discusses design, implementation, connection, testing and practical use of mobile application for iOS and supporting web application. I have analyzed the effects of music to sport and designed and implemented a fitting mobile application allowing users to collect data from their activities, music players and see the effects of music on them. During design and implementation, I have emphasised usability, expandability and synchronization with cloud storage, for this reason I have created a web application, allowing users to monitor their results captured from mobile anywhere.
|
guest ::
RSS feed.