|
|
Specifikace scénářů portovatelných stimulů pro moduly procesoru RISC-V
Bardonek, Petr ; Bidlo, Michal (oponent) ; Zachariášová, Marcela (vedoucí práce)
Práce se zabývá návrhem a implementací verifikačních scénářů portovatelných stimulů pro vybrané moduly procesoru Berkelium implementujícím architekturu RISC-V od společnosti Codasip. Cílem této práce je s využitím nového standardu pro Portable Stimulus připravovaného organizací Accellera navrhnout a implementovat scénáře portovatelných stimulů za použití nástroje Questa InFact od společnosti Mentor. Takto navržené scénáře portovatelných stimulů se připojí k již existujícím verifikačním prostředím vytvořených podle metodiky UVM a následně se pomocí nich provede verifikace modulů procesoru Berkelium implementujícím architekturu RISC-V. Poslední částí práce je vyhodnocení úrovně portovatelnosti implementovaných scénářů do jednotlivých úrovní procesoru Berkelium implementujícím architekturu RISC-V (IP bloky, subsystémy, systémy jako celek), kdy je snahou využít navržené scénáře napříč všemi verifikovanými úrovněmi.
|
|
|
Bezdrátový lokalizační modul s nízko-příkonovým firmware na bázi RTOS
Lipka, Radim ; Bardonek, Petr (oponent) ; Šimek, Václav (vedoucí práce)
Práce se zabývá návrhem a implementací bezdrátového lokalizačního modulu, který využívá technologii UWB v kombinaci s nízko-příkonovým firmware na bázi vestavěného RTOS systému. Lokalizace modulu probíhá za pomocí algoritmu TDoA. Výsledný HW modul je realizován jako vývojová dvouvrstvá DPS, založená na MCU nRF52832 (ARM, Cortex M4) a UWB modulu DecaWave DW1000. Výsledný firmware je implementován pod FreeRTOS systémem s důrazem na nízkou spotřebu. K návrhu HW je použit Eagle CAD a k implementaci firmware programovací jazyky C a Assembler.
|
|
|
Správa a automatizace systému vytápění podniku
Hartmann, Jiří ; Bardonek, Petr (oponent) ; Šimek, Václav (vedoucí práce)
Cílem této práce je vytvořit jednotný řídící a dohledový systém, SCADA, pro řízení vytápění a chlazení podniku. Systém je ovládán pomocí PLC jednotek UniPi. Jako řídící software je použit Node-RED. Uživatelské rozhraní tvoří rozšiřující modul dashboard. Komunikace prvků probíhá pomocí protokolu MQTT. Pro ukládání dat je využita databáze InfluxDB. Pro vizualizaci historických dat je použit nástroj Grafana. Vytvořený systém je z drtivé většiny tvořen otevřeným softwarem. Systém je univerzální, rozšiřitelný a je možnost propojit jej s jiným systémem. Systém je možné využít nebo upravit na podobné problémy pokročilého řízení vytápění.
|
|
|
Systém pro otevírání okna na základě teploty a koncentrace CO2 v místnosti
Jůza, Tadeáš ; Bardonek, Petr (oponent) ; Tisovčík, Peter (vedoucí práce)
Cílem práce je vytvořit systém pro udržování čerstvého vzduchu v obytné místnosti pomocí automatizovaného větrání, tak aby docházelo k co nejmenším tepelným ztrátám. Byla shromažďována a analyzována data z čidel vnitřní a venkovní teploty vzduchu, CO2, relativní vlhkosti a stavu otevření okna. Následně byl vybrán vhodný algoritmus pro docílení požadovaných hodnot. Program dále obsahuje algoritmus pro predikci chování systému, tak aby ovládané spotřebiče (okno a topení) vhodně spolupracovaly.
|
|
|
Aplikace založené na generátoru testovacích případů
Leonteva, Valeriia ; Bardonek, Petr (oponent) ; Strnadel, Josef (vedoucí práce)
Cílem této bakalářské práce je vytvořit přehled aktuálního stavu nástrojů, které umožňují automaticky generovat testovací případy. Dále na příkladu zvoleného nástroje ukázat způsob práce s ním a jeho schopnosti v generaci spustitelných testu. Pro následující práci byl vybrán nástroj UPPAAL, který umožňuje vytvořit model zvoleného systému pomocí časovaných automatů, ověřit a simulovat jeho běh a následně vytvořit testovací případ pro daný systém. Ve výsledku nástroj vygeneruje cestu průchodu systémem, kterou je možné uložit ve formě spustitelného testovacího případu a to v libovolném programovacím jazyce. Pro testování byly zvoleny tři různé systémy: systém vypínače světla, implementovaný v jazyce Java; 2-bitová násobička, jejíž chování je popsané pomocí jazyka Verilog; a systém zjednodušeného výtahu, který je představen v jazyce C. Ve výsledku byly získány spustitelné testovací případy pro zvolené systémy, spolu s jejich vlastnostmi jako pokrytí systému, počet kroků pro dosažení cílů a kvalita vygenerovaných cest.
|
|
|
Automatizace tvorby scénářů přenositelných stimulů pomocí evolučních algoritmů
Tichý, Andrej ; Bardonek, Petr (oponent) ; Zachariášová, Marcela (vedoucí práce)
Táto práca sa zaoberá automatizáciou tvorby scenárov pre štandard Portable Stimulus. Hlavným cieľom práce je automatické generovanie testov, ktoré sú definované formou grafu pre nástroj Questa InFact od spoločnosti Mentor. K automatizácii som použil evolučný algoritmus s využitím gramatickej evolúcie. Pri implementácii som využil framework PonyGe2, ktorý zastrešuje implementáciu niektorých variačných operátorov gramatickej evolúcie. Vygenerované scenáre sa pripoja k existujúcemu verifikačnému prostrediu, založenom na metodike UVM, a následne je spustená verifikácia pripojeného komponentu. Na základe dosiahnutého funkčného a štrukturálneho pokrytia je vypočítaná fitness hodnota jedinca, ktorá je propagovaná do evolučného algoritmu. V závere práce sú vykonané experimenty nad komponentom časovač a vyhodnotený prínos navrhnutého evolučného algoritmu. Navrhnutý evolučný algoritmus je konfigurovateľný pomocou gramatiky a užívateľom definovaných základných transakcií, čo umožňuje široké spektrum použitia. Evolučný algoritmus dokázal na verifikovanom komponente časovač dosiahnuť vysoké funkčné a štrukturálne pokrytie.
|
|
|
Strojové učení pro odvozování modelů formálních jazyků
Bardonek, Petr ; Kocman, Radim (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato bakalářská práce se zabývá odvozováním modelů formálních jazyků. Jedná se o vědní disciplínu na poli výzkumu umělé inteligence. Cílem je vytvořit aplikaci umožňující automatické vytvoření modelu, v podobě konečného automatu, pro neznámý formální jazyk na základě množiny řetězců neznámého formálního jazyka s využitím upravené metody strojového učení.
|
|
|
Návrh back-endu pro analytický dashboard pozičního systému
Hrivňák, Marek ; Bardonek, Petr (oponent) ; Šimek, Václav (vedoucí práce)
Táto práca sa zaoberá optimalizáciou pôvodného riešenia a navrhnutím nového riešenia pre ukladanie a spracovanie pozičných dát nástroja Sage Analytics systému RTLS vytvoreného spoločnosťou Sewio Networks s.r.o. Cieľom tejto práce je nájdenie a aplikácia spôsobu akým je možné skrátiť čas vyhotovenia metrík nástroja Sage Analytics. Optimalizáciou pôvodného riešenia v tejto práci sa podarilo jednoduchým spôsobom (bez nutnosti úpravy implementácie) výrazne zrýchliť proces zhotovovania metrík (pre časový interval 24 hodín zobrazovaných dát) v priemere až o 503 %. Navrhnuté riešenie využíva k ukladaniu pozičných dát databázu InfluxDB a upravuje spracovanie dát takým spôsobom, aby bolo kompatibilné s využitím nového spôsobu ukladania a získavania pozičných dát. Súčasťou nového riešenia je aj vytvorenie testov pre kontrolu správnosti navrhnutého riešenia. Aplikovanie tohto riešenia prináša zrýchlenie pri procese zhotovenia metrík (pre časový interval 24 hodín zobrazovaných dát) od 725 % až po 2085 % a v priemere až okolo 1010 %. Súčasťou práce je aj vykonanie niekoľkých experimentov, ktoré majú za cieľ priblížiť dôvody dĺžky trvania metrík v nástroji Sage Analytics.
|
|
|
Návrh back-endu pro analytický dashboard pozičního systému
Hrivňák, Marek ; Bardonek, Petr (oponent) ; Šimek, Václav (vedoucí práce)
Táto práca sa zaoberá optimalizáciou pôvodného riešenia a navrhnutím nového riešenia pre ukladanie a spracovanie pozičných dát nástroja Sage Analytics systému RTLS vytvoreného spoločnosťou Sewio Networks s.r.o. Cieľom tejto práce je nájdenie a aplikácia spôsobu akým je možné skrátiť čas vyhotovenia metrík nástroja Sage Analytics. Optimalizáciou pôvodného riešenia v tejto práci sa podarilo jednoduchým spôsobom (bez nutnosti úpravy implementácie) výrazne zrýchliť proces zhotovovania metrík (pre časový interval 24 hodín zobrazovaných dát) v priemere až o 503 %. Navrhnuté riešenie využíva k ukladaniu pozičných dát databázu InfluxDB a upravuje spracovanie dát takým spôsobom, aby bolo kompatibilné s využitím nového spôsobu ukladania a získavania pozičných dát. Súčasťou nového riešenia je aj vytvorenie testov pre kontrolu správnosti navrhnutého riešenia. Aplikovanie tohto riešenia prináša zrýchlenie pri procese zhotovenia metrík (pre časový interval 24 hodín zobrazovaných dát) od 725 % až po 2085 % a v priemere až okolo 1010 %. Súčasťou práce je aj vykonanie niekoľkých experimentov, ktoré majú za cieľ priblížiť dôvody dĺžky trvania metrík v nástroji Sage Analytics.
|
|
|
Správa a automatizace systému vytápění podniku
Hartmann, Jiří ; Bardonek, Petr (oponent) ; Šimek, Václav (vedoucí práce)
Cílem této práce je vytvořit jednotný řídící a dohledový systém, SCADA, pro řízení vytápění a chlazení podniku. Systém je ovládán pomocí PLC jednotek UniPi. Jako řídící software je použit Node-RED. Uživatelské rozhraní tvoří rozšiřující modul dashboard. Komunikace prvků probíhá pomocí protokolu MQTT. Pro ukládání dat je využita databáze InfluxDB. Pro vizualizaci historických dat je použit nástroj Grafana. Vytvořený systém je z drtivé většiny tvořen otevřeným softwarem. Systém je univerzální, rozšiřitelný a je možnost propojit jej s jiným systémem. Systém je možné využít nebo upravit na podobné problémy pokročilého řízení vytápění.
|
host ::
RSS.