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 …
An evaluation of the NVIDIA TX1 for supporting real-time computer-vision workloads
Autonomous vehicles are an exemplar for forward-looking safety-critical real-time systems
where significant computing capacity must be provided within strict size, weight, and power …
where significant computing capacity must be provided within strict size, weight, and power …
vCAT: Dynamic cache management using CAT virtualization
This paper presents vCAT, a novel design for dynamic shared cache management on
multicore virtualization platforms based on Intel's Cache Allocation Technology (CAT). Our …
multicore virtualization platforms based on Intel's Cache Allocation Technology (CAT). Our …
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 …
Reconciling the tension between hardware isolation and data sharing in mixed-criticality, multicore systems
Recent work involving a mixed-criticality framework called MC2 has shown that, by
combining hardware-management techniques and criticality-aware task provisioning …
combining hardware-management techniques and criticality-aware task provisioning …
Holistic resource allocation for multicore real-time systems
This paper presents CaM, a holistic cache and memory bandwidth resource allocation
strategy for multicore real-time systems. CaM is designed for partitioned scheduling, where …
strategy for multicore real-time systems. CaM is designed for partitioned scheduling, where …
Supporting I/O and IPC via fine-grained OS isolation for mixed-criticality real-time tasks
Efforts towards hosting safety-critical, real-time applications on multicore platforms have
been stymied by a problem dubbed the" one-out-of-m" problem: due to excessive analysis …
been stymied by a problem dubbed the" one-out-of-m" problem: due to excessive analysis …
Schedulability analysis of non-preemptive real-time scheduling for multicore processors with shared caches
Shared caches in multicore processors introduce serious difficulties in providing guarantees
on the real-time properties of embedded software due to the interaction and the resulting …
on the real-time properties of embedded software due to the interaction and the resulting …
Cache interference-aware task partitioning for non-preemptive real-time multi-core systems
J Xiao, Y Shen, AD Pimentel - ACM Transactions on Embedded …, 2022 - dl.acm.org
Shared caches in multi-core processors introduce serious difficulties in providing
guarantees on the real-time properties of embedded software due to the interaction and the …
guarantees on the real-time properties of embedded software due to the interaction and the …