Integrated Control and Real-Time Scheduling

The topic of the thesis is codesign of flexible real-time control systems. Integrating control theory and real-time scheduling theory, it is possible to achieve higher resource utilization and better control performance. The integration requires new tools for analysis, design, and implementation. The problem of scheduling the individual parts of a control algorithm is studied. It is shown how subtask scheduling can reduce the input-output latency in a set of control tasks. Deadline assignment under different scheduling policies is considered. A feedback scheduling architecture for control tasks is introduced. The scheduler uses feedback from execution-time measurements and feedforward from workload changes to adjust the sampling periods of a set of control tasks so that the combined performance of the controllers is optimized. The Control Server, a novel computational model for real-time control tasks, is presented. The model combines time-triggered I/O with dynamic, reservation-based task scheduling. The model provides short input-output latencies and minimal jitter for the controllers. It also allows control tasks to be treated as scalable real-time components with predictable performance. Two MATLAB-based toolboxes for analysis and simulation of real-time control systems have been developed. The Jitterbug toolbox evaluates a quadratic cost function for a linear control system with timing variations. The tool makes it possible to investigate the impact of delay, jitter, lost samples, etc., on control performance. The TrueTime toolbox facilitates detailed cosimulation of distributed real-time control systems. The scheduling and execution of control tasks is simulated in parallel with the network communication and the continuous process dynamics. (Less)

[1]  Lui Sha,et al.  Elastic feedback control , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[2]  Bo Lincoln.  Jitter compensation in digital control systems , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[3]  Johan Eker,et al.  Design and implementation of a hybrid control strategy , 1999 .

[4]  Sanjoy K. Baruah,et al.  Static-priority scheduling of multiframe tasks , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

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

[6]  Lui Sha,et al.  Capacity sharing for overrun control , 2000, Proceedings 21st IEEE Real-Time Systems Symposium.

[7]  Martin Törngren,et al.  Towards a toolset for architectural design of distributed real-time control systems , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[8]  Ola Redell,et al.  Exact best-case response time analysis of fixed priority scheduled tasks , 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.

[9]  Leif Andersson,et al.  A Real-Time Programming Environment and a Real-Time Kernel , 1991 .

[10]  Johan Nilsson,et al.  Real-Time Control Systems with Delays , 1998 .

[11]  Abhay Parekh,et al.  A generalized processor sharing approach to flow control in integrated services networks: the single-node case , 1993, TNET.

[12]  Alan Burns,et al.  Fixed priority scheduling with deadlines prior to completion , 1994, Proceedings Sixth Euromicro Workshop on Real-Time Systems.

[13]  Wolfgang A. Halang.  Achieving jitter-free and predictable real-time control by accurately timed computer peripherals , 1993 .

[14]  Mark Klein,et al.  A practitioner's handbook for real-time analysis - guide to rate monotonic analysis for real-time systems , 1993, The Kluwer international series in engineering and computer science.

[15]  Sanjoy K. Baruah,et al.  Greedy reclamation of unused bandwidth in constant-bandwidth servers , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[16]  R. Fletcher.  Practical Methods of Optimization , 1988 .

[17]  Alan Burns,et al.  STRESS: A simulator for hard real‐time systems , 1994, Softw. Pract. Exp..

[18]  Kang G. Shin,et al.  QoS negotiation in real-time systems and its application to automated flight control , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[19]  Edward A. Lee,et al.  Timed multitasking for real-time embedded software , 2003 .

[20]  Kevin Jeffay,et al.  Accounting for interrupt handling costs in dynamic priority task systems , 1993, 1993 Proceedings Real-Time Systems Symposium.

[21]  Sang Hyuk Son,et al.  The case for feedback control real-time scheduling , 1998, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[22]  Alberto L. Sangiovanni-Vincentelli,et al.  Synthesis of Robust Control Systems under Resource Constraints , 2002, HSCC.

[23]  Richard Gerber,et al.  Slicing real-time programs for enhanced schedulability , 1997, TOPL.

[24]  Marco Spuri,et al.  Scheduling aperiodic tasks in dynamic priority systems , 1996, Real-Time Systems.

[25]  Karl-Erik Årzén,et al.  Feedback scheduling of model predictive controllers , 2002, Proceedings. Eighth IEEE Real-Time and Embedded Technology and Applications Symposium.

[26]  Giuseppe Lipari,et al.  Simulation and tracing of hybrid task sets on distributed systems , 1998, Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236).

[27]  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).

[28]  K. Loparo,et al.  Stability and control of discrete-time jump linear systems , 1991 .

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

[30]  Alfons Crespo,et al.  Real-time control of non-uniformly sampled systems , 1999 .

[31]  Sang Hyuk Son,et al.  Performance specifications and metrics for adaptive real-time systems , 2000, Proceedings 21st IEEE Real-Time Systems Symposium.

[32]  Daniel P. Siewiorek,et al.  A resource allocation model for QoS management , 1997, Proceedings Real-Time Systems Symposium.

[33]  Karl Johan Åström,et al.  Simple Self-Tuning Controllers , 1980 .

[34]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..

[35]  C. Douglas Locke,et al.  Software architecture for hard real-time applications: Cyclic executives vs. fixed priority executives , 1992, Real-Time Systems.

[36]  Abhay Parekh,et al.  A generalized processor sharing approach to flow control in integrated services networks-the single node case , 1992, [Proceedings] IEEE INFOCOM '92: The Conference on Computer Communications.

[37]  Seongsoo Hong,et al.  Toward Automatic Synthesis of Schedulable Real-Time Controllers , 1998, Integr. Comput. Aided Eng..

[38]  Alan Burns,et al.  The meaning and role of value in scheduling flexible real-time systems , 2000, J. Syst. Archit..

[39]  Johan Nilsson.  Two Toolboxes for Systems with Random Delays , 1998 .

[40]  Anton Cervin,et al.  A Matlab toolbox for real-time and control systems co-design , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

[41]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[42]  Patricia Balbastre Betoret,et al.  Control tasks delay reduction under static and dynamic scheduling policies , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

[43]  Dimitri Jeltsema,et al.  Proceedings Of The 2000 American Control Conference , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[44]  T. Hagglund.  A predictive PI controller for processes with long dead times , 1992 .

[45]  Sang Hyuk Son,et al.  Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms* , 2001, Real-Time Systems.

[46]  Richard Gerber,et al.  Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes , 1995, IEEE Trans. Software Eng..

[47]  Jane W.-S. Liu,et al.  DRTSS: a simulation framework for complex real-time systems , 1996, Proceedings Real-Time Technology and Applications.

[48]  Luigi Palopoli,et al.  Real-time control system analysis: an integrated approach , 2000, Proceedings 21st IEEE Real-Time Systems Symposium.

[49]  Alan Burns,et al.  The End Of The Line For Static Cyclic Scheduling? , 1993, Fifth Euromicro Workshop on Real-Time Systems.

[50]  Tariq Samad,et al.  Real-time adaptive resource management for advanced avionics , 2003 .

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

[52]  Giorgio C. Buttazzo,et al.  Integrating multimedia applications in hard real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[53]  Martin Törngren,et al.  Calculating exact worst case response times for static priority scheduled tasks with offsets and jitter , 2002, Proceedings. Eighth IEEE Real-Time and Embedded Technology and Applications Symposium.

[54]  Manas Saksena,et al.  Streamlining real-time controller design: From performance specifications to end-to-end timing constraints , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[55]  John P. Lehoczky,et al.  Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems , 1994, IEEE Trans. Software Eng..

[56]  Klara Nahrstedt,et al.  A control theoretical model for quality of service adaptations , 1998, 1998 Sixth International Workshop on Quality of Service (IWQoS'98) (Cat. No.98EX136).

[57]  Erol Gelenbe,et al.  Adaptive Allocation of Central Processing Unit Quanta , 1976, JACM.

[58]  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).

[59]  Gerhard Fohler,et al.  Jitter compensation for real-time control systems , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[60]  Leonard Kleinrock,et al.  A contiuum of time-sharing scheduling algorithms , 1970, AFIPS '70 (Spring).

[61]  Sang Hyuk Son,et al.  Design and evaluation of a feedback control EDF scheduling algorithm , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[62]  Bo Lincoln,et al.  Efficient pruning of search trees in LQR control of switched linear systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[63]  Richard Gerber,et al.  Semantics-based compiler transformations for enhanced schedulability , 1993, 1993 Proceedings Real-Time Systems Symposium.

[64]  George A. Perdikaris.  Computer Controlled Systems , 1991 .

[65]  Karl-Erik Årzén,et al.  A FEEDBACK SCHEDULER FOR REAL-TIME CONTROLLER TASKS , 2000 .

[66]  Ismael Ripoll,et al.  Reducing Delays in RT Control: The Control Action Interval , 1999 .

[67]  Francesco Zanichelli,et al.  Rate modulation of soft real-time tasks in autonomous robot control systems , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[68]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[69]  P. Albertos,et al.  RT control scheduling to reduce control performance degrading , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[70]  Anton Cervin,et al.  Distributed Wireless Control Using Bluetooth , 2001 .

[71]  James Gosling,et al.  The Real-Time Specification for Java , 2000, Computer.

[72]  Edward A. Lee,et al.  Ptolemy II, Heterogeneous Concurrent Modeling and Design in JAVA , 2001 .

[73]  Claudio De Persis,et al.  Proceedings of the 15th IFAC World Congress , 2002 .

[74]  Jonathan Walpole,et al.  Analysis of a reservation-based feedback scheduler , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[75]  Hans Olsson,et al.  Dymola for Multi-Engineering Modeling and Simulation , 2002 .

[76]  Bo Lincoln,et al.  A Simple Stability Criterion for Control Systems with Varying Delays , 2002 .

[77]  Joseph Y.-T. Leung,et al.  On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.

[78]  C. V. Ramamoorthy,et al.  Aspects of a Dynamically Adaptive Operating System , 1976, IEEE Transactions on Computers.

[79]  K.-E. Arzen,et al.  How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime , 2003, IEEE Control Systems.

[80]  Giuseppe Lipari,et al.  Elastic task model for adaptive rate control , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

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

[82]  Lui Sha,et al.  Scheduling sporadic and aperiodic events in a hard real-time system. Final report , 1989 .

[83]  Anton Cervin,et al.  Execution-Time Properties of a Hybrid Controller , 2000 .

[84]  LockeC. Douglass.  Software architecture for hard real-time applications , 1992 .

[85]  Anton Cervin,et al.  TrueTime 1.1 -- Reference Manual , 2003 .

[86]  Giorgio C. Buttazzo,et al.  Adaptive bandwidth reservation for multimedia computing , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

[87]  Qianchuan Zhao,et al.  Stable and Real-Time Scheduling of a Class of Hybrid Dynamic Systems , 1999, Discret. Event Dyn. Syst..

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

[89]  Douglas C. Schmidt,et al.  Dynamic scheduling strategies for avionics mission computing , 1998, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267).