|
|
Testing Framework for Automatic Tests of MCUXpresso Config Tools
Dubovský, Tomáš ; Strnadel, Josef (referee) ; Crha, Adam (advisor)
The aim of this thesis was to analyze the existing solution of the MCUXpresso Config Tools testing framework, to design and implement various optimization options that will lead to increased testing efficiency. Three ways of optimization have been designed and implemented based on profiling of the existing solution. The first is to unify the launch of external applications under the new module runner. The second is implementing concurrency in Python using multiprocessing, multithreading, and asyncio, then comparing each method and selecting the most appropriate one. The third is the implementation of support for chained entry of commands in commands line interface in MCUXpresso Config Tools.
|
|
|
Towards Parameterized Contract Validator in ANaConDA Framework
Mužikovská, Monika ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
This work deals with problematics of contracts for parallelism. It is a technique allowing to specify requirements for atomicity in parallel programs and to create automatic tools for detection of atomicity violation. ANaConDA framework provides dynamic analyser called Contract-validator which can detect contract violations in parallel programs. However, due to analysis without context, it can produce a lot of warnings about contract violation that are not considered as errors. The aim of this work was to design and implement a method supporting contracts extended with parameters and their constraints which will lead to more accurate results of the analysis. Experiments using newly created analyser on a set of benchmarks with known atomicity violations showed that analysis with parameters can reduce the results by dozens of reports that unnecessarily burdened developers and made it harder to reveal real errors.
|
|
|
An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs
Horňák, Michal ; Češka, Milan (referee) ; Vojnar, Tomáš (advisor)
The main goal of this thesis is to implement algorithm FastTrack for dynamic analysis of multi-threaded programs in C/C++. FastTrack is algorithm which detects data race errors. It is based on happens-before relation encoded into the vector-clocks.Vector-clocks allows extrapolation of the execution which improves detection of potential errors, which were not seen in the actual run of the program however in other executions they could cause problems. Algorithm is implemented into the framework ANaConDA. ANaConDA is a tool for implementation of dynamic analyzers of parallel programs on binary level. It provides neccessary run time program informations for detectors use to discover concurency errors.
|
|
|
Twitter Client for Apple TV
Zvara, Marek ; Kočí, Radek (referee) ; Hrubý, Martin (advisor)
This paper describes and analyses the tvOS platform and compares its advantages and disadvantages to the iOS platform. In addition, it offers an overview of the current state of the Twitter API.Based on this knowledge, it provides a description of the design, successful implementation and testing of the application. Twitter client works with basic features such as scrolling the timeline, retweet, like / unlike tweet, or responding to a tweet discussion.
|
|
|
Radar Altimeter for Ultralight Aircraft
Zahradník, Jiří ; Zemčík, Pavel (referee) ; Maršík, Lukáš (advisor)
In this bachelor thesis author designs a radar altimeter. In this thesis the emphasis is placed onto modular architecture and that is why this altimeter is designed as a group of independent modules communicating through BSD sockets. Software implementation is made in C++ and for sound generator is used library PulseAudio. Next topic is multithreading safety implementation of queue and stack which was made by template class to keep simplicity and generality.
|
|
|
Peer to peer systém pro vzdálené ovládání počítače
LEJTNAR, Michal
This thesis deals with creating of decentralized peer to peer system designed for remote control of computers. P2P network and single nodes in this network is inspired by hybrid peer-to-peer network architecture used by Skype application. The application uses terminal services available in operation system Windows for remote control of computers. Namely, MS Remote Desktop and MS Remote Assistance is used. The entire application is created in programing language C#.
|
|
|
GNSS navigation prototype messages visualization
Homolka, Martin ; Frýza, Tomáš (referee) ; Povalač, Aleš (advisor)
The aim of this thesis is to graphically interpret navigation messages from a prototype of global navigation satellite system. The resulting application is implemented in Python programming language for Windows operating system and follows requests from researchers developing the prototype. Necessary terminology together with graphical user interface programming possibilities of object-oriented language Python is a base for theoretical background of this text. Practical part of this research describes a solution for receiving generated messages from the prototype as well as their storing and filtering into useful information. Further, the design of graphical user interface of the application for prototype interactions and other tools used for its configuration are included.
|
|
|
Digital Stopwatch with 2 Times
Šilon, Peter ; Škarvada, Jaroslav (referee) ; Herrman, Tomáš (advisor)
The aim of my bachelor thesis is to suggest the appropriate connection of two starting and two stopping contacts to PC. The study is going to inform its readers about the opinions how to control the MS Windows ports. It concerns about the specific description of WinAPI functions as well as the solution for the direct accesion to the ports. Next chapters point at the issue of accurate time measurement on the application level and at the familiarisation with the proces of creation of the multithreading applications in MS Windows. The second part of bachelor thesis focus on extensional implementation of stopwatches based on microcontroller.
|
|
|
Parallel Application Development with Intel Threading Tools
Vadkerti, Ladislav ; Jaroš, Jiří (referee) ; Dvořák, Václav (advisor)
Today's trend in microprocessor design is increasing the number of execution cores within one single chip. Increasing the processor's clock speed reached its limit with growing power consumption. This trend brings new opportunities to software developers, as they can take advantage of real multithreading in their applications. But a lot of new problems to solve appear with threading compared to sequential programming. With proper design, threading can enhance performance by making better use of hardware resources. However, the improper use of threading can lead to performance degradation, unpredictible behavior, or error conditions that are difficult to solve. For this reason Intel developed a suite of tools, that can help software developers to analyze performance and detect coding errors in thread interactions. This thesis focuses on the examination of ways that this tools can be used in multithreaded application development.
|
|
|
Development of threads's applications in Java
ATTL, Karel
This diploma thesis is aimed at programming of multithreaded applications in Java. With Java 5 comes package java.util.concurrent, which in an important way makes developing of parallel applications easier and more effective. This work is conceived as an introduction to programming of multithreaded applications in Java and could be also used as an educational material. Theoretical introduction about processes and technological background of multitasking gives analogy to threads, at the same time it is touching on Java technology and how Java works with memory. The rest of this diploma thesis concerns practical work with threads. This topic is covered from absolute beginning, which means creating Thread objects, including advanced topics like working with package java.util.concurrent and also some problems that can appear when writing multithreaded applications.
|
guest ::
