A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems

Authors Tim Rheinfels , Maximilian Gaukler , Peter Ulbrich



PDF
Thumbnail PDF

File

LIPIcs.ECRTS.2023.11.pdf
  • Filesize: 3.52 MB
  • 26 pages

Document Identifiers

Author Details

Tim Rheinfels
  • Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany
Maximilian Gaukler
  • Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany
Peter Ulbrich
  • TU Dortmund, Germany

Cite AsGet BibTex

Tim Rheinfels, Maximilian Gaukler, and Peter Ulbrich. A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems. In 35th Euromicro Conference on Real-Time Systems (ECRTS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 262, pp. 11:1-11:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.ECRTS.2023.11

Abstract

The increasing complexity of real-time systems, comprising control tasks interacting with physics and non-control tasks, comes with substantial challenges: meeting various non-functional requirements implies conflicting design goals and a pronounced gap between worst and average-case resource requirements up to the overall timeliness being unverifiable. Mixed-criticality systems (MCS) is a well-known mitigation concept that operates the system in different criticality levels with timing guarantees given only to the subset of critical tasks. However, in many real-world applications, the criticality of control tasks is tied to the system’s physical state and control deviation, with safety specifications becoming a crucial design objective. Monitoring the physical state and adapting scheduling is inaccessible to MCS but has been dedicated mainly to control engineering approaches such as self-triggered (model-predictive) control. These, however, are hard to integrate with scheduling or expensive at run-time. This paper explores the potential of linking both worlds and elevating the physical state to a criticality criterion. We, therefore, propose a dedicated state estimation that can be leveraged as a run-time monitor for criticality mode changes. For this purpose, we develop a highly efficient one-dimensional state abstraction to be computed within the operating system’s scheduling. Furthermore, we show how to limit abstraction pessimism by feeding back state measurements robustly. The paper focuses on the control fundamentals and outlines how to leverage this new tool in adaptive scheduling. Our experimental results substantiate the efficiency and applicability of our approach.

Subject Classification

ACM Subject Classification
  • Computer systems organization → Real-time systems
  • Computer systems organization → Embedded and cyber-physical systems
  • Computer systems organization → Dependable and fault-tolerant systems and networks
Keywords
  • Real-time Control
  • Mixed-Criticality
  • Switched Systems
  • State Monitoring

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Ricardo P. Aguilera and Daniel E. Quevedo. On the stability of MPC with a Finite Input Alphabet. IFAC Proceedings Volumes, 44(1):7975-7980, 2011. URL: https://doi.org/10.3182/20110828-6-IT-1002.02705.
  2. Anayo K. Akametalu, Claire J. Tomlin, and Mo Chen. Reachability-Based Forced Landing System. Journal of Guidance, Control, and Dynamics, 41(12):2529-2542, 2018. URL: https://doi.org/10/gfpcbn.
  3. Shigeru Akashi, Hideaki Ishii, and Ahmet Cetinkaya. Self-triggered control with tradeoffs in communication and computation. Automatica, 94:373-380, 2018. URL: https://doi.org/10.1016/j.automatica.2018.04.028.
  4. K.-E. Årzén, A. Cervin, J. Eker, and L. Sha. An introduction to control and scheduling co-design. In Proceedings of the 39superscriptth IEEE Conference on Decision and Control, volume 5, pages 4865-4870, 2000. URL: https://doi.org/10/ck4mjj.
  5. Stanley Bak, Deepti K. Chivukula, Olugbemiga Adekunle, Mu Sun, Marco Caccamo, and Lui Sha. The system-level simplex architecture for improved real-time embedded system safety. In Proceedings of the 15superscriptth IEEE Real-Time and Embedded Technology and Applications Symposium, pages 99-107, 2009. URL: https://doi.org/10.1109/RTAS.2009.20.
  6. André Benine-Neto, Stefano Scalzi, Saïd Mammar, and Mariana Netto. Dynamic controller for lane keeping and obstacle avoidance assistance system. In 13superscriptth International IEEE Conference on Intelligent Transportation Systems, pages 1363-1368, 2010. URL: https://doi.org/10/bj4xpb.
  7. Guillem Bernat, Alan Burns, and Alberto Liamosi. Weakly Hard Real-time Systems. IEEE Transactions on Computers, 50(4):308-321, 2001. URL: https://doi.org/10/cqd6d3.
  8. Enrico Bini and Giuseppe M. Buttazzo. The optimal sampling pattern for linear control systems. IEEE Transactions on Automatic Control, 59(1):78-90, 2014. URL: https://doi.org/10/f3nxws.
  9. Mark Cannon, Johannes Buerger, Basil Kouvaritakis, and Saša Rakovic. Robust Tubes in Nonlinear Model Predictive Control. IEEE Transactions on Automatic Control, 56(8):1942-1947, 2011. URL: https://doi.org/10/dhg386.
  10. Rosa Castañé, Pau Marti, Manel Velasco, Anton Cervin, and Daniel Henriksson. Resource management for control tasks based on the transient dynamics of closed-loop systems. In Proceedings of the 18superscriptth Euromicro Conf. on Real-Time Systems (ECRTS '06), pages 172-182, Los Alamitos, CA, USA, 2006. URL: https://doi.org/10/bx9rps.
  11. Anton Cervin, Johan Eker, Bo Bernhardsson, and Karl-Erik Årzén. Feedback–feedforward scheduling of control tasks. Real-Time Systems, 23(1-2):25-53, 2002. URL: https://doi.org/10/fnb5nk.
  12. Anton Cervin, Manel Velasco, Pau Martí, and Antonio Camacho. Optimal online sampling period assignment: Theory and experiments. IEEE Trans. on Control Systems Technology, 19(4):902-910, 2011. URL: https://doi.org/10/d38qtf.
  13. Long Cheng, Kai Huang, Gang Chen, Biao Hu, and Alois Knoll. Mixed-criticality control system with performance and robustness guarantees. In Proceedings of the IEEE Trustcom/BigDataSE/ICESS, pages 767-775, 2017. URL: https://doi.org/10/gr65zt.
  14. Hoon Sung Chwa, Kang G. Shin, and Jinkyu Lee. Closing the gap between stability and schedulability: A new task model for cyber-physical systems. In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, pages 327-337, 2018. URL: https://doi.org/10/gqz7sd.
  15. Xiaotian Dai, Wanli Chang, Shuai Zhao, and Alan Burns. A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design. ACM Transactions on Embedded Computing Systems (TECS), 18(5s):85:1-85:20, October 2019. URL: https://doi.org/10/gq5wfw.
  16. Monia Dkhil, Thach Ngoc Dinh, Zhenhua Wang, Tarek Raïssi, and Messaoud Amairi. Interval Estimation for Discrete-Time Switched Linear Systems Based on L_∞ Observer and Ellipsoid Analysis. IEEE Control Systems Letters, 5(1):13-18, 2021. URL: https://doi.org/10/gq5wdm.
  17. Daniele Fontanelli, Luca Greco, and Luigi Palopoli. Soft real-time scheduling for embedded control systems. Automatica, 49(8):2330-2338, 2013. URL: https://doi.org/10/gq5wfr.
  18. Maximilian Gaukler, Andreas Michalka, Peter Ulbrich, and Tobias Klaus. A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing. In Proceedings of the 21superscriptst International Conference on Hybrid Systems: Computation and Control (HSCC '18), pages 91-100, New York, NY, USA, April 2018. ACM. URL: https://doi.org/10/gq5wdx.
  19. Maximilian Gaukler, Tim Rheinfels, Peter Ulbrich, and Günter Roppenecker. Convergence Rate Abstractions for Weakly-Hard Real-Time Control, 2019. URL: https://doi.org/10/gq5wdt.
  20. Luca Greco, Daniele Fontanelli, and Antonio Bicchi. Design and Stability Analysis for Anytime Control via Stochastic Scheduling. IEEE Transactions on Automatic Control, 56(3):571-585, March 2011. URL: https://doi.org/10/bgwcfj.
  21. Moncef Hamdaoui and Parameswaran Ramanathan. A Dynamic Priority Assignment Technique for Streams with (m, K)-firm Deadlines. IEEE Transactions on Computers, 44(12):1443-1451, 1995. URL: https://doi.org/10/cq995j.
  22. W. P. M. H. Heemels and M. C. F. Donkers. Model-based periodic event-triggered control for linear systems. Automatica, 49(3):698-711, 2013. URL: https://doi.org/10/f4sp65.
  23. W. P. M. H. Heemels, Karl Henrik Johansson, and Paulo Tabuada. An introduction to event-triggered and self-triggered control. In 2012 IEEE 51superscriptst IEEE Conference on Decision and Control (CDC), pages 3270-3285, 2012. URL: https://doi.org/10/f22pf7.
  24. Dan Henriksson, Anton Cervin, Johan Åkesson, and Karl-Erik Årzén. Feedback scheduling of model predictive controllers. In Proceedings of the Eighth IEEE Real-Time and Embedded Technology and Applications Symposium, pages 207-216, 2002. URL: https://doi.org/10/frxj6d.
  25. Erik Henriksson, Daniel E. Quevedo, Henrik Sandberg, and Karl Henrik Johansson. Self-Triggered Model Predictive Control for Network Scheduling and Control. IFAC Proceedings Volumes, 45(15):432-438, 2012. URL: https://doi.org/10/f24cvt.
  26. Viacheslav Izosimov and Erik Levholt. Mixed criticality metric for safety-critical cyber-physical systems on multi-core architectures. Methods, 2:8, 2015. Google Scholar
  27. Tor Arne Johansen. Toward dependable embedded model predictive control. IEEE Systems Journal, 11(2):1208-1219, 2017. URL: https://doi.org/10.1109/JSYST.2014.2368129.
  28. Yingzhao Lian, Yuning Jiang, Naomi Stricker, Lothar Thiele, and Colin N. Jones. Robust resource-aware self-triggered model predictive control. IEEE Control Systems Letters, 6:1724-1729, 2022. URL: https://doi.org/10/gr65zv.
  29. Martina Maggio, Arne Hamann, Eckart Mayer-John, and Dirk Ziegenbein. Control-System Stability Under Consecutive Deadline Misses Constraints. In Marcus Völp, editor, 32superscriptnd Euromicro Conference on Real-Time Systems (ECRTS 2020), volume 165 of Leibniz International Proceedings in Informatics (LIPIcs), pages 21:1-21:24, Dagstuhl, Germany, 2020. Schloss Dagstuhl-Leibniz-Zentrum für Informatik. URL: https://doi.org/10/ghqcvc.
  30. Benjamin Noack, Marcus Baum, and Uwe D. Hanebeck. State estimation for ellipsoidally constrained dynamic systems with set-membership pseudo measurements. In Proceedings of the IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI), pages 297-302, 2015. URL: https://doi.org/10/gq5wfg.
  31. Paolo Pazzaglia, Arne Hamann, Dirk Ziegenbein, and Martina Maggio. Adaptive design of real-time control systems subject to sporadic overruns. In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 1887-1892, 2021. URL: https://doi.org/10/gq5whh.
  32. Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio, and Anton Cervin. DMAC: Deadline-Miss-Aware Control. In Sophie Quinton, editor, Proceedings of the 31superscriptst Euromicro Conference on Real-Time Systems (ECRTS 2019), volume 133 of Leibniz International Proceedings in Informatics (LIPIcs), pages 1:1-1:24, Dagstuhl, Germany, 2019. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. URL: https://doi.org/10/gf6j4p.
  33. Gilberto Pin, Peng Li, Giuseppe Fedele, and Thomas Parisini. A deadbeat observer for LTI systems by time/output-dependent state mapping. In 2017 IEEE 56th Annual Conference on Decision and Control (CDC), pages 4795-4800, 2017. URL: https://doi.org/10.1109/CDC.2017.8264367.
  34. Reinhard Schneider, Dip Goswami, Alejandro Masrur, Martin Becker, and Samarjit Chakraborty. Multi-layered Scheduling of Mixed-criticality Cyber-physical Systems. Journal of System Architecture, 59(10):1215-1230, November 2013. URL: https://doi.org/10/f5qdjc.
  35. Danbing Seto, Bruce H. Krogh, Lui Sha, and Alongkarn Chutinan. Dynamic control system upgrade using the simplex architecture. IEEE Control Systems, 18(4):72-80, August 1998. URL: https://doi.org/10/fk87g6.
  36. Danbing Seto, John P. Lehoczky, Lui Sha, and Kang G. Shin. On Task Schedulability in Real-time Control Systems. In Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), pages 13-21, Los Alamitos, CA, USA, December 1996. URL: https://doi.org/10.1109/REAL.1996.563693.
  37. STMicroelectronics. Reference manual RM0383, Rev 3, 2018. Google Scholar
  38. Mohammad M. Sultan, Daniel Biediger, Bernard Li, and Aaron T. Becker. The Reachable Set of a Drone: Exploring the Position Isochrones for a Quadcopter. In 2021 IEEE International Conference on Robotics and Automation (ICRA), pages 7679-7685, 2021. URL: https://doi.org/10.1109/ICRA48506.2021.9561715.
  39. Sebastian Trimpe and Raffaello D'Andrea. Event-based state estimation with variance-based triggering. IEEE Transactions on Automatic Control, 59(12):3266-3281, 2014. URL: https://doi.org/10.1109/TAC.2014.2351951.
  40. Sezai Emre Tuna. Deadbeat Observer: Construction via Sets. IEEE Transactions on Automatic Control, 57(9):2333-2337, 2012. URL: https://doi.org/10.1109/TAC.2012.2183197.
  41. Lieven Vandenberghe and Stephen Boyd. Semidefinite Programming. SIAM Review, 38(1):49-95, 1996. URL: https://doi.org/10.1137/1038003.
  42. Steve Vestal. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Proceedings of the 28superscriptth IEEE International Real-Time Systems Symposium (RTSS '07), pages 239-243, 2007. URL: https://doi.org/10/cg89kh.
  43. Prasanth Vivekanandan, Gonzalo Andres Garcia, Heechul Yun, and Shawn Shahriar Keshmiri. A simplex architecture for intelligent and safe unmanned aerial vehicles. In Proceedings of the IEEE 22superscriptnd International Conference on Embedded and Real-Time Computing Systems and Applications, pages 69-75, 2016. URL: https://doi.org/10.1109/RTCSA.2016.17.
  44. Nils Vreman, Anton Cervin, and Martina Maggio. Stability and Performance Analysis of Control Systems Subject to Bursts of Deadline Misses. In Björn B. Brandenburg, editor, Proceedings of the 33superscriptrd Euromicro Conference on Real-Time Systems, volume 196 of Leibniz International Proceedings in Informatics (LIPIcs), pages 15:1-15:23, Dagstuhl, Germany, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL: https://doi.org/10.4230/LIPIcs.ECRTS.2021.15.
  45. Nils Vreman, Paolo Pazzaglia, Victor Magron, Jie Wang, and Martina Maggio. Stability of Linear Systems Under Extended Weakly-Hard Constraints. IEEE Control Systems Letters, 6:2900-2905, 2022. URL: https://doi.org/10/gqnxtm.
  46. Guorong Wang, Yimin Wei, and Sanzheng Qiao. Generalized Inverses: Theory and Computations. Springer Singapore, first edition, 2018. URL: https://doi.org/10/gq5wd4.
  47. Xiaofeng Wang, Naira Hovakimyan, and Lui Sha. Rsimplex: A robust control architecture for cyber and physical failures. ACM Transactions on Cyber-Physical Systems, 2(4), July 2018. URL: https://doi.org/10.1145/3121428.