|
|
Překladač pro víceprocesorové systémy
Barteček, Jakub ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Tato bakalářská práce se zabývá podporou paralelního vykonávání programů na platformě EdkDSP. Nejdůležitější části práce tvoří analýza cílové platformy a návrh překladače. Návrh je zaměřen na překlad OpenMP pragmat do vícevláknového kódu a transformování specifických typů cyklů. Překladač byl implementován pomocí frameworku ROSE compiler a následně otestován.
|
|
|
Mobilní klient pro publikování fotografií
Paulíček, Ondřej ; Přikryl, Zdeněk (oponent) ; Burget, Radek (vedoucí práce)
Cílem práce bylo vytvořit aplikaci na platformě Windows Mobile 6 pro publikování fotografií svázaných s geografickými údaji na internetu. Aplikace bude umožňovat propojení fotografií s geografickými údaji za využití připojeného GPS zařízení a jejich následné odeslání na vybraný online publikační systém přímo z mobilního zařízení.
|
|
|
Statická analýza zdrojového kódu jazyka CodAL
Fajčík, Martin ; Přikryl, Zdeněk (oponent) ; Hynek, Jiří (vedoucí práce)
Cílem této bakalářské práce je návrh a implementace rozšíření editorů jazyka CodAL v oblasti statické analýzy zdrojového kódu tohoto jazyka a návrhu jeho automatických oprav. Tato forma analýzy je vhodná například pro ověření sémantické korektnosti zdrojového kódu. Práce se dělí na teoretickou a praktickou část. Teoretická část této práce obsahuje obeznámení se s tvorbou rozšíření pro vývojové prostředí z řad platformy Eclipse, zejména s editorem jazyka CodAL, jazykem CodAL a vytyčením chyb tohoto jazyka vhodných pro zpracování statickou analýzou. Praktická část se zabývá konkrétní implementací prvků statické analýzy zdrojového kódu jazyka CodAL a návrhu jeho automatických oprav. Rozšiřované editory jazyka CodAL jsou dostupné ve vývojovém prostředí Codasip Studio založeném především na platformě Eclipse a projektu CDT. Produkt Codasip Studio je vyvíjený společností Codasip ve spolupráci s výzkumnou skupinou Lissom.
|
|
|
Využití linuxových kontejnerů v HW/SW co-design
Juřica, Jiří ; Přikryl, Zdeněk (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce pojednává o možnostech nahrazení klasických virtuálních strojů linuxovými kontejnery. Cílem je vytvořit funkční systém ke spouštění paralelních úloh, které mají předchystané prostředí a slouží k testování a buildu softwaru. Pro kontejnerizaci byla zvolena platforma Docker, která je doplněna o automatickou konfiguraci počítačů, na kterých systém běží. Dále je tento systém rozšířen o propojení s nástrojem pro průběžnou integraci Jenkins. Vytvořené řešení pomohlo ověřit, že používání kontejnerů je efektivnější než starší technologie virtualizace. Doba provádění úloh tak byla zkrácena v průměru o 24 %. Přínosem této práce je srovnání dvou virtualizačních přístupů a uvedení do technologie Docker.
|
|
|
Automatizované testováni v FPGA
Valecký, David ; Přikryl, Zdeněk (oponent) ; Hruška, Tomáš (vedoucí práce)
Cílem této práce je analyzovat testování procesorů vyvíjených firmou Codasip a~zjistit, které z testů je vhodné provádět s~využitím technologie FPGA. Dále je cílem navrhnout a~implementovat systém na vzdálené konfigurování zařízení FPGA připojených k~centrálnímu serveru za účelem provádění testů. Systém byl naprogramován v jazyce Python s využitím architektury klient-server a frameworku Flask. Interakce serveru se zařízeními FPGA je zajištěna s pomocí sofwaru OpenOCD. Implementované řešení umožňuje uživateli zjistit stav připojených obvodů FPGA, nakonfigurovat tato zařízení a následně je využít k běhu testů. V rámci práce byly využity obvody FPGA řady Artix-7 firmy Xilinx, umístěné na vývojových deskách Digilent Nexys A7. Výsledné testování naprogramovaných čipů v FPGA reprezentující mikroprocesor je urychleno při použití FPGA zařízení. Jeho výsledky jsou v~některých případech na hardwarové reprezentaci rychlejší než při jeho simulaci.
|
|
|
Pokročilé techniky tranformací jazyka C do jazyků popisujících hardware
Michalik, Martin ; Křoustek, Jakub (oponent) ; Přikryl, Zdeněk (vedoucí práce)
Tato práce se zabývá návrhem a realizací transformací aplikovaných při převodu jazyka C, použitého k popisu chování v rámci specifikace architektury v jazyce CodAL, do jazyků pro popis hardware. Cílem realizovaných transformací je buď umožnění zkrácení doby výpočtu, zvýšení frekvence nebo zmenšení plochy oproti původnímu řešení. V práci je popsána pro- blematika převodu jazyka C do jazyků pro popis hardware a jsou zde popsány principy a analýza navrhovaných transformací. Výsledky transformací jsou zhodnoceny na základě vizualizace control data flow a register-transfer level grafů, simulace výsledných zdrojových souborů jazyka VHDL v programu ModelSim a pomocí syntézy těchto souborů v programu Xilinx ISE pro cílové FPGA Vertix 5.
|
|
|
Interaktivní zpětný assembler
Mrva, Milan ; Přikryl, Zdeněk (oponent) ; Křoustek, Jakub (vedoucí práce)
V práci jsou popsané postupy a nástroje zpětného inženýrství v rámci softwaru. Uvedené jsou techniky ochrany před rozkladem či zkoumáním obsahu spustitelného souboru. Představené jsou příklady programů zabývajících se zpětným překladem. Dále se práce zaobírá architekturou procesoru s důrazem na mikroprocesory Intel a Motorola. Jsou ukázané rozdílné formáty spustitelných souborů. Byl implementovaný generický modulovatelný zpětný assembler.V tomto textu je představená jak jeho struktura, tak zásuvné moduly, které prezentují tři různé techniky disassemblovaní. Jeden z modulů používa vícevláknový parser, který je vlastním návrhem autora. Tyto přístupy jsou v závěru porovnané a je nastíněn další vývoj.
|
|
|
Efektivní správa paměti ve vícevláknových aplikacích
Vašíček, Libor ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Tato práce popisuje návrh a implementaci efektivní správy paměti pro vícevláknové aplikace. Nejprve jsou popsány možnosti virtuální paměti, jež poskytují moderní operační systémy, mezi něž patří Microsoft Windows a Linux. Dále jsou vysvětleny nejpoužívanější algoritmy správy paměti. Jejich vlastnosti jsou následně vhodně použity při návrhu nového správce paměti. Výsledný návrh obsahuje určité nástroje pro ladění a měření výkonu aplikací. V závěru práce byla provedena série testů a zhodnocení dosažených výsledků.
|
|
|
Dynamická rekonfigurace hardwarových akcelerátorů
Brabec, Lukáš ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Práce se věnuje využití dynamické rekonfigurace FPGA v oblasti aplikačně specifických procesorů, a to zejména vzhledem k rychlosti jejich vývoje, možnostem akcelerace výpočtů a univerzality. Dále je navrženo rozšíření aplikačně specifického procesoru Codix o rekonfigurovatelnou jednotku a popsána její implementace. V závěru jsou shrnuty získané poznatky a nastíněny možnosti dalšího vývoje.
|
|
|
Technologie výroby nerotační součásti s přírubou
Přikryl, Zdeněk ; Hušek, Martin (oponent) ; Císařová, Michaela (vedoucí práce)
Práce pojednává o použití technologie tváření pro výrobu nerotačních součástí s přírubou. V úvodu se zabývá technologií tváření obecně. Dále zahrnuje problematiku tažení od jednoduchých až po tvarově složitější nerotační součásti s přírubou. V další části práce obsahuje zhodnocení způsobů výroby krytu řemenového převodu vzhledem k požadavkům na sériovost a výslednou přesnost a kvalitu. Navazující část obsahuje návrh technologie výroby krytu řemenového převodu pomocí tváření z plechu. V následujících částech se práce věnuje vypracování přesného technologického postupu výroby součásti, provedení technologických výpočtů a návrhu sestavy nástroje. Závěrem práce je technicko-ekonomické zhodnocení navržené technologie výroby.
|
host ::
RSS.