skip to main content
research-article

Response Time Analysis for Sporadic Server Based Budget Scheduling in Real Time Virtualization Environments

Authors Info & Claims
Published:27 September 2017Publication History
Skip Abstract Section

Abstract

Virtualization techniques for embedded real-time systems typically employ TDMA scheduling to achieve temporal isolation among different virtualized applications. Recent work already introduced sporadic server based solutions relying on budgets instead of a fixed TDMA schedule. While providing better average-case response times for IRQs and tasks, a formal response time analysis for the worst-case is still missing. In order to confirm the advantage of a sporadic server based budget scheduling, this paper provides a worst-case response time analysis. To improve the sporadic server based budget scheduling even more, we provide a background scheduling implementation which will also be covered by the formal analysis. We show correctness of the analysis approach and compare it against TDMA based systems. In addition to that, we provide response time measurements from a working hypervisor implementation on an ARM based development board.

References

  1. Luis Almeida and Paulo Pedreiras. 2004. Scheduling within temporal partitions: Response-time analysis and server design. In Proceedings of the 4th ACM International Conference on Embedded Software (EMSOFT’04). ACM, New York, NY, USA, 95--103. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Matthias Beckert and Rolf Ernst. 2015. Designing time partitions for real-time hypervisor with sufficient temporal independence. In Proc. of 52st Annual Design Automation Conference (DAC). ACM. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Matthias Beckert, Kai Björn Gemlau, and Rolf Ernst. 2017. Exploiting sporadic servers to provide budget scheduling for ARINC653 based real-time virtualization environments. In Proc. of Design Automation and Test in Europe (DATE). Lausanne, Switzerland. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Matthias Beckert, Moritz Neukirchner, Rolf Ernst, and Stefan M. Petters. 2014. Sufficient temporal independence and improved interrupt latencies in a real-time hypervisor. In Proc. of 51st Annual Design Automation Conference (DAC). ACM. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Robert I. Davis and Alan Burns. 2005. Hierarchical fixed priority pre-emptive scheduling. In Real-Time Systems Symposium, 2005. RTSS 2005. 26th IEEE International. IEEE, 10--pp. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Jonas Diemer, Philip Axer, and Rolf Ernst. 2012. Compositional performance analysis in python with PyCPA. Proc. of WATERS (2012).Google ScholarGoogle Scholar
  7. Embedded Office. 2017. C/OS-MMU. (2017). https://www.embedded-office.com/en/partitioning-system.html.Google ScholarGoogle Scholar
  8. Paul Emberson, Roger Stafford, and Robert I. Davis. 2010. Techniques for the synthesis of multiprocessor tasksets. In Proceedings 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2010). 6--11.Google ScholarGoogle Scholar
  9. Paolo Gai. 2002. ERIKA Enterprise, Open-source OSEK/VDX-certified RTOS. (2002). http://erika.tuxfamily.org.Google ScholarGoogle Scholar
  10. B. R. Heap. 1963. Permutations by interchanges. Comput. J. 6, 3 (1963), 293--298.Google ScholarGoogle ScholarCross RefCross Ref
  11. Gernot Heiser and Ben Leslie. 2010. The OKL4 Microvisor: Convergence point of microkernels and hypervisors. In Proc. of 1st Asia-Pacific Workshop on Workshop on Systems. ACM. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. 2005. System Level Performance Analysis--the SymTA/S Approach. IEEE Proceedings-Computers and Digital Techniques 152, 2 (2005), 148--166.Google ScholarGoogle ScholarCross RefCross Ref
  13. International Electrotechnical Commission. 2008. IEC61508 Ed.2 - Functional Safety of Electrical/Electronic/Programmable Safety-related Systems. (2008).Google ScholarGoogle Scholar
  14. International Standardization Organization. 2011. ISO26262 - Road Vehicles. Functional Safety. (2011).Google ScholarGoogle Scholar
  15. Robert Kaiser and Stephan Wagner. 2007. Evolution of the PikeOS Microkernel. In Proc. of 1st International Workshop on Microkernels for Embedded Systems (MIKES).Google ScholarGoogle Scholar
  16. Jean J. Labrosse. 2002. C/OS-II The Real Time Kernel. CMP Books. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. J. P. Lehoczky. 1990. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In Proc. of 11th Real-Time Systems Symposium (RTSS). IEEE, 201--209.Google ScholarGoogle ScholarCross RefCross Ref
  18. Moritz Neukirchner, Tobias Michaels, Philip Axer, Sophie Quinton, and Rolf Ernst. 2012. Monitoring arbitrary activation patterns in real-time systems. In Proc. of 33rd Real-Time Systems Symposium (RTSS). IEEE. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. P. J. Prisaznuk. 2008. ARINC 653 role in Integrated Modular Avionics (IMA). In Proc. of Digital Avionics Systems Conference (DASC).Google ScholarGoogle ScholarCross RefCross Ref
  20. Kai Richter. 2004. Compositional Scheduling Analysis Using Standard Event Models. Ph.D. Dissertation. Technische Universität Braunschweig.Google ScholarGoogle Scholar
  21. Saowanee Saewong, Ragunathan Rajkumar, John P. Lehoczky, and Mark H. Klein. 2002. Analysis of Hierar hical Fixed-Priority Scheduling. In ECRTS, Vol. 2. 173. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Simon Schliecker, Jonas Rox, Matthias Ivers, and Rolf Ernst. 2008. Providing Accurate Event Models for the Analysis of Heterogeneous Multiprocessor Systems. In Proc. of 6th International Conference on Hardware Software Codesign and System Synthesis (CODES+ISSS). Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Robert Sedgewick. 1977. Permutation generation methods. ACM Computing Surveys (CSUR) 9, 2 (1977), 137--164. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Brinkley Sprunt, Lui Sha, and John Lehoczky. 1989. Aperiodic task scheduling for hard-real-time systems. Real-Time Systems 1, 1 (1989).Google ScholarGoogle Scholar
  25. The IEEE and The Open Group. 2017. Base Specifications Issue 7, IEEE Std 1003. (2017). http://pubs.opengroup.org/onlinepubs/9699919799/.Google ScholarGoogle Scholar

Index Terms

  1. Response Time Analysis for Sporadic Server Based Budget Scheduling in Real Time Virtualization Environments

      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

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

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

      Learn more

      Got it!