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 metadata

Cited literature [30 references]  Display  Hide  Download
Contributor : Damien Masson Connect in order to contact the contributor
Submitted on : Wednesday, September 19, 2012 - 2:21:37 PM
Last modification on : Saturday, January 15, 2022 - 3:56:39 AM
Long-term archiving on: : Thursday, December 20, 2012 - 3:46:47 AM


Publisher files allowed on an open archive


  • HAL Id : hal-00733754, version 1


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⟩



Record views


Files downloads