|
|
Překlad C++ aplikací pro vestavěná zařízení
Nosterský, Milan ; Přikryl, Zdeněk (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato diplomová práce se zabývá přidáním podpory překladu jazyka C++ a jeho standardu C++11 v rámci překladače pro vestavěné systémy. Překladač, založený na projektu LLVM se generuje v rámci prostředí Codasip Studia. Toto prostředí slouží pro návrh procesorů s aplikačně specifickou instrukční sadou, kdy umožňuje na základě popisu sémantiky instrukční sady generovat překladač pro libovolnou cílovou architekturu. Jazyk C++ je jazyk vycházející z jazyka C, rozšířený o objektovou orientaci a několik nových funkcionalit. Jazyk C++ umožňuje psát velmi efektivní kód na vysoké úrovni abstrakce. V rámci testovací fáze je implementace podpory jazyka C++ ověřena na modelech procesorových jader s využitím testovací sady.
|
|
|
Creepová životnost vysokomolekulárního polyethylenu (HDPE)
Patzelt, Petr ; Přikryl, Zdeněk (oponent) ; Petrůj, Jaroslav (vedoucí práce)
V teoretické části předložené diplomové práce se uvádí popis materiálových vlastností a testovacích parametrů, které mají vliv na průběh SCG. Experimentální část je zaměřená na porovnání vlivů různých podmínek na průběh FNCT a PENT. Zvolené teploty pro PENT byly 70; 80 a 90 °C a nominální napětí byla 2,0; 2,4 a 2,8 MPa. U FNCT bylo zvoleno ligamentální napětí 4 MPa pro všechna zvolená média, kterými byla voda, roztok Arkopalu N110 a roztok Dehytonu PL. Dále byla proměřena řada ligamentálních napětí 3; 4; 5; 6; 8 a 10 MPa v roztoku Arkopalu N110 při teplotě 80 °C. Následovalo studium morfologie lomových ploch těles. Naměřená data byla následně vyhodnocena pomocí pětiparametrické rovnice.
|
|
|
Transformace popisu procesoru v jazyce CodAL do struktur SystemC
Ondruš, Tomáš ; Hynek, Jiří (oponent) ; Přikryl, Zdeněk (vedoucí práce)
Cílem této práce je vytvořit generátor simulátorů a hardwarové reprezentace aplikačne specifických procesorů v jazyce SystemC. Prvním úkolem je vytvořit zapouzdřující vrstvu kompatibilní se SystemC TLM 2.0, která zapouzdřuje existující simulátor pro potřeby transakčně orientovaných systémů. Druhý úkolem je vytvořit generátor hardwarové reprezentace procesoru. Vygenerovaný kód je vhodný nejen k syntéze procesoru, ale také k simulaci na úrovní cyklů. Výsledné řešení dosahuje komerčních kvalit srovnatelných s existujícími generátory.
|
|
|
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.
|
|
|
Emulace paměťových subsystémů v multiprocesorovém prostředí
Rajčok, Andrej ; Husár, Adam (oponent) ; Přikryl, Zdeněk (vedoucí práce)
Táto práce rozebíra problém návrhu emulačné platformy pro mutiprocesorové systémy so sdílenou paměťí. V tejto práci je řešený problém multiprocesorove komunikace, rozebírají se různé komunikační systémy používané na komunikáci medzi procesormi a protokoly zajišťujícího koherenci dat. Jedno z řešenní je vybraté a je vypracován návrh a implementace do integrovaného vývojového prostredí. Na konci se analyzuje vytvořen emulačný systém s ohledem na jeho vlastnosti jako rýchlost a paměťová náročnost.
|
|
|
Emulátor jednoduchého procesoru
Kuzník, Petr ; Přikryl, Zdeněk (oponent) ; Křoustek, Jakub (vedoucí práce)
Emulátor bude navržen jako obecný, schopný emulovat různorodé architektury. Jednotlivé architektury budou v samostatných modulech implementovaných jako dynamicky linkované dll knihovny. Hlavním cílem je dosáhnout právě obecnosti emulátoru a navrhnout jeho strukturu takovým způsobem, aby bylo možné jednoduše přidávat nové architektury a s použitím již implementovaných abstrakcí tyto architektury vytvářet. Hlavní implementovanou architekturou bude Commodore 64, předchůdce dnešních osobních počítačů, používaný v 80. letech hlavně v USA.
|
|
|
Generátor manuálu instrukční sady
Křen, Michal ; Přikryl, Zdeněk (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato bakalářská práce se zabývá vytvořením generátoru manuálu instrukční sady, který je součástí projektu Lissom. Model mikroprocesoru je popsán v jazyce ISAC pro popis architektury mikroprocesoru i instrukční sady, kde si vývojář k jednotlivým deklaracím doplní speciálně formátované komentáře. Na základě těchto údajů jsou do manuálu vybrány pouze patřičné informace a nalezeny vztahy mezi nimi. Pro generování instrukcí je využit mezijazyk pro generátor překladače jazyka C. Výsledný dokument manuálu je uložen ve formátu RTF a obsahuje dvě části. V první je uveden přehled všech zdrojů procesoru a ve druhé je seznam všech instrukcí.
|
|
|
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.
|
|
|
Aplikace pro odhalování plagiátů u rozsáhlých projektů
Kačic, Matej ; Přikryl, Zdeněk (oponent) ; Lukáš, Roman (vedoucí práce)
Cieľom práce je vytvoriť aplikáciu, ktorá rozpozná plagiáty v programovom kóde v projektoch bez kostry. Zaoberá sa konštrukciami v jazyku C a C++ a ich následným použitím pri detekcii plagiátov. Projekty prejdú fázami preprocesora, lexikálnej analýzy a tvorby porovnávacej štruktúry. Následne sa porovnávajú štatistickým testom a "Body" testom založeným na Najdlhšej spoločnej podpostupnosti.
|
|
| |
host ::
RSS.