Real-time systems need time-predictable platforms to allow static analysis of the worst-case
execution time (WCET). Standard multi-core processors are optimized for the average case …

Current processors provide high average-case performance, as they are optimized for
general purpose computing. However, those optimizations often lead to a high worst-case …

With the increasing number of applications that require reliable runtime guarantees, the
relevance of static worst-case analysis tools that can provide such guarantees increases …

Poor time predictability of multicore processors has been a long-standing challenge in the
real-time systems community. In this paper, we make a case that a fundamental problem that …

Designed for real-time systems, the Patmos instruction-set architecture's features ensure a
high degree of predictability. One such feature is its dual-issue pipeline, which can issue …

Time-predictability is an essential property of software components of safety-critical hard real-
time systems. Single-path code generation produces code that forces every execution to …

Abstract Space systems are hard real-time systems, where the worst-case execution time
(WCET) of tasks needs to be known to prove absence of deadline misses. For simple …

Real-time systems need to prove that all deadlines will be met. To enable this proof, the full
stack of the system must be analyzable, and the right tools must be available. This includes …

The growing complexity of modern computer architectures increasingly complicates the
prediction of the run-time behavior of software. For real-time systems, where a safe …

Avionics applications need to be certified for the highest criticality standard. This certification
includes schedulability analysis and worst-case execution time (WCET) analysis. WCET …