|
|
Big Block File System
Rajman, Jakub ; Lampa, Petr (referee) ; Čejka, Rudolf (advisor)
Master's thesis treats of implementation of big block file system for FreeBSD operating system. The introduction of this document is dedicated to theoretically analysis, which is oriented on history, sense and usage of file systems. Next chapter describes the architecture of UFS/FFS file system. Implementation part starts with introducing design of new file system, which was isnpired by MSDOSFS file system. Last part of this thesis presents implementation of file system with great emphasis on problems, which can happen during programming.
|
|
|
Battery powered datalogger with CPU
Andrýs, Jiří ; Beran, Jan (referee) ; Bradáč, Zdeněk (advisor)
In this design are mentioned processes of power consumption reduction of battery-powered devices.Execution of a project is software SPI for MMC card and file system FAT16 without extension of VFAT (Virtual File Allocation Table) – LFN (Long File Names). Hardware design consists of boost power supply, linear stabilizer, external RTC (Real Time Clock), IRQ low power modul, interface for MMC (Multi Media Card) and circuits for RS-232, RS-485. There is either a design of analog measuring interface.
|
|
|
Monitoring interference in the mains supply
Jirčík, Zdeněk ; Kubánek, David (referee) ; Zeman, Václav (advisor)
This semester thesis describes design of electronic device adapted to monitoring of mains supply. Theoretical parts describes mains supply analysis, communication and management of files to memory. Next part is design electronics blocks and their cooperation. There are description of mains analyzer prototype and it’s parts and functions. Prototype was submitted to test measurement.
|
|
|
History and Backup Support for zlomekFS
Wartiak, Rastislav ; Babka, Vlastimil (advisor) ; Obdržálek, David (referee)
zlomekFS is a distributed file system that supports disconnected operation using local cache. During synchronization of local changes it offers easyto-use conflict resolution mechanism. Further improved it became a file system with no specific kernel code. It has therefore a good potential in future public use. As the content of this file system can be updated by many users, keeping history of the changes can be a useful feature. This thesis implements file versioning in zlomekFS, answering the questions such as how to store and access the history. On top of the versioning, the possibility of consistent backup is introduced into the file system. New functionality is derived from the analysis of other file systems with similar features and selection of the most suitable approach for zlomekFS.
|
|
|
Application for Controlled Access to Remote Documents for Microsoft Windows
Feranec, Adam ; Bartík, Vladimír (referee) ; Rychlý, Marek (advisor)
Cieľom tejto práce je navrhnúť, implementovať a otestovať klientskú aplikáciu pre Microsoft Windows, ktorá bude zabezpečovať prístup k vzdialeným dokumentom pre projekt VDU. Aplikácia je naprogramovaná v jazyku C++ s použitím objektovo orientovanej knižnice MFC, rozhrania WinFsp pre integráciu virtuálneho súborového systému a rozhrania Windows API. Aplikácia k serveru pristupuje cez REST API a je testovaná s využitím vytvoreného simulovaného serveru a testovacieho skriptu, napísaných v programovacom jazyku Python.
|
|
|
Transparent Encryption Solution for Endpoint Devices
Pořízek, David ; Ryšavý, Ondřej (referee) ; Kolář, Dušan (advisor)
Cílem této práce je návrh a implementace řešení transparentního šifrování pro platformu Microsoft Windows. Řešení by mělo být propojitelné s produktem prevence proti úniku dat (DLP) a rozšiřovat jej. K implementaci byl využit framework Microsoft File System Minifilter Driver, s jehož pomocí je možné sledovat a upravovat přístup k jednotlivým souborům na externích zařízeních nebo discích za běhu systému. Soubory jsou zabezpečeny na pozadí tak, aby uživatel nebyl neovlivněn při práci. Ovladač zajišťuje, že uživatel vždy pracuje s rozšifrovanými daty. Dále bude také vyvinuta externí aplikace, která umožňuje uživateli přistoupit k zašifrovaným datům, aniž by musel být v síti, kde DLP produkt běží.
|
|
|
Analysis of a File System Using the Verifying C Compiler
Škorvaga, David ; Kofroň, Jan (advisor) ; Bednárek, David (referee)
Title: Analysis of a File System Using the Verifying C Compiler Author: Bc. David Škorvaga Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Jan Kofroň, Ph.D. Abstract: Formal verification is a way to improve reliability of software systems. One approach of formal verification is focused on proving correctness of annotat- ed source code of an established programming language. Verifying C Compiler (VCC) is a verifier for concurrent C that accepts an annotated code in C language and automatically verifies its correctness with respect to the given annotation. There have been successful attempts to verify some critical systems, including the operating system kernel. Another critical part of operating system is its file system. In the thesis, we choose FatFs file system, a simple device-independent implementation of the FAT file system. We specify a part of it using the VCC annotation and successfully verify its correctness. Keywords: Formal Verification, File System, VCC
|
|
| |
|
|
History and Backup Support for zlomekFS
Wartiak, Rastislav ; Babka, Vlastimil (advisor) ; Marek, Lukáš (referee)
zlomekFS is a distributed file system that supports disconnected operation using local cache. During synchronization of local changes it offers easytouse conflict resolution mechanism. Further improved it became a file system with no specific kernel code. It has therefore a good potential in future public use. As the content of this file system can be updated by many users, keeping history of the changes can be a useful feature. This thesis implements file versioning in zlomekFS, answering the questions such as how to store and access the history. On top of the versioning, the possibility of consistent backup is introduced into the file system. New functionality is derived from the analysis of other file systems with similar features and selection of the most suitable approach for zlomekFS.
|
|
|
History and Backup Support for zlomekFS
Wartiak, Rastislav ; Babka, Vlastimil (advisor) ; Obdržálek, David (referee)
zlomekFS is a distributed file system that supports disconnected operation using local cache. During synchronization of local changes it offers easyto-use conflict resolution mechanism. Further improved it became a file system with no specific kernel code. It has therefore a good potential in future public use. As the content of this file system can be updated by many users, keeping history of the changes can be a useful feature. This thesis implements file versioning in zlomekFS, answering the questions such as how to store and access the history. On top of the versioning, the possibility of consistent backup is introduced into the file system. New functionality is derived from the analysis of other file systems with similar features and selection of the most suitable approach for zlomekFS.
|
guest ::
