Published September 17, 2012
| Version v1
Conference paper
Schedulability analysis for a combination of non-preemptive strict periodic tasks and preemptive sporadic tasks
Creators
Contributors
Others:
- Informatique, Mathématiques et Automatique pour la Route Automatisée (IMARA) ; Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
- Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED) ; Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)
Description
We consider the problem of fixed priority scheduling of non-preemptive strict periodic tasks in conjunction with sporadic preemptive tasks. There are few studies about the scheduling problem combining these two kinds of tasks. Moreover, only few results are available on scheduling non-preemptive strict periodic tasks since their performance analysis gives low success ratios, except in the case of harmonic tasks. Also, strict periodic tasks are of great importance since they are in charge for example of sensors/actuators or feedback control functions which are all critical in feedback control systems. Such tasks must have the highest priorities in order to guarantee a correct behavior of the control system. Preemptive sporadic tasks can be used for non critical functions and have lower priorities. We first investigate the scheduling problem of non-preemptive strict periodic tasks by recalling an existing schedulability condition. This results in defining the first release times of strict periodic tasks that preserves the strict periodicity constraints. We show that the schedule of strict periodic tasks can have transient and permanent phases. Then, assuming that some non-preemptive strict periodic tasks have been scheduled, we characterize the release times of the sporadic tasks that maximize their worst case response times. We prove that these release times can be restricted to the permanent phase. For preemptive sporadic tasks, we extend the classical worst case response time computation to take into account non-preemptive strict periodic tasks. Finally, we consider the particular case where some of the sporadic tasks are alternate tasks to primary strict periodic tasks for fault-tolerance.
Abstract
International audienceAdditional details
Identifiers
- URL
- https://hal.inria.fr/hal-00737917
- URN
- urn:oai:HAL:hal-00737917v1
Origin repository
- Origin repository
- UNICA