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 metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal-upec-upem.archives-ouvertes.fr/hal-00636122
Contributor : Damien Masson <>
Submitted on : Saturday, November 26, 2011 - 7:00:15 AM
Last modification on : Tuesday, February 18, 2020 - 10:28:39 AM
Long-term archiving on: Friday, November 16, 2012 - 12:05:56 PM

File

wiprtss11.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00636122, version 1

Citation

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⟩

Share

Metrics

Record views

403

Files downloads

337