skip to main content
research-article

Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets

Published:08 October 2019Publication History
Skip Abstract Section

Abstract

In mixed-criticality systems, tasks of different criticality share system resources, mainly to reduce cost. Cost is further reduced by using adaptive mode-based scheduling arrangements, such as Vestal’s model, to improve resource efficiency, while guaranteeing schedulability of critical functionality. To simplify safety certification, servers are often used to provide temporal isolation between tasks. In its simplest form, a server is a periodically recurring time window, in which some tasks are scheduled. A server’s computational requirements may greatly vary in different modes, although state-of-the-art techniques and schedulability tests do not allow different budgets to be used by a server in different modes. This results in a single conservative execution budget for all modes, increasing system cost.

The goal of this paper is to reduce the cost of mixed-criticality systems through three main contributions: (i) a scheduling arrangement for uniprocessor systems employing fixed-priority scheduling within periodic servers, whose budgets are dynamically adjusted at run-time in the event of a mode change, (ii) a new schedulability analysis for such systems, and (iii) heuristic algorithms for assigning budgets to servers in different modes and ordering the execution of the servers. Experiments with synthetic task sets demonstrate considerable improvements (up to 52.8%) in scheduling success ratio when using dynamic server budgets vs. static “one-size-fits-all-modes” budgets.

References

  1. 2016. Certification Authorities Software Team (CAST), Position Paper (CAST-32A) Multicore Processors.Google ScholarGoogle Scholar
  2. AERONAUTICAL RADIO, INC. 2010. Avionics application software standard interface, part 1, required services (ARINC SPECIFICATION 653P1-3 ed.). AERONAUTICAL RADIO, INC.Google ScholarGoogle Scholar
  3. M. A. Awan, K. Bletsas, P. F. Souto, and E. Tovar. 2017. Semi-partitioned mixed-criticality scheduling. In Proceedings of the 30th International Conference Architecture of Computing Systems. 205--218.Google ScholarGoogle Scholar
  4. Muhammad Ali Awan, Pedro F. Souto, Benny Akesson, Konstantinos Bletsas, and Eduardo Tovar. 2019. Uneven memory regulation for scheduling IMA applications on multi-core platforms. Journal of Real--Time Systems 55, 2 (01 Apr 2019), 248--292. DOI:https://doi.org/10.1007/s11241-018-9322-yGoogle ScholarGoogle ScholarDigital LibraryDigital Library
  5. S. K. Baruah and A. Burns. 2011. Implementing mixed criticality systems in Ada. In 16th Ada-Europe Conf. 174--188.Google ScholarGoogle Scholar
  6. S. K. Baruah, A. Burns, and R. I. Davis. 2011. Response-time analysis for mixed criticality systems. In Proceedings of the 32nd IEEE Real-Time Systems Symposium. 34--43.Google ScholarGoogle Scholar
  7. A. Bastoni, B. Brandenburg, and J. H. Anderson. 2010. Cache-related preemption and migration delays: Empirical approximation and impact on schedulability. In 6th Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT). 33--44.Google ScholarGoogle Scholar
  8. M. Beckert and R. Ernst. 2015. Designing time partitions for real-time hypervisor with sufficient temporal independence. In Proceedings of the 52nd Design Automation Conference. 1--6.Google ScholarGoogle Scholar
  9. Matthias Beckert and Rolf Ernst. 2017. Response time analysis for sporadic server based budget scheduling in real time virtualization environments. ACM Transactions on Embedded Computing Systems 16, 5s, Article 161 (Sept. 2017), 19 pages. DOI:https://doi.org/10.1145/3126559Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. E. Bini and G. C. Buttazzo. 2009. Measuring the performance of schedulability tests. Journal of Real--Time Systems 30, 1–2 (2009), 129--154.Google ScholarGoogle Scholar
  11. K. Bletsas, M. A. Awan, P. F. Souto, B. Akesson, A. Burns, and E. Tovar. 2018. De-coupling criticality and importance in mixed-criticality scheduling. In Proceedings of the 6th Workshop on Mixed-Criticality Systems. 25--30.Google ScholarGoogle Scholar
  12. A. Burns and R. I. Davis. 2014. Adaptive mixed criticality scheduling with deferred preemption. In Proceedings of the 35rd IEEE Real-Time Systems Symposium. 21--30.Google ScholarGoogle Scholar
  13. M. Chisholm, N. Kim, S. Tang, N. Otterness, J. H. Anderson, F. D. Smith, and D. E. Porter. 2017. Supporting mode changes while providing hardware isolation in mixed-criticality multicore systems. In Proceedings of the 25th Conference Real-Time and Networked Systems. 58--67.Google ScholarGoogle Scholar
  14. C. Evripidou and A. Burns. 2016. Scheduling for mixed-criticality hypervisor systems in the automotive domain. In Proceedings of the 4th Workshop on Mixed-Criticality Systems.Google ScholarGoogle Scholar
  15. X. Gu and A. Easwaran. 2016. Dynamic budget management with service guarantees for mixed-criticality systems. In Proceedings of the 37rd IEEE Real-Time Systems Symposium. 47--56.Google ScholarGoogle Scholar
  16. X. Gu, A. Easwaran, K. Phan, and I. Shin. 2015. Resource efficient isolation mechanisms in mixed-criticality scheduling. In Proceedings of the 27th Euromicro Conference on Real-Time Systems. 13--24.Google ScholarGoogle Scholar
  17. F. Guan, L. Peng, L. Perneel, H. Fayyad-Kazan, and M. Timmerman. 2017. Adaptive reservation into mixed-criticality systems. Scientific Programming 2017 (2017).Google ScholarGoogle Scholar
  18. J. L. Herman, C. J. Kenna, M. S. Mollison, J. H. Anderson, and D. M. Johnson. 2012. RTOS support for multicore mixed-criticality systems. In Proceedings of the 18th IEEE Real-Time and Embedded Technology and Applications Symposium. 197--208.Google ScholarGoogle Scholar
  19. B. Hu, K. Huang, G. Chen, L. Cheng, and A. Knoll. 2016. Adaptive workload management in mixed-criticality systems. ACM Transactions on Embedded Computing Systems 16, 1 (2016), 14:1--14:27.Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. B. Hu, L. Thiele, P. Huang, K. Huang, C. Griesbeck, and A. S. Knoll. 2018. FFOB: Efficient online mode-switch procrastination in mixed-criticality systems. Journal of Real--Time Systems 55, 3 (2018), 471--513.Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. H.-M. Huang, C. Gill, and C. Lu. 2012. Implementation and evaluation of mixed-criticality scheduling approaches for periodic tasks. In Proceedings of the 18th IEEE Real-Time and Embedded Technology and Applications Symposium. 23--32.Google ScholarGoogle Scholar
  22. Davis R. I. and Burns A. 2009. Priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. In Proceedings of the 30th IEEE Real-Time Systems Symposium. 398--409.Google ScholarGoogle Scholar
  23. M. Joseph and P. Pandya. 1986. Finding response times in a real-time system. Comput. J. 29, 5 (1986), 390--395.Google ScholarGoogle ScholarCross RefCross Ref
  24. N. Kim, B. C. Ward, M. Chisholm, C.-Y. Fu, J. H. Anderson, and F. D. Smith. 2017. Attacking the one-out-of-m multicore problem by combining hardware management with mixed-criticality provisioning. Journal of Real--Time Systems 53, 5 (2017), 709--759.Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. S. Kirkpatrick, C. D. Gelatt, , and M. P. Vecchi. 1983. Optimization by simulated annealing. Science 220 (1983), 671--680.Google ScholarGoogle ScholarCross RefCross Ref
  26. Stephen Law, Iain Bate, and Benjamin Lesage. 2019. Industrial application of a partitioning scheduler to support mixed criticality systems. In Proceedings of the 31th Euromicro Conference on Real-Time Systems. 8:1--8:22.Google ScholarGoogle Scholar
  27. G. Lipari and G. C. Buttazzo. 2013. Resource reservation for mixed criticality systems. In Workshop on Real-Time Systems: The Past, The Present, and the Future.Google ScholarGoogle Scholar
  28. E. Missimer, K. Missimer, and R. West. 2016. Mixed-criticality scheduling with I/O. In Proceedings of the 28th Euromicro Conference on Real-Time Systems. 120--130.Google ScholarGoogle Scholar
  29. Alessandro Vittorio Papadopoulos, Enrico Bini, Sanjoy Baruah, and Alan Burns. 2018. AdaptMC: A control-theoretic approach for achieving resilience in mixed-criticality systems. In Proceedings of the 30th Euromicro Conference on Real-Time Systems. 14:1--14:22.Google ScholarGoogle Scholar
  30. Jiankang Ren and Linh Thi Xuan Phan. 2015. Mixed-criticality scheduling on multiprocessors using task grouping. In Proceedings of the 27th Euromicro Conference on Real-Time Systems. 25--34.Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. RTCA, Inc. 2012. RTCA/DO-178C. U.S. Dept. of Transportation, Federal Aviation Administration.Google ScholarGoogle Scholar
  32. P. B. Sousa, K. Bletsas, E. Tovar, P. F. Souto, and B. Åkesson. 2014. Unified overhead-aware schedulability analysis for slot-based task-splitting. Journal of Real--Time Systems 50, 5-6 (2014), 680--735.Google ScholarGoogle ScholarDigital LibraryDigital Library
  33. P. Souto, P. B. Sousa, R. I. Davis, K. Bletsas, and E. Tovar. 2015. Overhead-aware schedulability evaluation of semi-partitioned real-time schedulers. In Proceedings of the 21st IEEE Conference on Embedded and Real-Time Computing and Applications. 110--121.Google ScholarGoogle Scholar
  34. Domitian Tamas-Selicean and Paul Pop. 2011. Optimization of time-partitions for mixed-criticality real-time distributed embedded systems. In Proceedings of the 14thIEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. 1--10.Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. S. Vestal. 2007. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Proceedings of the 28th IEEE Real-Time Systems Symposium. 239--243.Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Article Metrics

        • Downloads (Last 12 months)10
        • Downloads (Last 6 weeks)2

        Other Metrics

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      HTML Format

      View this article in HTML Format .

      View HTML Format
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!