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 …

Due to their cost, performance, area, and energy efficiency, MPSoCs offer appealing
architecture for emerging mixed criticality systems (MCS) such as driverless cars, smart …

Employing COTS components in real-time embedded systems leads to timing challenges.
When multiple CPU cores and DMA peripherals run simultaneously, contention for access to …

Memory resources are a serious bottleneck in many real-time multicore systems. Previous
work has shown that, in the worst case, execution time of memory intensive tasks can grow …

A common trend in real-time safety-critical embedded systems is to integrate multiple
applications on a single platform. Such systems are known as mixed-criticality (MC) systems …

Modern computing systems have adopted multicore architectures and multiprocessor
systems on chip (MPSoCs) for accommodating the increasing demand on computation …

The interference co-running tasks generate on each other's timing behavior continues to be
one of the main challenges to be addressed before Multi-Processor System-on-Chip …

Motivated by the increasing number of embedded applications that make use of traffic‐
intensive I/O devices, this work studies the memory contention generated by I/O devices and …

A central issue for verifying the schedulability of hard real-time systems is the correct
evaluation of task execution times. These values are significantly influenced by the …

The embedded system industry is facing an increasing pressure for migrating from single-
core to multi-and many-core platforms for size, performance and cost purposes. Real-time …