|
|
Portable Stimulus Scenarios Specification for RISC-V Processor Modules
Bardonek, Petr ; Bidlo, Michal (referee) ; Zachariášová, Marcela (advisor)
The thesis is focused on the design and implementation of the portable stimulus verification scenarios for selected Berkelium processor modules based on RISC-V architecture from Codasip. The aim of this work is to use new standard for Portable Stimulus developed by Accellera organization to design and implement portable stimulus scenarios using the Questa InFact tool from Mentor. The proposed portable stimulus scenarios are then linked to the already existing verification environments of the UVM methodology and then they are used for verification of the Berkelium processor modules based on RISC-V architecture. The last part of the thesis is the evaluation of portability of the implemented scenarios to the individual levels of the Berkelium processor based on RISC-V architecture (IP blocks, subsystems, system level), in which it tries to use the proposed scenarios across all verificated levels.
|
|
|
Wireless Localization Module with Low-Power Firmware Based on RTOS
Lipka, Radim ; Bardonek, Petr (referee) ; Šimek, Václav (advisor)
This thesis focuses on the design and implementation of the wireless localization module, using UWB technology with emphases on low-power firmwre based on RTOS. Wireless localization is based on TDoA algorithm. The resulting HW module is designed as a four layer PCB, based on MCU crf52832 (ARM Cortex M4) and UWB module DevaWave DW1000. Firmware is implemented using FreeRTOS with emphasis on low power consumption. For hardware implementation, Eagle CAD was used. Firmware is implemented in C and Assembly programming languages.
|
|
|
Management and Automation of Enterprise Facility Heating System
Hartmann, Jiří ; Bardonek, Petr (referee) ; Šimek, Václav (advisor)
The aim of this work is to create a unified control and supervision system, SCADA, for controlling the heating and cooling of the company. The system is controlled by UniPi PLC units. Node-RED is used as control software. The user interface is created by an extension "dashboard". For communication between elements using the MQTT protocol. The InfluxDB database is used for data storage. The Grafana tool is used to visualize historical data. The majority of the created system consists of open software. The system is universal, expandable and it is possible to connect it with another system. The system can be used or adapted to similar problems of advanced heating control.
|
|
|
System for Opening a Window Based on the Temperature and CO2 Concentration in the Room
Jůza, Tadeáš ; Bardonek, Petr (referee) ; Tisovčík, Peter (advisor)
The purpose of this work is to enable an automated maintenance of fresh air in a room. Using automated ventilation, so the smallest possible heat losses occur. The data from sensors of indoor and outdoor temperature, CO2, humidity, and window opening status have been collected and analyzed. Then a suitable algorithm has been selected to accomplish the required values. The program also contains an algorithm for predicting the system's behavior so the controlled appliances (window and heating) work together appropriately.
|
|
|
Applications Based on Generator of Test Cases
Leonteva, Valeriia ; Bardonek, Petr (referee) ; Strnadel, Josef (advisor)
The aim of this bachelor's thesis is to create an overview of the current state of tools that allow automatic generation of test cases and select one tool to show how it works and its ability to generate executable tests. The UPPAAL program was chosen for the following work. Tool allows to create a model of the selected system using timed automata, verify and simulate its operation and create a test case for the system. In the results, the tool generates a path through the system, which can be saved in the form of executable test cases in any programming language. Three different systems were chosen for testing: a light switch system implemented in Java; 2-bit multiplier, which behavior is described by Verilog language; and a simplified elevator system, which working process is introduced in C language. As a result, executable test cases were obtained for selected systems along with their features such as system coverage, number of steps to achieve goals, and quality of generated paths.
|
|
|
Automated Creation of Portable Stimuli Scenarios Using Evolutionary Algorithms
Tichý, Andrej ; Bardonek, Petr (referee) ; Zachariášová, Marcela (advisor)
This thesis focuses on the automation of scenarios creation for Portable Stimulus standard. The main goal of the work is an automatic generation of tests, which are defined as graphs for the Questa inFact tool from the Mentor company. For the automation I used an evolutionary algorithm with using a grammatical evolution. The generated scenarios are connected to the existing verification environment based on UVM methodology, then the verification of the connected component is started. Based on the achieved functional and structural coverage, the individual's fitness value is calculated and propagated into an evolutionary algorithm. At the end of the work, experiments are performed on the timer component and the contribution of the proposed evolutionary algorithm is evaluated. The proposed evolutionary algorithm is configurable by grammar and user-defined basic transactions, which allows a wide range of uses. The evolutionary algorithm managed to achieve high functional and structural coverage on the verified timer component.
|
|
|
Machine Learning for Formal Language Model Inference
Bardonek, Petr ; Kocman, Radim (referee) ; Křivka, Zbyněk (advisor)
This bachelor thesis deals with the formal language model inference, which is a science discipline on the research field of artificial intelligence. The aim is to create an appliaction that allows the automatic inference of model, such as the finite state machine, for an unknown formal language from the set of the strings of the unknown formal language using the modified machine learning method.
|
|
|
Back-End Design for Analytical Dashboard of Positioning System
Hrivňák, Marek ; Bardonek, Petr (referee) ; Šimek, Václav (advisor)
This thesis deals with the optimization of the original solution and the design of a new solution for the storage and processing of positional data for the tool Sage Analytics of RTLS developed by Sewio Networks s.r.o. The objective of this study is to find and implement a solution to reduce the production time of Sage Analytics metrics. The optimized original solution provides in a very simple way (without the need to modify the implementation) significant acceleration in the production of metrics (for a time interval of 24 hours of displayed data) on average by up to 503 %. The proposed solution uses the InfluxDB database to store positional data and modifies the data processing in such a way, that it is compatible with the use of a new method of storing and retrieving positional data. The new solution also includes tests to check the correctness of the proposed solution. The application of this solution brings acceleration in the production of metrics (for the time interval of 24 hours of displayed data) from 725 % up to 2085 % and on average up to about 1010 %. Part of the work is also the performance of several experiments, which aim to reveal the reasons for the duration of metrics in Sage Analytics.
|
|
|
Back-End Design for Analytical Dashboard of Positioning System
Hrivňák, Marek ; Bardonek, Petr (referee) ; Šimek, Václav (advisor)
This thesis deals with the optimization of the original solution and the design of a new solution for the storage and processing of positional data for the tool Sage Analytics of RTLS developed by Sewio Networks s.r.o. The objective of this study is to find and implement a solution to reduce the production time of Sage Analytics metrics. The optimized original solution provides in a very simple way (without the need to modify the implementation) significant acceleration in the production of metrics (for a time interval of 24 hours of displayed data) on average by up to 503 %. The proposed solution uses the InfluxDB database to store positional data and modifies the data processing in such a way, that it is compatible with the use of a new method of storing and retrieving positional data. The new solution also includes tests to check the correctness of the proposed solution. The application of this solution brings acceleration in the production of metrics (for the time interval of 24 hours of displayed data) from 725 % up to 2085 % and on average up to about 1010 %. Part of the work is also the performance of several experiments, which aim to reveal the reasons for the duration of metrics in Sage Analytics.
|
|
|
Management and Automation of Enterprise Facility Heating System
Hartmann, Jiří ; Bardonek, Petr (referee) ; Šimek, Václav (advisor)
The aim of this work is to create a unified control and supervision system, SCADA, for controlling the heating and cooling of the company. The system is controlled by UniPi PLC units. Node-RED is used as control software. The user interface is created by an extension "dashboard". For communication between elements using the MQTT protocol. The InfluxDB database is used for data storage. The Grafana tool is used to visualize historical data. The majority of the created system consists of open software. The system is universal, expandable and it is possible to connect it with another system. The system can be used or adapted to similar problems of advanced heating control.
|
guest ::
