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.
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Jonas Diemer, Philip Axer, and Rolf Ernst. 2012. Compositional performance analysis in python with PyCPA. Proc. of WATERS (2012).Google Scholar
- Embedded Office. 2017. C/OS-MMU. (2017). https://www.embedded-office.com/en/partitioning-system.html.Google Scholar
- 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 Scholar
- Paolo Gai. 2002. ERIKA Enterprise, Open-source OSEK/VDX-certified RTOS. (2002). http://erika.tuxfamily.org.Google Scholar
- B. R. Heap. 1963. Permutations by interchanges. Comput. J. 6, 3 (1963), 293--298.Google Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- International Electrotechnical Commission. 2008. IEC61508 Ed.2 - Functional Safety of Electrical/Electronic/Programmable Safety-related Systems. (2008).Google Scholar
- International Standardization Organization. 2011. ISO26262 - Road Vehicles. Functional Safety. (2011).Google Scholar
- Robert Kaiser and Stephan Wagner. 2007. Evolution of the PikeOS Microkernel. In Proc. of 1st International Workshop on Microkernels for Embedded Systems (MIKES).Google Scholar
- Jean J. Labrosse. 2002. C/OS-II The Real Time Kernel. CMP Books. Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- P. J. Prisaznuk. 2008. ARINC 653 role in Integrated Modular Avionics (IMA). In Proc. of Digital Avionics Systems Conference (DASC).Google Scholar
Cross Ref
- Kai Richter. 2004. Compositional Scheduling Analysis Using Standard Event Models. Ph.D. Dissertation. Technische Universität Braunschweig.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Robert Sedgewick. 1977. Permutation generation methods. ACM Computing Surveys (CSUR) 9, 2 (1977), 137--164. Google Scholar
Digital Library
- Brinkley Sprunt, Lui Sha, and John Lehoczky. 1989. Aperiodic task scheduling for hard-real-time systems. Real-Time Systems 1, 1 (1989).Google Scholar
- The IEEE and The Open Group. 2017. Base Specifications Issue 7, IEEE Std 1003. (2017). http://pubs.opengroup.org/onlinepubs/9699919799/.Google Scholar
Index Terms
Response Time Analysis for Sporadic Server Based Budget Scheduling in Real Time Virtualization Environments
Recommendations
Real-Time Performance Analysis and Tuning of Embedded System Virtualization Architecture Based on KVM
Embedded systems are proceeding towards exploiting virtualization technology to have the benefits of Real-Time Operating System (RTOS) and General-Purpose Operating System (GPOS) in the same system. This combination provides both a timely and ...
Sampling-based Steal Time Accounting under Hardware Virtualization
ICPE '15: Proceedings of the 6th ACM/SPEC International Conference on Performance EngineeringVirtualization enables the efficient sharing of hardware resources among multiple virtual machines (VMs). Because the physical resources are limited, the scheduler must often suspend one VM to allow some other VM to run. The operating system in a VM is ...
Real-time scheduling in cloud-based virtualized software systems
NordiCloud '13: Proceedings of the Second Nordic Symposium on Cloud Computing & Internet TechnologiesThe number of applications that use virtualized cloud-based systems is growing, and one would like to use this kind of systems also for real-time applications with hard deadlines. There is scheduling on two levels in real-time applications executing in ...






Comments