National Repository of Grey Literature 93 records found  1 - 10nextend  jump to record: Search took 0.00 seconds. 
Comparison of Freely Available Simulation Tools
Vysloužil, Robin ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This thesis compares different freely available simulation tools. The aim of the thesis is to document and compare tools implemented in Modelica, MATLAB and Python. Various simulation models are created for each language. The models were simulated and the results from simulation runs were evaluated.
Modular Simulator of Microcontroller
Vosyka, Pavel ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
In this thesis, free access existing microcontroller simulators were found. A microcontroller simulator with a graphical user interface was developed. The simulator is able to change between different microcontrollers. Surroundings of microcontroller's simulation are made of predefined electrical circuits, which can be arbitrarily connected with the microcontroller. The simulator was implemented and tested. Also, ATmega328p microcontroller was implemented in the simulator. 
A Tool for Post-Mortem Debugging
Kapičák, Peter ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
The goal of this work is checking specific properties in trace which program should meet or which it shouldn't meet. Properties and their description are basis of this tool for post-mortem debbuging. Properties are transformed to deterministic finite automaton for checking in trace and their description is important for searching events in trace. Events are pass to automaton as input. Output of a tool is report if properties are meet or not. Solution provides check of properties regardless of log format and shows events that preceded violation of the properties.
Generator of Test Runs over GUI
Sojčák, Juraj ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
Graphical user interfaces represent significant part of computer systems. This causes an increase of demands for their proper behavior, which can be achieved by a proper testing during development. This thesis describes the principles of model based testing for automated generation of test cases. In this way, the productivity of test teams can increase. The thesis defines model for modeling the most common GUI elements, algorithm for obtaining such a model from the GUI, and a tool for definition of coverage criteria.
Music Files Metadata Management
Saloň, Marek ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
The main goal of this bachelor thesis is to design and implement application that is able to process metadata of local music library. For this purpose, custom methods were implemented to ease and automate working with large number of files. One of the main means of automation is the use of internet services to obtain relevant information. This work describes the music files and methods of storing metadata, the structure and use of individual services, discusses possible extensions and, last but not least, evaluates the resulting implementation.
Fluid Dynamics Simulation Using Cellular Automata
Režňák, Michal ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
The main objective of this work was to create application for fluid flow simulation using Lattice Gas Cellular Automata. Used simulation models are HPP, FHP-I, FHP-II and FHP-III. The program is implemented in a C++ language in a way that it can run in WebAssembly web standard. Part of the work is comparison between wasm, ams.js formats and native desktop (x86_64). This shows that time for application loading in web browser is much smaller for wasm format than for asm.js and application performance in wasm format is about 24% higher than asm.js but 50% smaller than a native desktop. The application is suitable for educational purpose as a presentation of cellular automata simulation and also as an introduction to the Lattice Boltzmann method for fluid flow simulation.
A Static Analysis Tool Detecting Bugs in Signal Handlers
Kozovský, Daniel ; Vojnar, Tomáš (referee) ; Peringer, Petr (advisor)
This work is about the plugin csigsafe for the GCC compiler. It uses static code analysis to detect bugs in signal handlers according the POSIX norm. This tool analyzes the source files written in C and C ++. This analyzer is created for the Red Hat, which uses it to test sRPM packages used in their Linux distributions. The tool has been tested on a sample of 37 Open Source projects. Testing has shown the utility of the tool to search for errors associated with violation of rules for proper signal handling.
Coordination of MicroPython-Based IoT by Means of Node-RED
Kolář, Josef ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
The target of this thesis is to create means for using the Node-RED tool to coordinate physical nodes in the form of ESP32 chips in the Internet of Things. This is fulfilled by created Node-RED extension, the proposed MQTT channel protocol and custom firmware for these nodes. All of this suport deploy of diverse applications to nodes simultaneously side by side. The designed and implemented MicroPython firmware is capable of asynchronous operation of individual applications which provides an interface to communicate with the Node-RED. The functionality of this system has been successfully validated on the basis of two practical usage scenarios that demonstrate the possibility of direct use deployment system into practice in automation - even with the included firmware installer.
Reactive Programming in iOS Applications
Kříž, Matyáš ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
iOS development is built on asynchronous calls and parallelism. Keeping the asynchronous code clear and consise becomes increasingly more difficult with the size of an application. Multiple methodologies emerged to combat this problem. One of them is the reactive programming methodology. In my thesis I focused on creating a reactive methodology inspired by the core ReactiveX concepts with a simpler, more streamlined implementation.
Second SIM Slot as a Secure Element
Oškera, Jan ; Peringer, Petr (referee) ; Hanáček, Petr (advisor)
This bachelor thesis deals with design and implementation use of dual slot in GSM phone like security element. For this purpose, you need to create a SAM that supports GSM functionality. Or use existing SAM that support this functionality, such cards are called SIM/USIM.

National Repository of Grey Literature : 93 records found   1 - 10nextend  jump to record:
Interested in being notified about new results for this query?
Subscribe to the RSS feed.