暂无分享,去创建一个
Wolfgang Mauerer | Daniel Lohmann | Ralf Ramsauer | Jan Kiszka | J. Kiszka | D. Lohmann | W. Mauerer | Ralf Ramsauer
[1] Ye Li,et al. A virtualized separation kernel for mixed criticality systems , 2014, VEE '14.
[2] Gerwin Klein,et al. Operating system verification—An overview , 2009 .
[3] Gernot Heiser,et al. Hardware-supported virtualization on ARM , 2011, APSys.
[4] Robert P. Goldberg,et al. Architectural Principles for Virtual Computer Systems , 1973 .
[5] Gerald J. Popek,et al. Formal requirements for virtualizable third generation architectures , 1974, SOSP '73.
[6] Steve Vestal,et al. Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).
[7] Manfred Broy,et al. Challenges in automotive software engineering , 2006, ICSE.
[8] Robert Kaiser,et al. Evolution of the PikeOS Microkernel , 2015 .
[9] Ismael Ripoll,et al. Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach , 2010, 2010 European Dependable Computing Conference.
[10] Chenyang Lu,et al. RT-Xen: Towards real-time hypervisor scheduling in Xen , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
[11] Ulrich Drepper,et al. The Cost of Virtualization , 2008, ACM Queue.
[12] Gernot Heiser,et al. The role of virtualization in embedded systems , 2008, IIES '08.
[13] Udo Steinberg,et al. NOVA: a microhypervisor-based secure virtualization architecture , 2010, EuroSys '10.
[14] Dawson R. Engler,et al. Exokernel: an operating system architecture for application-level resource management , 1995, SOSP.
[15] Jorge Pereira,et al. Towards a lightweight embedded virtualization architecture exploiting ARM TrustZone , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).
[16] Gil Neiger,et al. Intel virtualization technology , 2005, Computer.