Document Open Access Logo

AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems

Authors Alessandro Vittorio Papadopoulos, Enrico Bini, Sanjoy Baruah, Alan Burns

PDF
Thumbnail PDF

File

LIPIcs.ECRTS.2018.14.pdf
  • Filesize: 0.65 MB
  • 22 pages

Document Identifiers

Author Details

Alessandro Vittorio Papadopoulos
  • Mälardalen University, Västerås, Sweden
Enrico Bini
  • University of Turin, Turin, Italy
Sanjoy Baruah
  • Washington University, St. Louis (MO), USA
Alan Burns
  • University of York, York, UK

Funding

This work was partially supported by the Swedish Foundation for Strategic Research under the project "Future factories in the cloud (FiC)" with grant number GMT14-0032. This work is also supported by NSF grants CNS 1409175, CPS 1446631, and CNS 1563845.

Cite As Get BibTex

Alessandro Vittorio Papadopoulos, Enrico Bini, Sanjoy Baruah, and Alan Burns. AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems. In 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 106, pp. 14:1-14:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018) https://doi.org/10.4230/LIPIcs.ECRTS.2018.14

Abstract

A system is said to be resilient if slight deviations from expected behavior during run-time does not lead to catastrophic degradation of performance: minor deviations should result in no more than minor performance degradation. In mixed-criticality systems, such degradation should additionally be criticality-cognizant. The applicability of control theory is explored for the design of resilient run-time scheduling algorithms for mixed-criticality systems. Recent results in control theory have shown how appropriately designed controllers can provide guaranteed service to hard-real-time servers; this prior work is extended to allow for such guarantees to be made concurrently to multiple criticality-cognizant servers. The applicability of this approach is explored via several experimental simulations in a dual-criticality setting. These experiments demonstrate that our control-based run-time schedulers can be synthesized in such a manner that bounded deviations from expected behavior result in the high-criticality server suffering no performance degradation and the lower-criticality one, bounded performance degradation.

Subject Classification

ACM Subject Classification
  • Computing methodologies → Control methods
  • Computer systems organization → Real-time systems
Keywords
  • mixed criticality
  • control theory
  • run-time resilience
  • bounded overloads

Metrics

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

Supplementary Materials

References

  1. Luca Abeni, Luigi Palopoli, Giuseppe Lipari, and Jonathan Walpole. Analysis of a reservation-based feedback scheduler. In Proceedings of the 23rd IEEE Real-Time Systems Symposium, pages 71-80, Austix (TX), USA, dec 2002. Google Scholar
  2. Luis Almeida and Paulo Pedreiras. Scheduling within temporal partitions: response-time analysis and server design. In Proceedings of the 4^th ACM International Conference on Embedded Software, pages 95-103, Pisa, Italy, 2004. Google Scholar
  3. Sanjoy K. Baruah and Alan Burns. Implementing mixed criticality systems in Ada. In A. Romanovsky, editor, Proc. of Reliable Software Technologies - Ada-Europe 2011, pages 174-188. Springer, 2011. Google Scholar
  4. Alan Burns and Sanjoy K. Baruah. Towards a more practical model for mixed criticality systems. In Proc. 1st Workshop on Mixed Criticality Systems (WMC), RTSS, pages 1-6, 2013. Google Scholar
  5. Alan Burns and Robert I. Davis. A survey of research into mixed criticality systems. ACM Computer Surveys, 50(6):1-37, 2017. Google Scholar
  6. Alan Burns and Robert I. Davis. Mixed-criticality systems: A review (10th edition). (Accessed on Apr 8th, 2018), 2018. URL: http://www-users.cs.york.ac.uk/~burns/review.pdf.
  7. Anton Cervin and Johan Eker. Feedback scheduling of control tasks. In Proceedings of the 39th IEEE Conference on Decision and Control, pages 4871-4876, 2000. URL: http://dx.doi.org/10.1109/CDC.2001.914702.
  8. Tom Fleming and Alan Burns. Incorporating the notion of importance into mixed criticality systems. In Liliana Cucu-Grosjean and Robert I. Davis, editors, Proc. 2nd Workshop on Mixed Criticality Systems (WMC), RTSS, pages 33-38, 2014. Google Scholar
  9. Oliver Gettings, Sophie Quinton, and Robert I. Davis. Mixed criticality systems with weakly-hard constraints. In Proc. 23rd International Conference on Real-Time Networks and Systems (RTNS 2015), pages 237-246, 2015. Google Scholar
  10. Xiaozhe Gu and Arvind Easwaran. Dynamic budget management with service guarantees for mixed-criticality systems. In Proc. Real-Time Systems Symposium (RTSS), pages 47-56. IEEE, 2016. Google Scholar
  11. Xiaozhe Gu, Arvind Easwaran, Kieu-My Phan, and Insik Shin. Resource efficient isolation mechanisms in mixed-criticality scheduling. In Proc. 27th ECRTS, pages 13-24. IEEE, 2015. Google Scholar
  12. Ana Guasque, Patricia Balbastre, and Alfons Crespo. Real-time hierarchical systems with arbitrary scheduling at global level. Journal of Systems and Software, 119:70-86, 2016. Google Scholar
  13. Pengcheng Huang, Georgia Giannopoulou, Nikolay Stoimenov, and Lothar Thiele. Service adaptions for mixed-criticality systems. In Proc. 19th Asia and South Pacific Design Automation Conference (ASP-DAC), Singapore, 2014. Google Scholar
  14. Pengcheng Huang, Pratyush Kumar, Nikolay Stoimenov, and Lothar Thiele. Interference constraint graph - a new specification for mixed-criticality systems. In Proc. 18th Emerging Technologies and Factory Automation (ETFA), pages 1-8. IEEE, 2013. Google Scholar
  15. Mathieu Jan, Lilia Zaourar, and Maurice Pitel. Maximizing the execution rate of low criticality tasks in mixed criticality system. In Proc. 1st WMC, RTSS, pages 43-48, 2013. Google Scholar
  16. Jaewoo Lee, Hoon Sung Chwa, Linh T. X. Phan, Insik Shin, and Insup Lee. MC-ADAPT: Adaptive task dropping in mixed-criticality scheduling. ACM Trans. Embed. Comput. Syst., 16:163:1-163:21, 2017. Google Scholar
  17. Alberto Leva and Martina Maggio. Feedback process scheduling with simple discrete-time control structures. IET control theory &applications, 4(11):2331-2342, 2010. Google Scholar
  18. Giuseppe Lipari and Enrico Bini. Resource partitioning among real-time applications. In Proceedings of the 15-th Euromicro Conference on Real-Time Systems, pages 151-158, Porto, Portugal, 2003. Google Scholar
  19. D. Liu, J. Spasic, N. Guan, G. Chen, S. Liu, T. Stefanov, and W. Yi. EDF-VD scheduling of mixed-criticality systems with degraded quality guarantees. In Proc. IEEE RTSS, pages 35-46, 2016. Google Scholar
  20. Martina Maggio, Juri Lelli, and Enrico Bini. A tool for measuring supply functions of execution platforms. In Embedded and Real-Time Computing Systems and Applications (RTCSA), 2016 IEEE 22nd International Conference on, pages 39-48. IEEE, 2016. Google Scholar
  21. Aloysius K. Mok, Xiang Feng, and Deji Chen. Resource partition for real-time systems. In Proceedings of the 7^th IEEE Real-Time Technology and Applications Symposium, pages 75-84, Taipei, Taiwan, 2001. Google Scholar
  22. Alessandro Vittorio Papadopoulos, Martina Maggio, Alberto Leva, and Enrico Bini. Hard real-time guarantees in feedback-based resource reservations. Real-Time Systems, 51(3):221-246, 2015. Google Scholar
  23. Paraskevas N. Paraskevopoulos. Modern Control Engineering. Automation and Control Engineering. Taylor &Francis, 2001. Google Scholar
  24. Risat Mahmud Pathan. Improving the quality-of-service for scheduling mixed-criticality systems on multiprocessors. In Marko Bertogna, editor, Proc. Euromicro Conference on Real-Time Systems (ECRTS), volume 76 of Leibniz International Proceedings in Informatics (LIPIcs), pages 19:1-19:22. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017. Google Scholar
  25. Saravanan Ramanathan, Arvind Easwaran, and Hyeonjoong Cho. Multi-rate fluid scheduling of mixed-criticality systems on multiprocessors. Real-Time Systems, Online First, 2017. Google Scholar
  26. Jiankang Ren and Linh Thi Xuan Phan. Mixed-criticality scheduling on multiprocessors using task grouping. In Proc. 27th ECRTS, pages 25-36. IEEE, 2015. Google Scholar
  27. Insik Shin and Insup Lee. Periodic resource model for compositional real-time guarantees. In Proceedings of the 24^th Real-Time Systems Symposium, pages 2-13, Cancun, Mexico, dec 2003. Google Scholar
  28. John A. Stankovic, Chenyang Lu, Sang H. Son, and Gang Tao. The case for feedback control in real-time scheduling. In Proceedings of the Euromicro Conference on Real-Time, York, U.K., jun 1999. Google Scholar
  29. Hang Su, Peng Deng, Dakai Zhu, and Qi Zhu. Fixed-priority dual-rate mixed-criticality systems: Schedulability analysis and performance optimization. In Proc. Embedded and Real-Time Computing Systems and Applications (RTCSA), pages 59-68. IEEE, 2016. Google Scholar
  30. Hang Su, Nan Guan, and Dakai Zhu. Service guarantee exploration for mixed-criticality systems. In Proc. Embedded and Real-Time Computing Systems and Applications (RTCSA), pages 1-10. IEEE, 2014. Google Scholar
  31. Hang Su and Dakai Zhu. An elastic mixed-criticality task model and its scheduling algorithm. In Proceedings of the Conference on Design, Automation and Test in Europe, DATE, pages 147-152, 2013. Google Scholar
  32. Hang Su, Dakai Zhu, and Daniel Mosse. Scheduling algorithms for elastic mixed-criticality tasks in multicore systems. In Proc. RTCSA, 2013. Google Scholar
  33. Steve Vestal. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Proceedings of the Real-Time Systems Symposium, pages 239-243, Tucson, AZ, December 2007. IEEE Computer Society Press. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact