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 …

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 …

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

Multiple object tracking has been formulated recently as a global optimization problem, and
solved efficiently with optimal methods such as the Hungarian Algorithm. A severe limitation …

In modern Commercial Off-The-Shelf (COTS) mul-ticore systems, each core can generate
many parallel memory requests at a time. The processing of these parallel requests in the …

Next generation automotive applications require support for safe, predictable, and
deterministic execution. The Logical Execution Time (LET) model has been introduced to …

When adopting multi-core systems for safety-critical applications, certification requirements
mandate bounding the delays incurred in accessing shared resources. This is the case of …

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 …

Current computing architectures are commonly built with multiple cores and a single shared
main memory. Even though this architecture increases the overall computation power, main …

As the number of cores increases, more master components can simultaneously access
main memory. In real-time systems, this ongoing trend is leading to crippling pessimism …