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

Interference on shared resources can delay important tasks. In serious cases, this can break timing guarantees, spread faults across applications, or open a path for security attacks.

This means that performance is not only a speed problem. It is also a safety and trust problem, especially in systems that control vehicles and other important equipment.

What we do

We measure and analyze how real-time applications access shared resources and evaluate which factors reduce predictable behavior. This includes CPUs, memory systems, GPUs, storage, and communication paths.

We also study ways to improve real-time behavior from a full-stack perspective. Topics include software isolation mechanisms, operating system and driver improvements, and hardware support for better timing control.

Papers and articles related to this project

Other main research projects

01 IoTxWeb3: lifecycle management and data sharing for IoT devices

IoTxWeb3: lifecycle management and data sharing for IoT devices

We combine 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 large socio-technical systems where many independent systems and people interact, and we develop ways to explain and improve safety, security, and resilience over time.

Open this project