An evaluation of microkernel-based virtualization for embedded real-time systems

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2010, Pages 57-65

  Bruns, Felix ^a   Traboulsi, Shadi ^a   Szczesny, David ^a   Gonzalez, Elizabeth ^a   Xu, Yang ^b   Bilgic, Attila ^b  

^a RUHR UNIVERSITY BOCHUM   (Germany)

^b INFINEON TECHNOLOGIES AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COST BENEFITS; COST CONSTRAINTS; CURRENT SYSTEM; EMBEDDED REAL TIME SYSTEMS; INTERRUPT LATENCY; MOBILE MARKETS; PERFORMANCE LOSS; PHYSICAL SEPARATION; REAL TIME CONSTRAINTS; REAL TIME OPERATING SYSTEM; REAL-TIME APPLICATION; RELIABILITY AND ROBUSTNESS; SINGLE PROCESSORS; SWITCHING TIME; SYSTEM FUNCTIONALITY; THIRD PARTIES; TRADITIONAL SYSTEMS; VIRTUALIZATIONS;

COMPUTER OPERATING SYSTEMS; EMBEDDED SYSTEMS;

REAL TIME SYSTEMS;

EID: 77958496272     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2010.28     Document Type: Conference Paper

References (16)

1. Fiasco website. http://os.inf.tu-dresden.de/fiasco/.
2. L4Linux website. http://os.inf.tu-dresden.de/L4/LinuxOnL4/.
3. FreeRTOS website. http://www.freertos.org.
4. Frank Mehnert, Michael Hohmuth, and Hermann Härtig. Cost and benefit of separate address spaces in real-time operating systems. In RTSS '02: Proceedings of the 23rd IEEE Real-Time Systems Symposium, page 124, Washington, DC, USA, 2002. IEEE Computer Society.
5. R Kaiser and St Wagner. Evolution of the PikeOS microkernel. In IKES 2007. First International Workshop on Microkernels for Embedded Systems, pages 48-57, 2007.
6. Jörg Brakensiek, Axel Dröge, Martin Botteck, Hermann Ḧartig, and Adam Lackorzynski. Virtualization as an enabler for security in mobile devices. In IIES '08: Proceedings of the 1st workshop on Isolation and integration in embedded systems, pages 17-22, New York, NY, USA, 2008. ACM.
7. Ashvin Goel, Luca Abeni, Charles Krasic, Jim Snow, and Jonathan Walpole. Supporting time-sensitive applications on a commodity os. SIGOPS Oper. Syst. Rev., 36(SI):165-180, 2002.
8. Sergio Ruocco. A real-time programmer's tour of generalpurpose L4 microkernels. EURASIP J. Embedded Syst., 2008:1-14, 2008.
9. Robert Krten. Google Android-IPC at the lowest levels. Embedded.com.
10. Udo Steinberg, Jean Wolter, and Hermann Hartig. Fast component interaction for real-time systems. In ECRTS '05: Proceedings of the 17th Euromicro Conference on Real-Time Systems, pages 89-97, Washington, DC, USA, 2005. IEEE Computer Society.
11. Adam Lackorzynski and Alexander Warg. Taming subsystems: capabilities as universal resource access control in L4. In IIES '09: Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, pages 25-30, New York, NY, USA, 2009. ACM.
12. Operating Systems Group of the TU Dresden. http://www.inf.tu-dresden.de.
13. D. Szczesny, A. Showk, S. Hessel, and A Bilgic. Performance analysis of LTE protocol processing on an ARM based mobile platform. In SOC 2009: International Symposium on System-On-Chip, pages 56-63, 2009.
14. J. Lehoczky, L. Sha, and Y. Ding. The rate monotonic scheduling algorithm: exact characterization and average case behavior. In IEEE Real Time Systems Symposium, pages 166- 171, 1989.
15. Jochen Liedtke, Hermann Haertig, and Michael Hohmuth. OS-controlled cache predictability for real-time systems. In RTAS '97: Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97), page 213, Washington, DC, USA, 1997. IEEE Computer Society.
16. S. Hessel, F. Bruns, A. Bilgic, A. Lackorzynski, H. Härtig, and J. Hausner. Acceleration of the L4/Fiasco microkernel using scratchpad memory. In MobiVirt '08: Proceedings of the First Workshop on Virtualization in Mobile Computing, pages 6-10, New York, NY, USA, 2008. ACM.