Resource and performance trade-offs in real-time embedded control systems

Embedded control systems are subject to conflicting demands: end-users ask for devices with better capabilities while strong industrial competition impose tight cost constrains that results in devices with limited resources. Current research in the multidisciplinary embedded systems discipline indicates that by combining real-time and control systems it is theoretically feasible to design resource-constrained embedded control systems capable of trading-off control performance and resource usage.This paper focuses on the implementation feasibility of recent state-of-the-art resource/performance-aware (RPA) policies that can be applied to a set of control loops that concurrently execute on a microprocessor. The objective of these policies is to improve control performance and/or to minimize resource utilization. The paper first reviews existing state-of-the-art RPA policies. Then it presents a performance evaluation framework (PEF) that permits to assess whether RPA policies can be implemented in practice. The PEF is designed using a modular approach and following the guidelines obtained by a taxonomic analysis performed on the state-of-the-art RPA policies. Finally, a case study is presented where the PEF is applied to a set of representative RPA policies. The case study reveals that the modularity of the PEF allows tailoring the framework to evaluate any specific RPA policy, which indicates that RPA policies can be implemented in practice. But it also reveals that the problem of assessing diverse RPA policies in fair conditions implies facing and solving conflicting demands by even taking decisions that may not favor equal all policies under evaluation. Nevertheless, the comparative analysis permits identifying potential benefits and drawbacks of each policy, as well as extracting design guidelines for future real-time embedded control systems theory and practice.

[1]  Mohamed El Mongi Ben Gaid,et al.  Optimal scheduling of control tasks with state feedback resource allocation , 2006, 2006 American Control Conference.

[2]  Karl-Erik Årzén,et al.  CONTROL AND EMBEDDED COMPUTING: SURVEY OF RESEARCH DIRECTIONS , 2005 .

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

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

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

[6]  Scott A. Brandt,et al.  Optimal state feedback based resource allocation for resource-constrained control tasks , 2004, 25th IEEE International Real-Time Systems Symposium.

[7]  M. Velasco,et al.  The Self Triggered Task Model for Real-Time Control Systems , 2003 .

[8]  P. Ellis Extension of phase plane analysis to quantized systems , 1959 .

[9]  Karl-Erik Årzén Timing Analysis and Simulation Tools for Real-Time Control , 2005, FORMATS.

[10]  K. Åström,et al.  Comparison of Riemann and Lebesgue sampling for first order stochastic systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[11]  Manel Velasco,et al.  The One-Shot Task Model for Robust Real-Time Embedded Control Systems , 2008, IEEE Transactions on Industrial Informatics.

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

[13]  John A. Stankovic Strategic directions in real-time and embedded systems , 1996, CSUR.

[14]  Karl-Erik Årzén,et al.  Feedback–Feedforward Scheduling of Control Tasks , 2002, Real-Time Systems.

[15]  Petru Eles,et al.  Quality-driven synthesis of embedded multi-mode control systems , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[16]  Giorgio Buttazzo Rate Monotonic vs. EDF: Judgment Day , 2003, EMSOFT.

[17]  Marek Miskowicz,et al.  Send-On-Delta Concept: An Event-Based Data Reporting Strategy , 2006, Sensors (Basel, Switzerland).

[18]  Enrico Bini,et al.  The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers , 2009, HSCC.

[19]  Petru Eles,et al.  Integrated scheduling and synthesis of control applications on distributed embedded systems , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[20]  Michael D. Lemmon,et al.  Self-triggered feedback systems with state-independent disturbances , 2009, 2009 American Control Conference.

[21]  Raktim Bhattacharya,et al.  Anytime Control Algorithm: Model Reduction Approach , 2004 .

[22]  Xiaofeng Wang,et al.  State Based Self-triggered Feedback Control Systems with ℒ2 Stability , 2008 .

[23]  Paulo Tabuada,et al.  Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks , 2007, IEEE Transactions on Automatic Control.

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

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

[26]  Mario Aldea Rivas,et al.  Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications , 2001, Ada-Europe.

[27]  Enrico Bini,et al.  Equilibrium sampling interval sequences for event-driven controllers , 2009, 2009 European Control Conference (ECC).

[28]  Scott A. Brandt,et al.  Draco: Efficient Resource Management for Resource-Constrained Control Tasks , 2009, IEEE Transactions on Computers.

[29]  A. Anta,et al.  Self-triggered stabilization of homogeneous control systems , 2008, 2008 American Control Conference.

[30]  Vijay Gupta,et al.  On an anytime algorithm for control , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[31]  Anton Cervin,et al.  Sporadic Control of First-Order Linear Stochastic Systems , 2007, HSCC.

[32]  Alfons Crespo,et al.  Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal , 2004, Real-Time Systems.

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

[34]  Xiaofeng Wang,et al.  Event design in event-triggered feedback control systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[35]  Xiaofeng Wang,et al.  Self-Triggered Feedback Control Systems With Finite-Gain ${\cal L}_{2}$ Stability , 2009, IEEE Transactions on Automatic Control.

[36]  D. Henriksson Resource Management for Control Tasks Based on the Transient Dynamics of Closed-Loop Systems , 2006 .

[37]  Manuel Mazo,et al.  Input-to-state stability of self-triggered control systems , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[38]  L. Abeni,et al.  A new kernel approach for modular real-time systems development , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[39]  Xiaofeng Wang,et al.  Preliminary results on state-trigered scheduling of stabilizing control tasks , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[40]  Manel Velasco,et al.  On the Timing of Discrete Events in Event-Driven Control Systems , 2008, HSCC.

[41]  Pau Marti,et al.  Control Performance Evaluation of Selected Methods of Feedback Scheduling of Real-time Control Tasks , 2008 .

[42]  K.-E. Arzen,et al.  Laboratories and real-time computing: integrating experiments into control courses , 2005, IEEE Control Systems.

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

[44]  Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012 , 2012, HSCC.

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

[46]  G. E. Taylor,et al.  Computer Controlled Systems: Theory and Design , 1985 .

[47]  Anton Cervin,et al.  Optimal Online Sampling Period Assignment: Theory and Experiments , 2011, IEEE Transactions on Control Systems Technology.

[48]  Karl-Erik Årzén,et al.  A simple event-based PID controller , 1999 .

[49]  Young Soo Suh,et al.  Modified Kalman filter for networked monitoring systems employing a send-on-delta method , 2007, Autom..

[50]  Michael D. Lemmon,et al.  On Self-triggered Full-Information H-Infinity Controllers , 2007, HSCC.

[51]  Luigi Palopoli,et al.  Deterministic and Stochastic QoS Provision for Real-Time Control Systems , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

[52]  A. Crespo,et al.  PaRTiKle OS , a replacement for the core of RTLinux-GPL , 2007 .

[53]  Paulo Tabuada,et al.  To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems , 2008, IEEE Transactions on Automatic Control.

[54]  Paulo Tabuada,et al.  Isochronous manifolds in self-triggered control , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[55]  Martin Törngren,et al.  The AIDA toolset for design and implementation analysis of distributed real-time control systems , 2004, Microprocess. Microsystems.

[56]  Scott A. Brandt,et al.  Dynamic integrated scheduling of hard real-time, soft real-time, and non-real-time processes , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[57]  Uwe Kiencke,et al.  Standardisation of Open Systems and Corresponding Interfaces for Automotive Electronics OSEK/VDX , 1998 .

[58]  Enrico Bini,et al.  On Lyapunov sampling for event-driven controllers , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[59]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

[60]  Alan Burns,et al.  Real Time Scheduling Theory: A Historical Perspective , 2004, Real-Time Systems.

[61]  Giorgio C. Buttazzo,et al.  Research trends in real-time computing for embedded systems , 2006, SIGBED.

[62]  Scott A. Brandt,et al.  Experimental evaluation of slack management in real-time control systems: Coordinated vs. self-triggered approach , 2010, J. Syst. Archit..

[63]  Anton Cervin,et al.  Optimal on-line scheduling of multiple control tasks: a case study , 2006, 18th Euromicro Conference on Real-Time Systems (ECRTS'06).

[64]  Paulo Tabuada,et al.  Space-time scaling laws for self-triggered control , 2008, 2008 47th IEEE Conference on Decision and Control.

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

[66]  Antonio Bicchi,et al.  Designing real-time embedded controllers using the anytime computing paradigm , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[67]  Anton Cervin,et al.  Tool supporting the co-design of control systems and their real-time implementation: Current status and future directions , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[68]  Manuel Mazo,et al.  On self-triggered control for linear systems: Guarantees and complexity , 2009, 2009 European Control Conference (ECC).

[69]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[70]  Lui Sha,et al.  On the Scheduling of Flexible and Reliable Real-Time Control Systems , 2003, Real-Time Systems.

[71]  Corporate Ieee Staff,et al.  ISO-IEC 9945-2: IEEE Std. 1003.2-1992 Information Technology - Portable Operating System Interface: Shell and Utilities , 1993 .

[72]  Mohamed El Mongi Ben Gaid,et al.  Optimal Real-Time Scheduling of Control Tasks With State Feedback Resource Allocation , 2009, IEEE Transactions on Control Systems Technology.

[73]  Karl-Erik Årzén,et al.  Trends in software and control , 2003 .

[74]  Giorgio C. Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications (Real-Time Systems Series) , 2010 .

[75]  Anton Cervin,et al.  Sporadic event-based control of first-order linear stochastic systems , 2008, Autom..

[76]  Lui Sha,et al.  Dynamic control system upgrade using the Simplex architecture , 1998 .

[77]  José Mª Fuertes Armengol,et al.  Performance evaluation framework (PEF) for real-time embedded control systems , 2012 .

[78]  Lui Sha,et al.  Task period selection and schedulability in real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[79]  Giorgio C. Buttazzo,et al.  Design of an Embedded Control System Laboratory Experiment , 2010, IEEE Transactions on Industrial Electronics.

[80]  Karl-Erik Årzén,et al.  Tools supporting the co-design of control systems and their real-time implementation : Current status and future directions , 2006 .

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

[82]  Manel Velasco,et al.  Performing Flexible Control on Low-Cost Microcontrollers Using a Minimal Real-Time Kernel , 2008, IEEE Transactions on Industrial Informatics.

[83]  Manel Velasco,et al.  A 10-Year Taxonomy on Prior Work on Sampling Period Selection for Resource-Constrained Real-Time Control Systems , 2007 .

[84]  Alberto L. Sangiovanni-Vincentelli,et al.  Maximizing the stability radius of a set of systems under real-time scheduling constraints , 2005, IEEE Transactions on Automatic Control.

[85]  M. R. Vonder,et al.  Asynchronous measurement and control: a case study on motor synchronization , 1999 .

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

[87]  Luigi Palopoli,et al.  An object‐oriented tool for simulating distributed real‐time control systems , 2002, Softw. Pract. Exp..

[88]  A. Cervin,et al.  Optimal On-line Sampling Period Assignment for Real-Time Control Tasks Based on Plant State Information , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[89]  Enrico Bini,et al.  Control-Driven Tasks: Modeling and Analysis , 2008, 2008 Real-Time Systems Symposium.

[90]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[91]  Z. Hanzalek,et al.  TORSCHE Scheduling toolbox for Matlab , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[92]  Karl Johan Åström,et al.  Computer-Controlled Systems: Theory and Design , 1984 .

[93]  W. P. M. H. Heemels,et al.  Analysis of event-driven controllers for linear systems , 2008, Int. J. Control.

[94]  K.-E. Arzen,et al.  An introduction to control and scheduling co-design , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).