|
|
Systém souborů s velkými bloky
Rajman, Jakub ; Lampa, Petr (oponent) ; Čejka, Rudolf (vedoucí práce)
Diplomová práce pojednává o návrhu a implementaci souborového systému s velkými bloky pro operační systém FreeBSD. Úvod dokumentu je věnován teoretickému rozboru, který se nejprve zabývá historií, významem a použitím souborových systémů. V následující kapitole je popsána architektura souborového systému UFS/FFS. V části věnované implementaci je zpočátku představen návrh nového souborového systému, který vychází ze systému souborů MSDOSFS, a posléze detailně popsána implementace tohoto systému pro operační systém FreeBSD. Velký důraz je kladen na popis všech možných problémů, které mohou nastat během programování.
|
|
|
Bateriově napájený koncentrátor dat s mikrokontrolérem
Andrýs, Jiří ; Beran, Jan (oponent) ; Bradáč, Zdeněk (vedoucí práce)
V návrhu jsou uvedeny postupy pro omezení energetické spotřeby bateriových zařízení. Je implementováno sofwarové SPI pro MMC kartu a souborový systém FAT16 bez rozšíření VFAT (Virtual File Allocation Table) – LFN (Long File Names). Návrh hardware obsahuje zvyšující spínaný zdroj, lineární stabilizátor, externí RTC (Real Time Clock), IRQ low power modul, rozhraní pro MMC (Multi Media Card) a obvody pro RS-232, RS-485. Je navrhnuto analogové měřící rozhraní.
|
|
|
Monitorování rušení v síťovém napájení
Jirčík, Zdeněk ; Kubánek, David (oponent) ; Zeman, Václav (vedoucí práce)
Tento semestrální projekt se zabývá návrhem elektronického zařízení pro monitorování napájecí sítě. V teoretické části jsou popsána rušení napájecích sítí, vlastnosti analyzátorů sítě, komunikace a správa souborů na paměťovém médiu. V další části je návrh zapojení prototypu síťového analyzátoru, popis jeho částí a funkcí a ověření funkčnosti zhotoveného prototypu měřením.
|
|
|
History and Backup Support for zlomekFS
Wartiak, Rastislav ; Babka, Vlastimil (vedoucí práce) ; Obdržálek, David (oponent)
zlomekFS je distribuovaný souborový systém, který umožňuje práci se sdílenými soubory i bez aktivního připojení, s využitím lokální kopie. Během synchronizace lokálních změn nabízí jednoduchý mechanizmus řešení konfliktních změn. Dalším vývojem se stal souborovým systémem bez specifického kódu v jádru. Může si tak v budoucnu získat popularitu mezi uživateli. Jelikož může být obsah tohoto souborového systému aktualizován více uživateli, může být ukládání historie změn užitečnou vlastností. Tato práce realizuje verzování souboru v zlomekFS, vyřešením otázek jako způsob uložení verzí a přístup k nim. Systém je dále rozšířen o možnost zálohování s využitím verzování. Nová funkcionalita je odvozena z analýzy jiných soborových systémů s obdobnými možnostmi a výběru nejvhodnejšího způsobu pro zlomekFS.
|
|
|
Application for Controlled Access to Remote Documents for Microsoft Windows
Feranec, Adam ; Bartík, Vladimír (oponent) ; Rychlý, Marek (vedoucí práce)
This thesis aims to design, implement and test a client-side application for Microsoft Windows to ensure controlled access to remote documents for the VDU project. The application is programmed in the C++ language, using the object-oriented library MFC, the WinFsp interface for virtual file system integration, and the Windows API. The application accesses the server via REST API, and it is tested with a created simulated server and a custom testing script, both programmed in the Python programming language.
|
|
|
Transparent Encryption Solution for Endpoint Devices
Pořízek, David ; Ryšavý, Ondřej (oponent) ; Kolář, Dušan (vedoucí práce)
The goal of this thesis is to propose and implement a transparent encryption solution for the Microsoft Windows platform. The solution should be able to integrate with the data loss prevention (DLP) product and extend it. The implementation utilizes the Microsoft File System Minifilter Driver framework, which allows it to monitor and modify access to files on an external device or a disk in a running system. Protected files are encrypted in the background in order to not interfere with user's work. The driver ensures, that the user is always working with decrypted data. Furthermore, an external application will be developed, which will allow the user to access the protected files even in a network without the DLP product active.
|
|
|
Analysis of a File System Using the Verifying C Compiler
Škorvaga, David ; Kofroň, Jan (vedoucí práce) ; Bednárek, David (oponent)
Název práce: Analýza souborového systému pomocí Verifying C Compiler Autor: Bc. David Škorvaga Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Jan Kofroň, Ph.D. Abstrakt: Formální verifikace je jeden ze způsobů, jak zlepšit spolehlivost soft- warových systémů. Jeden z přístupů formální verifikace se zaměřuje na dokazo- vaní správnosti anotovaného zdrojového kódu v široce používaném programovacím jazyce. Verifier C Compiler (VCC) je verifikátor pro concurrent C, který přijímá anotovaný kód v jazyce C a automaticky ověřuje jeho správnost s ohledem na tuto anotaci. Už se objevily úspěšné pokusy o ověření některých kritických systémů, včetně jádra operačního systému. Další důležitou součástí operačního systému je jeho systém souborů. V diplomové práci jsme si vybrali souborový systém FatFs, odlehčenou implementaci souborového systému FAT, nezávislou na zařízení. V této práci vytvoříme specifikaci jeho části pomocí anotace VCC a úspěšně ověříme jeho korektnost. Klíčová slova: Formal Verification, File System, VCC
|
|
| |
|
|
History and Backup Support for zlomekFS
Wartiak, Rastislav ; Babka, Vlastimil (vedoucí práce) ; Marek, Lukáš (oponent)
zlomekFS je distribuovaný souborový systém, který umožnuje práci se sdílenými soubory i bez aktivního pripojení, s využitím lokální kopie. Behem synchronizace lokálních zmen nabízí jednoduchý mechanizmus rešení konfliktních zmen. Dalším vývojem se stal souborovým systémem bez specifického kódu v jádru. Muže si tak v budoucnu získat popularitu mezi uživateli. Jelikož muže být obsah tohoto souborového systému aktualizován více uživateli, muže být ukládání historie zmen užitecnou vlastností. Tato práce realizuje verzování souboru v zlomekFS, vyrešením otázek jako zpusob uložení verzí a prístup k nim. Systém je dále rozšíren o možnost zálohování s využitím verzování. Nová funkcionalita je odvozena z analýzy jiných soborových systému s obdobnými možnostmi a výberu nejvhodnejšího zpusobu pro zlomekFS.
|
|
|
History and Backup Support for zlomekFS
Wartiak, Rastislav ; Babka, Vlastimil (vedoucí práce) ; Obdržálek, David (oponent)
zlomekFS je distribuovaný souborový systém, který umožňuje práci se sdílenými soubory i bez aktivního připojení, s využitím lokální kopie. Během synchronizace lokálních změn nabízí jednoduchý mechanizmus řešení konfliktních změn. Dalším vývojem se stal souborovým systémem bez specifického kódu v jádru. Může si tak v budoucnu získat popularitu mezi uživateli. Jelikož může být obsah tohoto souborového systému aktualizován více uživateli, může být ukládání historie změn užitečnou vlastností. Tato práce realizuje verzování souboru v zlomekFS, vyřešením otázek jako způsob uložení verzí a přístup k nim. Systém je dále rozšířen o možnost zálohování s využitím verzování. Nová funkcionalita je odvozena z analýzy jiných soborových systémů s obdobnými možnostmi a výběru nejvhodnejšího způsobu pro zlomekFS.
|
host ::
RSS.