The scheduling problem of self-suspending periodic real-time tasks

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.

[1]  Ya-Shu Chen,et al.  A real-time configurable synchronization protocol for self-suspending process sets , 2009, Real-Time Systems.

[2]  Jun Sun,et al.  Synchronization protocols in distributed real-time systems , 1996, Proceedings of 16th International Conference on Distributed Computing Systems.

[3]  Kārlis Čerāns,et al.  Algorithmic problems in analysis of real time system specifications , 1992 .

[4]  James H. Anderson,et al.  Improving the Schedulability of Sporadic Self-Suspending Soft Real-Time Multiprocessor Task Systems , 2010, 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications.

[5]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[6]  Kyung-Hee Choi,et al.  Real-time scheduling of tasks that contain the external blocking intervals , 1995, Proceedings Second International Workshop on Real-Time Computing Systems and Applications.

[7]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

[8]  Thomas A. Henzinger,et al.  Discrete-Time Control for Rectangular Hybrid Automata , 1997, Theor. Comput. Sci..

[9]  James H. Anderson,et al.  Task Scheduling with Self-Suspensions in Soft Real-Time Multiprocessor Systems , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[10]  Ansgar Fehnker,et al.  Scheduling a steel plant with timed automata , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

[11]  Yasmina Abdeddaïm,et al.  Scheduling Self-Suspending Periodic Real-Time Tasks Using Model Checking , 2011 .

[12]  Frédéric Ridouard.  Worst-case analysis of feasibility tests for self-suspending tasks , 2006 .

[13]  Satoshi Yamane,et al.  The symbolic model-checking for real-time systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.

[14]  David L. Dill,et al.  Timing Assumptions and Verification of Finite-State Concurrent Systems , 1989, Automatic Verification Methods for Finite State Systems.

[15]  Pascal Richard,et al.  Negative results for scheduling independent hard real-time tasks with self-suspensions , 2004, 25th IEEE International Real-Time Systems Symposium.

[16]  Ragunathan Rajkumar,et al.  Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[17]  Joseph Sifakis,et al.  Decidable Integration Graphs , 1999, Inf. Comput..

[18]  Ragunathan Rajkumar,et al.  Scheduling Self-Suspending Real-Time Tasks with Rate-Monotonic Priorities , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[19]  Michael González Harbour,et al.  Schedulability analysis for tasks with static and dynamic offsets , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[20]  John P. Lehoczky,et al.  Partitioned Fixed-Priority Preemptive Scheduling for Multi-core Processors , 2009, 2009 21st Euromicro Conference on Real-Time Systems.

[21]  Joseph Sifakis,et al.  On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[22]  Zohar Manna,et al.  Logics of Programs , 1981, Lecture Notes in Computer Science.

[23]  Kim G. Larsen,et al.  UPPAAL-Tiga: Time for Playing Games! , 2007, CAV.

[24]  Eugene Asarin,et al.  On Optimal Scheduling under Uncertainty , 2003, TACAS.

[25]  Wang Yi,et al.  Task automata: Schedulability, decidability and undecidability , 2007, Inf. Comput..

[26]  Emmanuel Grolleau,et al.  Minimal schedulability interval for real-time systems of periodic tasks with offsets , 2004, Theor. Comput. Sci..

[27]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..