Jfair: a scheduling algorithm to stabilize control applications

Control applications are considered to be among the core applications in cyber-physical and embedded realtime systems, for which jitter is typically an important factor. This paper investigates whether it is possible to guarantee certain amount of jitter for a given set of applications on a shared platform. The effect of jitter on the stability of control applications and its relation with the latency will be discussed. The importance arises from the fact that it is considerably easier to manage the constant part of the delay (known as latency), while the process of coping with the varying part of the delay (known as jitter) is more involved. The proposed solution guarantees certain jitter limits, and at the same time does not lead to overly pessimistic latency values. The results are later used in a design optimization problem to minimize the resource utilized.

[1]  D.C. Verma,et al.  Delay jitter control for real-time communication in a packet switching network , 1991, Proceedings of TRICOMM `91: IEEE Conference on Communications Software: Communications for Distributed Applications and Systems.

[2]  Anton Cervin,et al.  Delay-Aware Period Assignment in Control Systems , 2008, 2008 Real-Time Systems Symposium.

[3]  Martin Lukasiewycz,et al.  Time-triggered implementations of mixed-criticality automotive software , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[4]  Insup Lee,et al.  Improving schedulability of fixed-priority real-time systems using shapers , 2013, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

[5]  Rupak Majumdar,et al.  Performance-aware scheduler synthesis for control systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[6]  John A. Stankovic,et al.  Scheduling Distributed Real-Time Tasks with Minimum Jitter , 2000, IEEE Trans. Computers.

[7]  Anton Cervin,et al.  Stability and worst-case performance analysis of sampled-data control systems with input and output jitter , 2012, 2012 American Control Conference (ACC).

[8]  John P. Lehoczky,et al.  Analysis of hierar hical fixed-priority scheduling , 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.

[9]  Chung-Yao Kao,et al.  Simple stability criteria for systems with time-varying delays , 2004, Autom..

[10]  Karl Johan Åström,et al.  Computer-controlled systems (3rd ed.) , 1997 .

[11]  Mokhtar S. Bazaraa,et al.  Nonlinear Programming: Theory and Algorithms , 1993 .

[12]  Lui Sha,et al.  On task schedulability in real-time control systems , 1996, 17th IEEE Real-Time Systems Symposium.

[13]  Michael D. Lemmon,et al.  Reducing Delay Jitter of Real-Time Control Tasks through Adaptive Deadline Adjustments , 2010, 2010 22nd Euromicro Conference on Real-Time Systems.

[14]  Aloysius K. Mok,et al.  Towards compositionality in real-time resource partitioning based on regularity bounds , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[15]  Rolf Ernst,et al.  Dynamic voltage scaling for the schedulability of jitter-constrained real-time embedded systems , 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..

[16]  Petru Eles,et al.  Designing High-Quality Embedded Control Systems with Guaranteed Stability , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

[17]  Sanjoy K. Baruah,et al.  Proportionate progress: a notion of fairness in resource allocation , 1993, STOC '93.

[18]  Antoine Girard,et al.  Time-triggered implementations of dynamic controllers , 2006, EMSOFT '06.

[19]  Gerard J. M. Smit,et al.  Evaluation of scheduling heuristics for jitter reduction of real-time streaming applications on multi-core general purpose hardware , 2011, 2011 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia.

[20]  Giuseppe Lipari,et al.  Resource partitioning among real-time applications , 2003, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings..

[21]  Martin Sanfridson,et al.  Integration of off-line scheduling and optimal control , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[22]  Astrom.  Computer Controlled Systems , 1990 .

[23]  Insup Lee,et al.  Periodic resource model for compositional real-time guarantees , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[24]  Giorgio C. Buttazzo,et al.  Measuring the Performance of Schedulability Tests , 2005, Real-Time Systems.

[25]  Petru Eles,et al.  Designing Bandwidth-Efficient Stabilizing Control Servers , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[26]  Aloysius K. Mok,et al.  A model of hierarchical real-time virtual resources , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[27]  Karl-Erik Årzén,et al.  The Jitter Margin and Its Application in the Design of Real-Time Control Systems , 2004 .

[28]  Luís Almeida,et al.  Scheduling within temporal partitions: response-time analysis and server design , 2004, EMSOFT '04.

[29]  Sanjoy K. Baruah,et al.  Scheduling periodic task systems to minimize output jitter , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

[30]  Petru Eles,et al.  Stability-aware analysis and design of embedded control systems , 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).

[31]  Fumin Zhang,et al.  Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems , 2008, 2008 Real-Time Systems Symposium.

[32]  Joao P. Hespanha,et al.  Analysis of distributed control systems with shared communication and computation resources , 2009, 2009 American Control Conference.

[33]  Lothar Thiele,et al.  A hybrid approach to cyber-physical systems verification , 2012, DAC Design Automation Conference 2012.