Skip to Main content Skip to Navigation
Conference papers

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

Mohamed Marouf 1, 2 Yves Sorel 2
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Mohamed Marouf Connect in order to contact the contributor
Submitted on : Wednesday, October 3, 2012 - 4:36:11 PM
Last modification on : Friday, January 21, 2022 - 3:18:28 AM
Long-term archiving on: : Friday, January 4, 2013 - 3:56:34 AM


Files produced by the author(s)




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⟩



Les métriques sont temporairement indisponibles