Master Theses - 18103

 

Now showing items 1-20 of 62

    • Bezpečnostní analýza řídící jednotky pro automobily 

      Author: Matúš Olekšák; Supervisor: Miškovský Vojtěch; Opponent: Socha Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-02)
      Tato práce se zabývá testováním zabezpečení řídicích jednotek pro automobily, konkrétněji zabezpečenou komunikací po sběrnici CAN. Byl zkoušen útok postranním kanálem, nahrání upraveného firmwaru a vyčtení bootloaderu přes ...

    • Simulace procesorů v jazyce SystemVerilog 

      Author: Vojtěch Jílek; Supervisor: Kohlík Martin; Opponent: Kašpar Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-02)
      Tato práce se zabývá návrhem simulačních prostředí pro simulaci procesorů v jazyce SystemVerilog. K simulaci procesorů je využita knihovna UVM, její registrový model a vývojové prostředí QuestaSim. V této práci je navrženo ...

    • Chytrý dům 4.0 

      Author: Jakub Kyzek; Supervisor: Daňhel Martin; Opponent: Štěpánek Filip
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-02)
      Tato práce se zabývá návrhem a implementací systému pro chytrou domácnost jako součást projektu společnosti Kyvit s.r.o. Projekt volně navazuje na myšlenky a realizaci představenou v bakalářské práci Návrh a implementace ...

    • Digitální realizace elektronických výhybek pro reproduktorové soustavy 

      Author: Pavel Dohnal; Supervisor: Kyncl Jan; Opponent: Socha Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-02)
      Tato práce popisuje, jakým způsobem lze navrhnout digitální reproduktorovou výhybku, která implementuje zadané přenosové funkce. Dále porovnává implementaci výhybky Eulerovou metodou, metodou Runge Kutta a implementaci ...

    • FPGA IP jádro pro síťové rozhraní s podporou v Linuxu 

      Author: Jan Brokeš; Supervisor: Beneš Tomáš; Opponent: Hynek Karel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-27)
      Cílem práce je implementace IP jádra, které zpracovává SFP 10G nebo 1G signál na desce ZC706 do formy paketů. Ty potom filtruje podle cílového portu, určené pakety posílá na AXI Stream rozhraní v FPGA logice. Veškterý zbylý ...

    • FPGA akcelerace baby varianty schématu WTFHE 

      Author: Pavel Chytrý; Supervisor: Novotný Martin; Opponent: Klemsa Jakub
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-27)
      S nárůstem cloudových výpočeních služeb je soukromí osobních údajů často v otázce, jelikož k nim má poskytovatel služeb plný přístup. Tuto situaci dále zhoršují zařízení, které mají přístup k soukromým datům uživatelů, ale ...

    • Robustní zavaděč paměti flash pro mikrokontrolér pracující přes rozhraní NFC. 

      Author: Jitka Seménková; Supervisor: Hušák Jiří; Opponent: Hülle Robert
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-27)
      Tato práce obsahuje návrh a implementaci zavaděče flash paměti pro mikrokontroler s architekturou RISC-V. Zavaděč přenáší novou aplikaci přes rozhraní NFC, tvořené deskou NTAG5 link. Součástí práce je i návrh a implementace ...

    • Datalogger pro zařízení měřící spektrum ionizujícího záření 

      Author: Libor Kuchař; Supervisor: Štěpánek Filip; Opponent: 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 

      Author: Miroslav Kallus; Supervisor: Kohlík Martin; Opponent: 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ů, ...

    • Řízení modelů autonomních vozidel 

      Author: Petr Kolář; Supervisor: Skrbek Miroslav; Opponent: Šimeček Ivan
      (Č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á řízením modelu autonomního vozidla, založeného na minipočítači Raspberry Pi. Model vozidla byl doplněn o senzory pro měření vzdálenosti a inkrementální čidla pro měření ujeté vzdálenosti, směru a ...

    • Hardwarový přípravek pro přesné zacílení pohledu kamery v místnosti 

      Author: Zuzana Jiránková; Supervisor: Novák Jakub; Opponent: Novotný 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)
      Cílem práce je vytvoření hardwarového přípravku pro zacílení pohledu průmyslové kamery, aby bylo možné získat vyšší rozlišení v zvolené oblasti zájmu. Zvoleným řešením bylo využití dvou kamer. Jedna je přehledová a druhá ...

    • Určování míry podobnosti logických obvodů založené na grafových algoritmech 

      Author: Janusz Piotr Wijas; Supervisor: Fišer Petr; Opponent: Bělohoubek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-01-29)
      Tato práce se věnuje výpočtu podobností logických obvodů a zkoumáním závislosti \uv{common-mode} poruch na těchto podobnostech. Nejprve je provedena analýza existujících řešení se zaměřením na grafové algoritmy a návrh ...

    • Návrh a verifikace integrovaného obvodu pro testování pamětí typu SRAM 

      Author: Šimon Branda; Supervisor: Novák Tomáš; Opponent: Novotný Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-01-29)
      V této práci je rozebrán návrh testovacího čipu pamětí typu SRAM. Nejdříve jsou paměti rozdělené dle jejich vlastností, poté jsou analyzovány paměti SRAM a je vysvětlen RTL návrh testovacího čipu, který byl napsán v jazyce ...

    • Návrh spolehlivých systémů v FPGA s použitím bezpečnostních kódů 

      Author: Vojtěch Pail; Supervisor: Kubalík Pavel; Opponent: Fišer Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-01-29)
      Cílem této práce je analýza poruchového chování obvodů pomocí simulačního softwaru KČN. Pro obvody jsou nalezeny vhodné bezpečnostní kódy, které jsou schopné detekovat, případně opravovat tyto poruchy s co nejmenší redundancí. ...

    • Výběr bitů pro SRAM PUF levného mikrokontroléru 

      Author: Gabriela Hánová; Supervisor: Lórencz Róbert; Opponent: Kodýtek Filip
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-26)
      Tato práce se věnuje fyzicky neklonovatelným funkcím (Physical Unclonable Function - PUF) a metodám výběru bitů pro PUF na nízkonákladovém mikrokontroléru. Nejprve je provedena rešerše týkající se problematiky PUF se ...

    • Vliv nastavení syntézních parametrů na odolnost proti útokům postranními kanály 

      Author: Tomáš Balihar; Supervisor: Novotný Martin; Opponent: 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-08-26)
      Aby byl návrh kryptografického obvodu použitelný, musí být hlavně bezpečný. Útoky postranními kanály jsou čím dál jednodušeji proveditelné a návrháři obvodů musí věnovat velkou část svého času implementaci obran proti těmto ...

    • Automatické testování infotainment jednotek 

      Author: Jan Kubát; Supervisor: Daňhel Martin; Opponent: Zimmerhakl Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-26)
      Tato diplomová práce se zabývá automatickým testováním infotainment jednotky automobilu. Práce podává teoretické informace o skriptovacím jazyce TCL a sběrnici CAN, které představují základ pro vytvoření automatických ...

    • implementace funkce way-back s pomoci GPS do ultra low power MCU 

      Author: Richard Stanko; Supervisor: Hušák Jiří; Opponent: Skrbek Miroslav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-26)
      V tejto práci sa pojednáva o navigácii na globálnej úrovni, Bluetooth low energy a ich využitie v reálnej aplikácii, hodiniek, ktoré využívajú tieto technológie. V prvej kapitole sa zoznámime s technológiami využívaných v ...

    • Určování míry podobnosti logických obvodů založené na grafových algoritmech 

      Author: Janusz Piotr Wijas; Supervisor: Fišer Petr; Opponent: Bělohoubek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-26)
      Tato diplomová práce se zabývá problémem porovnávání logických obvodů pomocí grafových algoritmů.

    • Deadline Verification Using Model Checking 

      Author: Jan Onderka; Supervisor: Ratschan Stefan; Opponent: 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í ...