The Scheduling Problem of Self-Suspending Periodic Real-Time Tasks - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

The Scheduling Problem of Self-Suspending Periodic Real-Time Tasks

Résumé

In this paper, we address the problem of scheduling periodic, possibly self-suspending, real-time tasks. We show how to use model checking to obtain both a necessary and sufficient feasibility test, and a schedulability test for classical scheduling policies (RM, DM, EDF). When these algorithms fail to schedule a feasible system, we show how to generate an appropriate scheduler. We provide also a method to test the sustainability of a schedule w.r.t execution and suspension durations. Finally, using a model checking tool we validate our approach.
Fichier principal
Vignette du fichier
rtns2012_revision_authorsdraft.pdf (332.62 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00733754 , version 1 (19-09-2012)

Identifiants

  • HAL Id : hal-00733754 , version 1

Citer

Yasmina Abdeddaïm, Damien Masson. The Scheduling Problem of Self-Suspending Periodic Real-Time Tasks. RTNS 2012, Nov 2012, Pont-à-Mousson, France. pp.211--220. ⟨hal-00733754⟩
187 Consultations
421 Téléchargements

Partager

Gmail Facebook X LinkedIn More