Research Project / Detail View

Real-time performance assurance in high-performance embedded systems

We study how to keep mixed-criticality systems fast, predictable, and safe even when many applications share CPUs, memory, storage, and networks.

Real-time performance assurance in high-performance embedded systems

Background

In recent years, automotive and aerospace systems have started to use high-performance System-on-Chip platforms and operating systems. These environments often run multiple applications with different levels of criticality at the same time. Such systems are called mixed-criticality systems.

When multiple applications are integrated on one platform, real-time performance and safety become difficult to guarantee. Applications may interfere with one another through shared CPUs, memory, GPUs, storage devices, and network bandwidth.

Why it is difficult

Contention on shared resources can delay important tasks. In severe cases, deadlines are missed, faults propagate across applications, or new attack paths are opened.

In systems that control vehicles or other critical equipment, this is no longer a pure performance question — it becomes a safety and trust issue.

What we do

We measure and analyze how real-time applications use shared resources, and identify what breaks predictability. The scope covers CPUs, memory systems, GPUs, storage, and communication paths.

We also work across the stack to improve real-time behavior: software-level isolation, changes to operating systems and drivers, and hardware support for tighter timing control.

Papers and articles related to this project

View all publications

Other main research projects

01 IoTxWeb3: lifecycle management and data sharing for Internet of Things (IoT) devices

IoTxWeb3: lifecycle management and data sharing for Internet of Things (IoT) devices

We combine Internet of Things (IoT) devices with blockchain and smart contracts so that device permissions, data sharing, and lifecycle management can be handled in a transparent way.

Open this project

02 Modeling and assuring dependability of Systems of Systems

Modeling and assuring dependability of Systems of Systems

We study Systems of Systems (SoS — arrangements in which multiple independent systems cooperate to achieve an emergent purpose) as socio-technical systems in which autonomous actors interact, and we aim to establish engineering methods for designing their overall behavior.

Open this project