Skip to Main content Skip to Navigation
Conference papers

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

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

Cited literature [14 references]  Display  Hide  Download
Contributor : Damien Masson Connect in order to contact the contributor
Submitted on : Saturday, November 26, 2011 - 7:00:15 AM
Last modification on : Saturday, January 15, 2022 - 3:55:57 AM
Long-term archiving on: : Friday, November 16, 2012 - 12:05:56 PM


Files produced by the author(s)


  • HAL Id : hal-00636122, version 1


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⟩



Record views


Files downloads