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

Yasmina Abdeddaïm (1) , Damien Masson (1)

1 LIGM - Laboratoire d'Informatique Gaspard-Monge

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.

Domaines: Algorithme et structure de données [cs.DS]

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⟩