Uniprocessor EDF scheduling of AVR task systems

The adaptive varying-rate (AVR) task model has been proposed as a means of modeling certain physically-derived constraints in CPS's in a manner that is more accurate (less pessimistic) than is possible using prior task models from real-time scheduling theory. Existing work on schedulability analysis of systems of AVR tasks is primarily restricted to fixed-priority scheduling; this paper establishes schedulability analysis results for systems of AVR and sporadic tasks under Earliest Deadline First (EDF) scheduling. The proposed analysis techniques are evaluated both theoretically via the speedup factor metric, and experimentally via schedulability experiments on randomly-generated task systems.

[1]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

[2]  Steve Goddard,et al.  A theory of rate-based execution , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[3]  Wang Yi,et al.  The Digraph Real-Time Task Model , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

[4]  Aloysius Ka-Lau Mok,et al.  Fundamental design problems of distributed systems for the hard-real-time environment , 1983 .

[5]  Wang Yi,et al.  On the Tractability of Digraph-Based Task Models , 2011, 2011 23rd Euromicro Conference on Real-Time Systems.

[6]  Sanjoy K. Baruah,et al.  Feasibility Problems for Recurring Tasks on one Processor , 1993, Theor. Comput. Sci..

[7]  Sanjoy K. Baruah,et al.  Generalized Multiframe Tasks , 1999, Real-Time Systems.

[8]  Sanjoy K. Baruah,et al.  Scheduling Mixed-Criticality Implicit-Deadline Sporadic Task Systems upon a Varying-Speed Processor , 2014, 2014 IEEE Real-Time Systems Symposium.

[9]  Nicolas Halbwachs,et al.  Synchronous Programming of Reactive Systems , 1992, CAV.

[10]  Frank Slomka,et al.  Sufficient real-time analysis for an engine control unit with constant angular velocities , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[11]  Giorgio C. Buttazzo,et al.  Exact Interference of Adaptive Variable-Rate Tasks under Fixed-Priority Scheduling , 2014, 2014 26th Euromicro Conference on Real-Time Systems.

[12]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[13]  Giorgio Buttazzo,et al.  Exact Analysis of Adaptive Variable-Rate Tasks under Fixed-Priority Scheduling , 2014 .

[14]  Ragunathan Rajkumar,et al.  Rhythmic Tasks: A New Task Model with Continually Varying Periods for Cyber-Physical Systems , 2012, 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.

[15]  Robert I. Davis,et al.  Schedulability tests for tasks with Variable Rate-dependent Behaviour under fixed priority scheduling , 2014, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

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

[17]  Aloysius K. Mok,et al.  A multiframe model for real-time tasks , 1996, 17th IEEE Real-Time Systems Symposium.

[18]  Sanjoy K. Baruah,et al.  Mixed-Criticality Scheduling upon Varying-Speed Processors , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[19]  Björn B. Brandenburg,et al.  Cache-Related Preemption and Migration Delays : Empirical Approximation and Impact on Schedulability ∗ , 2010 .

[20]  Giorgio C. Buttazzo,et al.  Rate-adaptive tasks: Model, analysis, and design issues , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[21]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[22]  Kevin Jeffay,et al.  A Rate-Based Execution Abstraction for Multimedia Computing , 1995, NOSSDAV.

[23]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.