Scheduling Self-Suspending Periodic Real-Time Tasks Using Model Checking - Archive ouverte HAL Access content directly
Conference Papers Year : 2011

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

Yasmina Abdeddaïm
Damien Masson

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00636122 , version 1

Cite

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⟩
188 View
273 Download

Share

Gmail Facebook Twitter LinkedIn More