Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [30 references]  Display  Hide  Download

https://hal-upec-upem.archives-ouvertes.fr/hal-00733754
Contributor : Damien Masson <>
Submitted on : Wednesday, September 19, 2012 - 2:21:37 PM
Last modification on : Wednesday, February 26, 2020 - 7:06:06 PM
Document(s) archivé(s) le : Thursday, December 20, 2012 - 3:46:47 AM

File

rtns2012_revision_authorsdraft...
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-00733754, version 1

Citation

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⟩

Share

Metrics

Record views

405

Files downloads

489