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 …

Graphics Processing Unit (GPU) devices and their associated software programming
languages and frameworks can deliver the computing performance required to facilitate the …

The performance and power efficiency of multi-core processors are attractive features for
safety-critical applications, as in avionics. But increased integration and average-case …

Mixed criticality systems have recently received much attention both in research and in
industrial design practice. However, industrial practice and much of the research community …

In safety-critical cyber-physical systems, the usage of multicore platforms has been
hampered by problems due to interactions across cores through shared hardware. The …

Shared resource access interference, particularly memory and system bus, is a big
challenge in designing predictable real-time systems because its worst case behavior can …

Many modern multi-core processors sport a large shared cache with the primary goal of
enhancing the statistic performance of computing workloads. However, due to resulting …

Unarbitrated contention over shared resources at different levels of the memory hierarchy
represents a major source of temporal interference. Hardware manufacturers are …

Next generations of compute-intensive real-time applications in automotive systems will
require more powerful computing platforms. One promising power-efficient solution for such …

This paper presents an approach for hosting a representative avionic function on a
distributed-memory mul-ticore COTS architecture. This approach was developed in …