Print Email Facebook Twitter An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks Title An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks Author Yalcinkaya, Beyazit (Max Planck Institute for Software Systems; Middle East Technical University) Nasri, Mitra (TU Delft Embedded Systems; Max Planck Institute for Software Systems) Brandenburg, Björn B. (Max Planck Institute for Software Systems) Date 2019 Abstract 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 scheduling anomalies inherent in non-preemptive execution. Furthermore, the presence of self-suspending tasks is well-understood to add tremendous complications to an already difficult problem. By mapping the schedulability problem to the reachability problem in timed automata (TA), this paper provides the first exact schedulability test for this challenging model. Specifically, using TA extensions available in UPPAAL, this paper presents an exact schedulability test for sets of periodic and sporadic self-suspending tasks with fixed preemption points that are scheduled upon a multiprocessor under a global fixed-priority scheduling policy. To the best of our knowledge, this is the first exact schedulability test for non- and limited-preemptive self-suspending tasks (for both uniprocessor and multiprocessor systems), and thus also the first exact schedulability test for the special case of global non-preemptive fixed-priority scheduling (for either periodic or sporadic tasks). Additionally, the paper highlights some subtle pitfalls and limitations in existing TA-based schedulability tests for non-preemptive workloads. To reference this document use: http://resolver.tudelft.nl/uuid:41c5ee08-1cde-497f-8de5-64a87ec8825f DOI https://doi.org/10.23919/DATE.2019.8715111 Publisher IEEE ISBN 978-1-7281-0331-0 Source 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE): Porceedings Event 22nd Design, Automation and Test in Europe Conference and Exhibition, DATE 2019, 2019-03-25 → 2019-03-29, Florence, Italy Bibliographical note Accepted author manuscript Part of collection Institutional Repository Document type conference paper Rights © 2019 Beyazit Yalcinkaya, Mitra Nasri, Björn B. Brandenburg Files PDF Yalcinkaya_Nasri_Brandenb ... DATE19.pdf 2.24 MB Close viewer /islandora/object/uuid:41c5ee08-1cde-497f-8de5-64a87ec8825f/datastream/OBJ/view