This survey provides an overview of the scientific literature on timing verification techniques
for multi-core real-time systems. It reviews the key results in the field from its origins around …

This survey covers probabilistic timing analysis techniques for real-time systems. It reviews
and critiques the key results in the field from its origins in 2000 to the latest research …

The real-time systems community has over the years devoted considerable attention to the
impact on execution timing that arises from contention on access to hardware shared …

In the last three decades a number of methods have been devised to find upper-bounds for
the execution time of critical tasks in time-critical systems. Most of such methods aim to …

In this paper, we introduce a Multicore Response Time Analysis (MRTA) framework. This
framework is extensible to different multicore architectures, with various types and …

In this paper, we introduce a multicore response time analysis (MRTA) framework, which
decouples response time analysis from a reliance on context-independent WCET values …

The paper considers the power constrained design of orthogonal multiprocessor
interconnection networks. The authors present a detailed model of message latency as a …

Genetic algorithms can be used to generate input data in a real-time system that produce the
worst-case execution time of a task. While generating the test data, the fitness function is …

Multi-core architectures pose many challenges in real-time systems, which arise from
contention between concurrent accesses to shared memory. Among the available memory …

To derive safe bounds on worst-case execution times (WCETs), all components of a
computer system need to be time-predictable: the processor pipeline, the caches, the …