Scheduling Self-Suspending Periodic Real-Time Tasks Using Model Checking - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Scheduling Self-Suspending Periodic Real-Time Tasks Using Model Checking

Yasmina Abdeddaïm
Damien Masson

Résumé

In this paper, we address the problem of scheduling periodic, possibly self-suspending, real-time tasks. We provide schedulability tests for PFP and EDF and a feasibility test using model checking. This is done both with and without the restriction of work-conserving schedules. We also provide a method to test the sustainability w.r.t the execution and suspension durations of the schedulability and feasibility properties within a restricted interval. Finally we show how to generate an on-line scheduler for such systems when they are feasible.
Fichier principal
Vignette du fichier
wiprtss11.pdf (471.28 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00636122 , version 1 (26-11-2011)

Identifiants

  • HAL Id : hal-00636122 , version 1

Citer

Yasmina Abdeddaïm, Damien Masson. Scheduling Self-Suspending Periodic Real-Time Tasks Using Model Checking. RTSS 2011 WiP, Nov 2011, Vienne, Austria. pp.37--40. ⟨hal-00636122⟩
192 Consultations
276 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More