The Scheduling Problem of Self-Suspending Periodic Real-Time Tasks - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

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

Abstract

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
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00733754 , version 1

Cite

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⟩
178 View
400 Download

Share

Gmail Facebook Twitter LinkedIn More