Skip to Main content Skip to Navigation
Journal articles

Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks

Abstract : The current trend in modeling and analyzing real-time systems is toward tighter yet safe timing constraints. Many practical real-time systems can de facto sustain a bounded number of deadline-misses, i.e., they have Weakly-Hard Real-Time (WHRT) constraints rather than hard real-time constraints. Therefore, we strive to provide tight Deadline Miss Models (DMMs) in complement to tight response time bounds for such systems. In this work, we bound the distribution of deadline-misses for task sets running on uniprocessors using the Earliest Deadline First (EDF) scheduling policy. We assume tasks miss their deadlines due to transient overload resulting from sporadic jobs, e.g., interrupt service routines. We use Typical Worst-Case Analysis (TWCA) to tackle the problem in this context. Also, we address the sources of pessimism in computing DMMs, and we discuss the limitations of the proposed analysis. This work is motivated by and validated on a realistic case study inspired by industrial practice (satellite on-board software) and on a set of synthetic test cases. The synthetic experiment is dedicated to extensively study the impact of EDF on DMMs by presenting a comparison between DMMs computed under EDF and Rate Monotonic (RM). The results show the usefulness of this approach for temporarily overloaded systems when EDF scheduling is considered. They also show that EDF is especially well for WHRT tasks.
Document type :
Journal articles
Complete list of metadata

Cited literature [47 references]  Display  Hide  Download
Contributor : Sophie Quinton Connect in order to contact the contributor
Submitted on : Wednesday, January 29, 2020 - 4:25:58 PM
Last modification on : Thursday, January 20, 2022 - 5:28:35 PM
Long-term archiving on: : Thursday, April 30, 2020 - 6:16:57 PM


Files produced by the author(s)




Zain Hammadeh, Sophie Quinton, Rolf Ernst. Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2020, 18 (6), pp.1-25. ⟨10.1145/3356865⟩. ⟨hal-02459836⟩



Les métriques sont temporairement indisponibles