Reachability-Based Response-Time Analysis of Preemptive Tasks Under Global Scheduling
Global scheduling reduces the average response times as it can use the available
computing cores more efficiently for scheduling ready tasks. However, this flexibility poses …
computing cores more efficiently for scheduling ready tasks. However, this flexibility poses …
[PDF][PDF] Response-time analysis of limited-preemptive parallel DAG tasks under global scheduling
M Nasri, G Nelissen… - 31st Conference on Real …, 2019 - cister.isep.ipp.pt
Most recurrent real-time applications can be modeled as a set of sequential code segments
(or blocks) that must be (repeatedly) executed in a specific order. In this paper, we provide a …
(or blocks) that must be (repeatedly) executed in a specific order. In this paper, we provide a …
Response-time analysis for non-preemptive periodic moldable gang tasks
Gang scheduling has long been adopted by the high-performance computing community as
a way to reduce the synchronization overhead between related threads. It allows for several …
a way to reduce the synchronization overhead between related threads. It allows for several …
On the pitfalls and vulnerabilities of schedule randomization against schedule-based attacks
Schedule randomization is one of the recently introduced security defenses against
schedule-based attacks, ie, attacks whose success depends on a particular ordering …
schedule-based attacks, ie, attacks whose success depends on a particular ordering …
Analysis of tsn time-aware shapers using schedule abstraction graphs
S Srinivasan, G Nelissen, RJ Bril… - … Conference on Real …, 2024 - drops.dagstuhl.de
Abstract IEEE Time-Sensitive Networking (TSN) is one of the main solutions considered by
the industry to support time-sensitive communication in data-intensive safety-critical and …
the industry to support time-sensitive communication in data-intensive safety-critical and …
Partial-order reduction for schedule-abstraction-based response-time analyses of non-preemptive tasks
S Ranjha, G Nelissen, M Nasri - 2022 IEEE 28th Real-Time and …, 2022 - ieeexplore.ieee.org
The temporal correctness of safety-critical systems is typically guaranteed via a response-
time analysis (RTA). However, as systems become complex (eg, parallel tasks running on a …
time analysis (RTA). However, as systems become complex (eg, parallel tasks running on a …
An exact schedulability test for non-preemptive self-suspending real-time tasks
B Yalcinkaya, M Nasri… - 2019 Design, Automation …, 2019 - ieeexplore.ieee.org
Exact schedulability analysis of limited-preemptive (or non-preemptive) real-time workloads
with variable execution costs and release jitter is a notoriously difficult challenge due to the …
with variable execution costs and release jitter is a notoriously difficult challenge due to the …
[HTML][HTML] Compositional verification of embedded real-time systems
In an embedded real-time system (ERTS), real-time tasks (software) are typically executed
on a multicore shared-memory platform (hardware). The number of cores is usually small …
on a multicore shared-memory platform (hardware). The number of cores is usually small …
Data-age analysis for multi-rate task chains under timing uncertainty
Safety and control functions of modern automotive systems are implemented as chains of
periodic data producer/consumer tasks run at different rates. To simplify the development of …
periodic data producer/consumer tasks run at different rates. To simplify the development of …
A utilization-based test for non-preemptive gang tasks on multiprocessors
Real-time gang task scheduling has received much recent attention due to the emerging
trend of applying highly parallel accelerators (eg, GPU) and parallel programming models …
trend of applying highly parallel accelerators (eg, GPU) and parallel programming models …