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

Cite AsGet 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

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