|
|
Firmware měřicí stanice pro bezdrátový sběr dat přes LoRaWAN
Jánoš, Vít ; Možný, Radek (oponent) ; Juráň, Radovan (vedoucí práce)
Tato práce se zabývá vývojem software s mikrokontrolérem STM32WL55-JC1. Vývojový kit byl zvolen především kvůli jeho LPWAN možnostem. Výsledný prototyp komunikuje prostřednictvím protokolu LoRaWAN, na aplikační server odesílá přes veřejnou síť The Things Network měřená data, jimiž jsou koncentrace oxidu uhličitého, teplota a tok oxidu uhličitého z půdy. Data jsou také společně s časovou značkou zálohována lokálně na SD kartu. Software byl navržen s ohledem na použití komorové měřící metody, která je v textu také popsána.
|
|
| |
|
|
Zpracování jazyka C v prohlížeči na bázi .NET
Kužela, Michal ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Cílem této práce je umožnit programování v jazyce C uvnitř prohlížeče a to i v režimu offline. Zaměřuje se na technologie .NET a WebAssembly. Implementace proběhla ve frameworku Blazor WebAssembly. Důraz byl kladen na pokrytí rozsahu jazyka C využívaného začínajícími programátory. Vytvořený interpret poskytuje prostředí pro programování v prohlížeči, obsahuje virtuální souborový systém a možnost vložení uživatelského vstupu. Výhodou tohoto řešení je možnost práce offline, krokování kódu a možnost okamžitého vyhodnocení kódu.
|
|
|
Detection of Expressions with Undefined Behavior in C Language
Hellebrandt, Lukáš ; Vojnar, Tomáš (oponent) ; Müller, Petr (vedoucí práce)
This thesis engages in detection of undefined behavior in the C language programs. We focus on undefined behavior stemming from incorrect work with sequence points and side effects. We perform a theoretical analysis and put terms like undefined behavior or side effect in context of the paper. Furthermore, we explain dangerousness of the constructs leading to undefined behavior. We propose a method for automated detection of the mentioned kind of undefined behavior. Finally, we design and implement a tool for its automated static detection and show the principles of the tool’s function. While designing the tool, contrary to current solutions, we stress functionality even in cases like accessing the memory via a pointer or from a called function. The thesis contains examples of dangerous constructs, functions of the created tool are demonstrated on some of them.
|
|
|
Převod výrazů v C do DIMACS formátu
Grim, Pavel ; Charvát, Lukáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se věnuje návrhu převodu výrazů zapsaných v programovacím jazyce C do formátu DIMACS a realizaci programu v jazyce C++ provádějící tento převod. V textu práce se nachází popis programovacího jazyka C a jeho operátorů. Dále obsahuje popis konjunktivní normální formy a popis formátu DIMACS. Následuje návrh vytvoření programu pro uskutečnění převodu z výrazu v programovacím jazyce C do formátu DIMACS a popis realizace programu provádějící tento převod.
|
|
|
Monitorovací systém testovacího zařízení elektrických motorů
Klecker, Jan ; Musil, Vladislav (oponent) ; Pavlík, Michal (vedoucí práce)
Obsahem této práce bude navrhnout systém pro měření teploty kritických částí testovací stolice pro měření vlastností pohonů s elektrickými motory firmy NXP. V rámci teoretické části bude analyzováno měření teploty pomocí teplotních senzorů a jejich připojení k mikrokontroléru. V praktické části pak bude realizováno samotné zařízení na měření a zpracování teploty. Jádrem celého zařízení bude mikrokontrolér z rodiny Kinetis MKVxx firmy NXP.
|
|
|
Detekce podobnosti zdrojových souborů v jazyce C
Rek, Petr ; Kučera, Jiří (oponent) ; Matula, Peter (vedoucí práce)
Tato práce se zabývá návrhem, implementací a testováním nástroje csim, sloužícího pro porovnávání podobnosti dvou souborů v jazyce C. Primárním účelem vzniku tohoto nástroje je testování zpětného překladače vyvíjeného společností AVG Technologies s.r.o. Testování je prováděno na základě podobnosti abstraktního syntaktického stromu původního a dekompilovaného souboru. Čtenář je tedy seznámen se základy problematiky zpětného inženýrství, zejména zpětným překladem binárního kódu do vyšší úrovně reprezentace. Dále je popsán koloběh, kterým kód prochází od jeho vytvoření až po zpětný překlad, a jeho vliv na tento proces. Čtenáři je také poskytnut přehled o projektu LLVM a překladači Clang, který je základním stavebním kamenem nástroje csim.
|
|
|
Příprava domácích úloh pro předmět Algoritmy
Řezáč, Jakub ; Peringer, Petr (oponent) ; Křena, Bohuslav (vedoucí práce)
Práce se zaměřuje zejména na implementaci domácích úloh pro předmět Algoritmy, jež je vyučován v druhém ročníku na Fakultě informačních technologií Vysokého učení technického v Brně. Pro vyhodnocování zmíněných domácích úloh je využit systém pro automatizované vyhodnocování domácích úloh. Součástí zadání této bakalářské práce je rovněž modifikování zmíněného systému.
|
|
|
Automatická tvorba testovacích případů z datových toků
Kraut, Daniel ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. Je zde nastíněn náhled na průběh tvorby testů a funkci CSP solverů, které jsou nezbytnou částí pro rozhodnutelnost těhto problémů. Statická analýza kódu je umožněna knihovnou LibTooling v projektu překladačového front-endu Clang. Jsou uvedeny výstupy z aplikace, jimiž jsou automaticky vytvořené vstupní hodnoty pro testovací případy.
|
|
|
Překladač podmnožiny jazyka C v Pythonu
Lichtner, Ondrej ; Kaštil, Jan (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Tato bakalařská práce se věnuje návrhu a implementaci překladače jazyka C pro mikrokontrolér PicoBlaze. V současnosti je vývoj aplikací pro tento mikrokontrolér limitován na použití asembleru. Cílem této práce je tedy vytvořit překladač, který bude snadno upravitelný a rozširitelný. Návrh a implementace jsou rozděleny do modulů, z kterých každý vykonává jinou fázi překladu. Moduly takhle mohou být jednoduše vyměněny nebo rozšířeny.
|
host ::
RSS.