A survey of timing verification techniques for multi-core real-time systems
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 …
for multi-core real-time systems. It reviews the key results in the field from its origins around …
Partitioned fixed-priority scheduling of parallel tasks without preemptions
The study of parallel task models executed with predictable scheduling approaches is a
fundamental problem for real-time multiprocessor systems. Nevertheless, to date, limited …
fundamental problem for real-time multiprocessor systems. Nevertheless, to date, limited …
A survey of techniques for reducing interference in real-time applications on multicore platforms
T Lugo, S Lozano, J Fernández, J Carretero - IEEE Access, 2022 - ieeexplore.ieee.org
This survey reviews the scientific literature on techniques for reducing interference in real-
time multicore systems, focusing on the approaches proposed between 2015 and 2020. It …
time multicore systems, focusing on the approaches proposed between 2015 and 2020. It …
Attacking the one-out-of-m multicore problem by combining hardware management with mixed-criticality provisioning
The multicore revolution is having limited impact in safety-critical application domains. A key
reason is the “one-out-of-m” problem: when validating real-time constraints on an m-core …
reason is the “one-out-of-m” problem: when validating real-time constraints on an m-core …
Achieving predictable multicore execution of automotive applications using the LET paradigm
A Biondi, M Di Natale - 2018 IEEE Real-Time and Embedded …, 2018 - ieeexplore.ieee.org
Next generation automotive applications require support for safe, predictable, and
deterministic execution. The Logical Execution Time (LET) model has been introduced to …
deterministic execution. The Logical Execution Time (LET) model has been introduced to …
Hiding communication delays in contention-free execution for spm-based multi-core architectures
Multi-core systems using ScratchPad Memories (SPMs) are attractive architectures for
executing time-critical embedded applications, because they provide both predictability and …
executing time-critical embedded applications, because they provide both predictability and …
Profiling and controlling I/O‐related memory contention in COTS heterogeneous platforms
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 …
intensive I/O devices, this work studies the memory contention generated by I/O devices and …
[PDF][PDF] Designing mixed criticality applications on modern heterogeneous mpsoc platforms
Abstract Multiprocessor Systems-on-Chip (MPSoC) integrating hard processing cores with
programmable logic (PL) are becoming increasingly common. While these platforms have …
programmable logic (PL) are becoming increasingly common. While these platforms have …
A real-time scratchpad-centric os with predictable inter/intra-core communication for multi-core embedded systems
Multi-core processors have replaced single-core systems in almost every segment of the
industry. Unfortunately, their increased complexity often causes a loss of temporal …
industry. Unfortunately, their increased complexity often causes a loss of temporal …
Latency analysis of I/O virtualization techniques in hypervisor-based real-time systems
Nowadays, hypervisors are the standard solution to integrate different domains into a shared
hardware platform, while providing safety, security, and predictability. To this end, a …
hardware platform, while providing safety, security, and predictability. To this end, a …