Abstract
By the use of virtualization the security of a system can be significantly increased and performance can be improved by sharing hardware resources while reducing the overall costs of the whole system. Nowadays virtualization also finds approval within the field of embedded systems. However, the currently available virtualization platforms designed for embedded systems only support para-virtualization trying to provide reasonable performance and support realtime applications only by the use of dedicated resources. Our approach introduces a hybrid configurable hypervisor architecture designed to support real-time applications. We do not restrict the set of applications which can be run virtualized on top of our hypervisor to para-virtualized applications but also allow applications to run unmodified or even partly para-virtualized while using state of the art methodologies to obtain high performance.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauery, R., Pratt, I., Warfield, A.: Xen and the Art of Virtualization. ACM, New York (2003)
Chen, P.M., Noble, B.D.: When virtual is better than real. In: HOTOS 2001: Proceedings of the Eighth Workshop on Hot Topics in Operating Systems, Washington, DC, USA, p. 133. IEEE Computer Society, Los Alamitos (2001)
Heiser, G.: The role of virtualization in embedded systems. In: IIES 2008: Proceedings of the 1st workshop on Isolation and integration in embedded systems, pp. 11–16. ACM, New York (2008)
Hills, G.: Real-Time Operating Systems (RTOS), Embedded Development Tools, Optimizing Compilers, IDE tools, Debuggers - Green Hills Software (2009), http://www.ghs.com/
Laune, C., Harris, B.P.M.: Practical Analysis of Stripped Binary Code. Technical report, Computer Sciences Department, University of Wisconsin (2006)
LeVasseur, J., Uhlig, V., Chapman, M., Chubb, P., Leslie, B., Heiser, G.: Pre-virtualization: soft layering for virtual machines. Technical Report 2006-15, Fakultät für Informatik, Universität Karlsruhe, TH (2006)
Lipari, G., Bini, E.: A methodology for designing hierarchical scheduling systems. J. Embedded Comput. 1(2), 257–269 (2005)
LynuxWorks, Embedded Hypervisor and Separation Kernel for Operating-system Virtualization: LynxSecure (2009), http://www.lynuxworks.com/virtualization/hypervisor.php
Debray, S., Muth, R., Weippert, M.: Alias Analysis of Executable Code. Technical report, Department of Computer Science, University of Arizona (1998)
Smith, J., Nair, R.: The architecture of virtual machines. Computer 38(5), 32–38 (2005)
Systems, O.I.: MILS Technical Primer (2008), http://www.ois.com/Products/MILS-Technical-Primer.html
University of Paderborn, ORCOS (2009), https://orcos.cs.uni-paderborn.de/orcos/
VirtualLogix, VirtualLogix - Real-time Virtualization for Connected Devices: Products - VLX for Embedded Systems (2009), http://www.virtuallogix.com/
VmWare, TRANGO Virtual Prozessors: Scalable security for embedded devices (2009), http://www.trango-vp.com/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 IFIP International Federation for Information Processing
About this paper
Cite this paper
Baldin, D., Kerstan, T. (2009). Proteus, a Hybrid Virtualization Platform for Embedded Systems. In: Rettberg, A., Zanella, M.C., Amann, M., Keckeisen, M., Rammig, F.J. (eds) Analysis, Architectures and Modelling of Embedded Systems. IESS 2009. IFIP Advances in Information and Communication Technology, vol 310. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04284-3_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-04284-3_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04283-6
Online ISBN: 978-3-642-04284-3
eBook Packages: Computer ScienceComputer Science (R0)