Characterization of the Space of Feasible Worst‐Case Execution Times for Earliest‐Deadline‐First scheduling

L. George 1 J. F. Hermant
1 CIR
LISSI - Laboratoire Images, Signaux et Systèmes Intelligents
Abstract : This paper presents a sensitivity analysis for the dimensioning of real-time systems in which sporadic tasks are executed according to the preemptive earliest deadline first scheduling policy. The timeliness constraints of the tasks are expressed in terms of late termination deadlines. New results for earliest deadline first are shown, which enable us to determine the space of feasible worst-case execution times, denoted the C-space, valid for any configuration of worst-case execution times. The C-space is such that any task set with its worst-case execution times in the C-space domain is feasible with earliest deadline first. We show in a first approach that the C-space domain is convex, a property that can be used to reduce the number of inequalities characterizing the C-space domain.We propose in another approach to reduce the number of inequalities based on the concept ofworst-case busy period forworstcase execution times in the C-space. This approach can be used for busy periods meeting a given property. We apply the two approaches on an example, and we compare the Cspace obtained with earliest deadline first scheduling to the C-space obtained with deadline monotonic scheduling.
Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01678463
Contributor : Lab Lissi <>
Submitted on : Tuesday, January 9, 2018 - 11:16:21 AM
Last modification on : Wednesday, February 20, 2019 - 4:55:11 PM

Identifiers

  • HAL Id : hal-01678463, version 1

Collections

Citation

L. George, J. F. Hermant. Characterization of the Space of Feasible Worst‐Case Execution Times for Earliest‐Deadline‐First scheduling. Journal of Aerospace Computing, Information and Communication, American Institute of Aeronautics and Astronautics (AIAA), 2009, 6 (11), pp.604-623. ⟨hal-01678463⟩

Share

Metrics

Record views

35