msF2FS: Design and Implementation of an NVMe ZNS SSD Optimized F2FS File System

The ongoing digitalization of the world, estimated to reach a yearly data generation of 200 Zettabytes by 2025, is putting increasing pressure on system developers to provide systems capable of scaling with future needs. Of particular importance are the data storage systems, providing the means of storing and retrieving the vast amounts of data....

Adaptive thread pool scaling and real-time thread monitoring

Thread pools, integrated in programming languages, packages and dependencies are widely used by developers. Thread pools assume they are running alone on the system, which is not always the case. Previous research has shown that adapting thread pool size has been effective under specific conditions. In this research, scaling the thread pool with...

An OS-level adaptive thread pool scheme for I/O-heavy workloads

Thread pools are a pervasive building block for concurrent applications, but their optimal size is often tedious to determine or it changes during execution. Many modern systems use dedicated thread pools for operations that are restricted to a specific resource (e.g IO-bound), their performance can be correlated to OS metrics such as disk...

A Study of Performance and Security Across the Virtualization Spectrum

Virtualization is the fundamental technology that enabled the widespread adoption of cloud computing. With the ever-increasing pervasiveness of the cloud computing paradigm, strong isolation guarantees and low performance overhead from isolation platforms are paramount. An ideal isolation platform offers both: an infallible isolation boundary...

Creating a Configuration Security Layer for Embedded Devices: A research-based on the case study of a widely used Embedded Device

As software security expert Bruce Schneier argues, the pervasive vulnerability of embedded systems today is structurally similar to the security crisis of PCs in the mid-1990s—only much worse. Embedded devices are ideal malware targets for several reasons. Firstly, Internet-connected devices are inherently more exposed to remote exploitation....

Model-based Flight Control for a VTOL Aircraft with Independently Tilting Rotors

This thesis reports on the research and design of a real-time Time-Varying Model Predictive Control (TVMPC) scheme to stabilize a tilt-rotor aircraft with four independently tilting rotors. The aircraft design stems from a prototype system constructed by the drone technology start-up Avy.<br/>First, a motivation is presented for implementation...

Operating system support for a dynamically reconfigurable VLIW processor

The ρ-VEX is a dynamically reconfigurable VLIW processor, developed at TU Delft, which is capable of extracting large amounts of parallelism from applications running on it. However, without a dedicated software layer to dictate the reconfigurations, the ρ-VEX has to depend on another processor to carry out its reconfigurations meaningfully....

Design and implementation of a LoRa based Gateway

The project focuses on the hardware-software co design of a LoRaWAN based industrial IoT gateway used for proprietary applications. Long Range Wide Area Network, abbreviated as LoRaWAN is a network and data layer running over the LoRa PHY layer which operates at 868 MHz[29]. The surge in LoRa has led big market players like SemTech to licence...

Porting Linux to the rVEX reconfigurable VLIW softcore

This thesis describes the design and implementation of an FPGA-based hardware platform based on the rVEX VLIW softcore and the adaption of a Linux 2.0 no_mmu kernel to run on that platform. The rVEX is a runtime reconfigurable VLIW softcore processor. It supports various configurations that allow programs to run faster or more efficient. The...

Extracting Feature Model Changes from the Linux Kernel Using FMDiff

The Linux kernel feature model has been studied as an example of large scale evolving feature model and yet details of its evolution are not known. We present here a classification of feature changes occurring on the Linux kernel feature model, as well as a tool, FMDiff, designed to automatically extract those changes. With this tool, we...

Hardware implementation of digital signal processing algorithms for long distance pipeline inspections

Inspections on transmission pipelines in the petrochemical industry are regularly conducted in order to guarantee safety of operations. Inspection devices are sent through the lines to record sensor data, this data needs to be post-processed in order to be able to make an analysis on the state of the pipeline. In this thesis, existing software...