A programmable microkernel for real-time systems

Proceedings of the First ACM/USENIX International Conference on Virual Execution Environments, VEE 05

Volumn , Issue , 2005, Pages 35-45

  Kirsch, Christoph M ^a,b,c   Sanvido, Marco A A ^a,b,c   Henzinger, Thomas A ^a,b,c  

^a UNIVERSITY OF SALZBURG   (Austria)

^b VMWARE INC   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Operating System; Real Time; Virtual Machine

Indexed keywords

TASK SCHEDULING; VIRTUAL MACHINES;

CODES (SYMBOLS); COMPUTER ARCHITECTURE; COMPUTER HARDWARE; COMPUTER OPERATING SYSTEMS; OPTIMIZATION; REAL TIME SYSTEMS; SCHEDULING;

COMPUTER SOFTWARE;

EID: 32044448459     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1064979.1064986     Document Type: Conference Paper

References (21)

1. M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: A new kernel foundation for UNIX development. In Proc. USENIX Summer Conference, pages 93-113, 1986.
2. B. Bershad, S. Savage, P. Pardyak, E. Sirer, D. Becker, M. Fiuczynski, C. Chambers, and S. Eggers. Extensibility, safety and performance in the SPIN operating system. In Proc. SOSP. ACM Press, 1995.
3. Y. Cai and M.C. Kong. Nonpreemptive scheduling of periodic tasks in uni- and multiprocessor systems. Algorithmica, 15(6):572-599, 1996.
4. E. Cheong, J. Liebman, J. Liu, and F. Zhao. Tinygals: A programming model for event-driven embedded systems. In Proc. SAC. ACM Press, 2003.
5. C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, and R. Wilhelm. Reliable and precise WCET determination for a real-life processor. In Proc. EMSOFT, LNCS 2211, pages 469-485. Springer, 2001.
6. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1993.
7. H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg, and J. Wolter. The performance of μ-kernel-based systems. In Proc. SOSP. ACM Press, 1997.
8. T.A. Henzinger, B. Horowitz, and C.M. Kirsch. GIOTTO: A time-triggered language for embedded programming. Proc. of the IEEE, 91(1):84-99, 2003.
9. T.A. Henzinger and C.M. Kirsch. The Embedded Machine: Predictable, portable real-time code. In Proc. PLDI, pages 315-326. ACM Press, 2002.
10. T.A. Henzinger, C.M. Kirsch, R. Majumdar, and S. Matic. Time-safety checking for embedded programs. In Proc. EMSOFT, LNCS 2491, pages 76-92. Springer, 2002.
11. T.A. Henzinger, C.M. Kirsch, and S. Matic. Schedule-carrying code. In Proc. EMSOFT, LNCS 2855, pages 241-256. Springer, 2003.
12. K. Jeffay, D.F. Stanat, and C.U. Martel. On non-preemptive scheduling of periodic and sporadic tasks. In Proc. RTSS, pages 129-139. IEEE Computer Society Press, 1991.
13. T. Kistler and M. Franz. Continuous program optimization: Design and evaluation. IEEE Transactions on Computers, 50(6):549-566, 2001.
14. H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer, 1997.
15. P. Levis and D. Culler. Maté: a virtual machine for tiny networked sensors. In Proc. ASPLOS, 2002.
16. J. Liedtke. Toward real microkernels. Communications of the ACM, 39(9):70-77, 1996.
17. R. Rajkumar, K. Juvva, A. Molano, and S. Oikawa. Resource kernels: A resource-centric approach to real-time systems. In Proc. MMCN, 1998.
18. M.A.A. Sanvido. A computer system for model helicopter flight control; technical memo nr. 3: The software core. Technical Report 317, ETH Zurich, Institute for Computer Systems, 1999.
19. H. Tokuda, T. Nakajima, and P. Rao. Real-time Mach: Towards a predictable real-time system. In Proc. USENIX Mach Workshop, pages 73-82, 1990.
20. N. Wirth and J. Gutknecht. Project Oberon - The Design of an Operating System and Compiler. ACM Press, 1992.
21. K.M. Zuberi, P. Pillai, and K.G. Shin. EMERALDS: a small-memory real-time microkernel. In Proc. SOSP, pages 277-299. ACM Press, 1999.