Schedulability analysis of globally scheduled preemptive applications

For any real-time system, being predictable with respect to time is a basic necessity. The combination of a preemptive execution model and a multiprocessor platform poses a challenge when analysing the predictability of a system. In this thesis, we present a new type of framework for the worst-case response time analysis for preemptive tasks...

Scheduling Strategies for Event-Triggered Control Using Timed Game Automata Over CAN Networks

Modern times have seen an increasing use of networked control systems, in which plants and controllers may not necessarily have a direct link but instead be connected through a network, thereby closing control loops over multiple nodes.<br/><br/>The system may also be spread out spatially over a large area, and thus the associated network delays...

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....

Coordinate Routing in the Lightning Network

Blockchains such as the Bitcoin facilitate the online transaction between users without an intermediate financial institution and can serve as a global currency. However, at the moment, blockchain solutions are suffering from low transaction throughput and high delays. For instance, the bitcoin network processes at most 7 transactions per second...

An Architecture-Agnostic Memory Protection Interface for the Tock Operating System

Tock is an embedded operating system that can run multiple concurrent, mutually distrustful processes, concurrently. Tock is written in Rust, a novel system programming language enforcing type safety at compile-time, and takes advantage of Rust's strong safety features. However, since Tock allows user-level applications to be written in any...