Hledat
Zobrazují se záznamy 71-80 z 190
Deadline Verification Using Model Checking, Deadline Verification Using Model Checking
; Vedoucí práce: Ratschan Stefan; Oponent práce: Schmidt Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-12)
V této práci je představena nová aplikace pro formální verifikaci splnění nejzazších termínů (deadlines) v jednoduchých programech pro mikrokontroléry, pracující na úrovni strojového kódu. V práci jsou studovány dosavadní ...
Zařízení pro sledovaní domácnosti pomocí vestavěných systémů využívající GSM síť k přenosu dat, Smart home embedded surveillance device communicating with a mobile network
; Vedoucí práce: Kubalík Pavel; Oponent práce: Miškovský Vojtěch (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-12)
Diplomová práce se zabývá navržením a realizací sledovacího zařízení pro internet věcí (IoT), které pomocí vestavěných systémů využívá GSM sítě. Vytvořené sledovací zařízení odesílá pořízené fotografie na vzdálený server ...
Maskování šifry AES na mikrořadiči a DPA druhého řádu, Masked AES cipher on a microcontroller and Second-order DPA
; Vedoucí práce: Buček Jiří; Oponent práce: Novotný Martin (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-02-01)
Práce je zam˘e˘rena na mo˘zné útoky pomocí diferenciální analýzy výkonu na maskované implementaci AES-128 na mikrokontroleru AVR. Implementace je rozd˘elenadot˘rí˘cástí. První˘cástobsahujenemaskovanéverzeAES-128. Druhá ...
Implementace lokalizačního systému s využitím bluetooth beaconů, Implementation of localization system with bluetooth beacons
; Vedoucí práce: Novák Tomáš; Oponent práce: Novotný Martin (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-13)
Cílem této práce je implementovat informační systém, který umožní lokalizaci Bluetooth majáků ve vnitřních prostorech firmy ASICentrum a zobrazit jejich polohu na mapě kancelářských prostor. Lokalizační systém využívá ...
Generátor elektrických obvodů pro předmět ČAO, Automatic analog circuit generator
; Vedoucí práce: Kubalík Pavel; Oponent práce: Kohlík Martin (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-13)
Tato práce se zabývá návrhem a implementací aplikace na generování elektrických obvodů pro předmět BI-ČAO. Výsledná aplikace umožňuje náhodné vygenerování obvodu se zvoleným počtem hran a součástek, výměnu jednotlivých ...
Analýza dat ze senzorů s využitím SoC ESP32, Analysis of sensoric data with SoC ESP32
; Vedoucí práce: Macejko Peter; Oponent práce: Černý Viktor (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-02-01)
Tato diplomová práce se zabývá analýzou pripojení a zpracování dat ze senzoru pomocí cipu ESP32 a zejména analýzou možností prenosu dat pomocí vestavené WiFi a sériové linky a predzpracování dat ze senzoru (mikrofonu) v ...
Programová výbava pro realizaci útoků postranními kanály, Software toolkit for side-channel attacks
; Vedoucí práce: Miškovský Vojtěch; Oponent práce: Novotný Martin (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-02-01)
Kryptoanalyza postrannich kanalu predstavuje vaznou hrozbu pro mnoho soucasnych kryptosystemu. Utok postrannim kanalem se typicky sklada z aktivni faze, tj. sberu dat, a z analyticke faze, tj. zkoumani a vyhodnocovani dat. ...
Výpočty nehomogenních spolehlivostních modelů, Nonhomogeneous dependability models calculations
; Vedoucí práce: Kohlík Martin; Oponent práce: Daňhel Martin (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-07)
V této diplomové práci je popsána metoda výpočtu spolehlivosti a distribuční funkce (selhání) Markovských řetězců s nehomogenními parametry (intenzitami poruch proměnnými v čase) a její implementace v programu Wolfram ...
Datalogger pro zařízení měřící spektrum ionizujícího záření, Datalogger for ionizing radiation spectrum measuring equipment
; Vedoucí práce: Štěpánek Filip; Oponent práce: Kohlík Martin (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-04)
Datalogger je zařízení zachycující data v čase. V rámci textu závěrečné práce je rozebíráno, jak vhodně navrhnout a realizovat datalogger v domácích podmínkách vhodný pro měření spektra ionizujícího záření. V rámci tohoto ...
Pokročilé metody simulace v jazyce SystemVerilog, Advanced simulation methods in SystemVerilog
; Vedoucí práce: Kohlík Martin; Oponent práce: Borecký Jaroslav (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-04)
Tato práce se zabývá prací s nástroji pro simulaci číslicových obvodů. V první části se práce zabývá seznámením se s konstrukcemi jazyka SystemVerilog a knihovny UVM. Dále práce otestuje nástroje pro vytváření testbenchů, ...