Abstract
In embedded systems, hypervisors allow a virtual machine to access directly native hardware devices without sharing with other virtual machines because of conflictions of sharing devices between the virtual machines. In this paper, we present the issue being occurred to dedicate peripheral devices and how to solve it. With the device dedication technique on an embedded hypervisor, we identify the development considerations based on our observation. For proof-of-concept of our solutions, the partial virtualization technique about the clock controller is implemented to a real embedded hypervisor for safety-critical systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Goldberg, R.P.: Survey of Virtual Machine Research. IEEE Computer 7(6) (1974)
Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., Warfield, A.: Xen and the Art of Virtualization. In: SOSP 2003 (2003)
Cereia, M., Bertolotti, I.C.: Virtual machines for distributed real-time systems. Computer Standars & Interfaces (2009)
Cox, A.L., Mohanram, K., Rixner, S.: Dependable ≠unaffordable. In: The 1st Workshop on Architectural and System Support for Improving Software Dependability (2006)
Masmano, M., Ripoll, I., Crespo, A., Metge, J.: XtratuM: a hypervisor for safety critical embedded systems. In: 11th Real-Time Linux Workshop, Dresden, Germany (2009)
ARM: Principles of ARM® Memory Maps White Paper. ARM (2012)
Kim, T., Kang, D., Kim, S., Shin, J., Lim, D., Dupre, V.: Qplus-hyper : a hypervisor for safty-criticla systems. In: The 9th International Symposium on Embedded Technology (2014)
Kim, T., Son, D., Shin, C., Park, S., Lim, D., Lee, H., Gim, B., Lim, C.: Qplus-AIR: a DO-178B certifiable ARINC 653 RTOS. In: The 8th International Symposium on Embedded Technology (2013)
Arndale Board. http://www.arndaleboard.org/ (accessed on September 2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer Science+Business Media Singapore
About this paper
Cite this paper
Kim, S. et al. (2015). Device Dedication in Virtualized Embedded Systems. In: Park, DS., Chao, HC., Jeong, YS., Park, J. (eds) Advances in Computer Science and Ubiquitous Computing. Lecture Notes in Electrical Engineering, vol 373. Springer, Singapore. https://doi.org/10.1007/978-981-10-0281-6_43
Download citation
DOI: https://doi.org/10.1007/978-981-10-0281-6_43
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-0280-9
Online ISBN: 978-981-10-0281-6
eBook Packages: Computer ScienceComputer Science (R0)