Reachability-Based Response-Time Analysis of Preemptive Tasks Under Global Scheduling

P Gohari, J Voeten, M Nasri - 36th Euromicro Conference on …, 2024 - drops.dagstuhl.de
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 …

[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 …

Response-time analysis for non-preemptive periodic moldable gang tasks

G Nelissen, JM i Igual, M Nasri - 34th Euromicro Conference on …, 2022 - research.tue.nl
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 …

On the pitfalls and vulnerabilities of schedule randomization against schedule-based attacks

M Nasri, T Chantem, G Bloom… - 2019 IEEE Real-Time …, 2019 - ieeexplore.ieee.org
Schedule randomization is one of the recently introduced security defenses against
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 …

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 …

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 …

[HTML][HTML] Compositional verification of embedded real-time systems

M Foughali, PE Hladik, A Zuepke - Journal of Systems Architecture, 2023 - Elsevier
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 …

Data-age analysis for multi-rate task chains under timing uncertainty

P Gohari, M Nasri, J Voeten - … of the 30th International Conference on …, 2022 - dl.acm.org
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 …

A utilization-based test for non-preemptive gang tasks on multiprocessors

Z Dong, C Liu - 2022 IEEE Real-Time Systems Symposium …, 2022 - ieeexplore.ieee.org
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 …