Schedulability analysis for a combination of preemptive strict periodic tasks and sporadic tasks - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Schedulability analysis for a combination of preemptive strict periodic tasks and sporadic tasks

Résumé

We consider the problem of scheduling tasks with strict periods combined with sporadic tasks. Both types of task have fixed priorities and are preemptive. For a task with a strict period, %it is necessary to prove that for any job of the task, the difference between its starting time and its release time must be identical for every job. Tasks with strict periods are typically in charge of controlling the activities of a system (sensor/actuator, feedback control, ect.). The freshness of the information they use and/or the reactivity of the system are constrained. Indeed, for control tasks, it might be important to control their jitters (the difference between the worst case and the minimum response time) to ensure the stability of the control loop. In this paper, we consider for controlled tasks, the solution satisfying property that minimizes the jitter of tasks with strict periods. For any task with strict period, (i) the start time of any job of the task must be equal to its release time and (ii) the Worst Case Response Time (WCRT) of the task must be equal to its Worst Case Execution Time (WCET). In this paper, we provide a sufficient schedulability condition for the schedulability of tasks with strict periods. We show how to define their first release times such that property \ref{property-P1} is met (based on paper \cite{rtns10}). Tasks with strict periods have the same fixed priority, the highest one. Sporadic tasks all have a lower priority than any task with a strict period. We show in this paper how to define the worst case scenario for the schedulability of sporadic tasks in the presence of tasks with strict periods. Then we propose a schedulability condition for sporadic tasks based on the worst case response time computation.
Fichier principal
Vignette du fichier
mapsp11.pdf (86.49 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00737918 , version 1

Citer

Mohamed Marouf, Laurent George, Yves Sorel. Schedulability analysis for a combination of preemptive strict periodic tasks and sporadic tasks. MAPSP 2011 - 10th Workshop on Models and Algorithms for Planning and Scheduling Problems, Faculty of Mathematics and Physics, Charles University, ITI - Institute for Theoretical Computer Science, Jun 2011, Nymburk, Czech Republic. ⟨hal-00737918⟩
232 Consultations
134 Téléchargements

Partager

Gmail Facebook X LinkedIn More