Scheduling non-preemptive hard real-time tasks with strict periods - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Scheduling non-preemptive hard real-time tasks with strict periods

Abstract

Non-preemptive real-time scheduling and the corresponding schedulability analyses have received considerable less attention in the research community, compared to preemptive real-time scheduling. However, non-preemptive scheduling is widely used in industry, especially in the case of hard real-time systems where missing deadlines leads to catastrophic situations and where resources must not be wasted. In many industries such as avionics tasks may have strict periods, i.e. the start times of their executions must be separated by a fixed period. Indeed, this strict periodicity is generally required by sensors and actuators which may have accurate periods. In this paper we consider separately the case where tasks have harmonic periods and the case where tasks have non-harmonic periods. Thus, the general case becomes a combination of both cases. In the harmonic case we give schedulability conditions to verify that a set of tasks is schedulable. In the non-harmonic case, in order to prove that a set of tasks is schedulable we propose local schedulability conditions that we apply iteratively to each task of the set in order to verify that this current task, added to a sub-set of tasks already scheduled, leads to a schedulable set of tasks.
Fichier principal
Vignette du fichier
etfa11.pdf (133.65 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00737916 , version 1 (03-10-2012)

Identifiers

Cite

Mohamed Marouf, Yves Sorel. Scheduling non-preemptive hard real-time tasks with strict periods. ETFA'11 - 16th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2011, Toulouse, France. pp.1-8, ⟨10.1109/ETFA.2011.6059014⟩. ⟨hal-00737916⟩
296 View
293 Download

Altmetric

Share

Gmail Facebook X LinkedIn More