Soft real-time multiprocessor systems frequently adopt the G-EDF (Global-Earliest Deadline
First) scheduling policy as it is lightweight and it guarantees bounded tardiness. Much effort …

Our research demonstrates the existence of side-channel information leaks in TrustZone-
enabled real-time systems. Our algorithm can infer the critical tasks' arrival times and …

With the growing support for features such as hardware virtualization tied to the boost of
hardware capacity, embedded systems are now able to regroup many software components …

This dissertation aims to address the problem of the side-channels caused by the
deterministic nature embedded in the real-time schedulers in preemptive real-time systems …

Auditing is a powerful tool that provides machine operators with the mechanisms to observe,
and glean insights from, generic computing systems. The information obtained by auditing …

Over the past few decades, embedded systems, like those in spacecraft and aircraft, have
evolved into complex distributed systems with hundreds of nodes and dozens of network …

Real-time systems have more and more ways to communicate wirelessly with external
users. These same means can be hijacked to attack these systems, breaking their …

Abstract Real-Time Systems (RTS) have gained prominence in new domains such as
autonomous cars, drones, and the Internet-of-Things (IoT). RTS have stringent timing …

Cyber-physical systems are realized as those systems where the computation,
communication and physical processes interact with each other (eg, robotic systems …

Cyber-physical systems (CPS) such as automobiles, power plants, avionics systems,
unmanned vehicles, medical devices, manufacturing and home automation systems have …