Paper Info
Title
Reliable device sharing mechanisms for Dual-OS embedded trusted computing
Abstract
Dual-OS virtualization techniques allow consolidating a trus-ted real-time operating system (RTOS) and an untrusted general-purpose operating system (GPOS) onto the same embedded platform. In order to protect the reliability and real-time performance of the RTOS, platform devices are usually duplicated and assigned exclusively to each operating system causing an increase in the total hardware cost. This paper investigates and compares several mechanisms for sharing devices reliably in a dual-OS system. In particular, we observe that device sharing mechanisms currently used for cloud virtualization are not necessarily appropriate for dual-OS systems. We propose two new mechanisms based on the dynamic re-partition of devices; and evaluate them on a physical platform to show the advantages and drawbacks of each approach.
Year
DOI
Venue
2012
10.1007/978-3-642-30921-2_5
TRUST
Keywords
Field
DocType
dual-os virtualization technique,operating system,reliable device,platform device,trus-ted real-time operating system,physical platform,embedded platform,real-time performance,dual-os system,cloud virtualization,untrusted general-purpose operating system,real time,virtualization
Embedded operating system,Virtualization,Trusted Computing,Computer science,Computer security,Real-time operating system,Full virtualization,Operating system,Embedded system,Cloud computing
Conference
Citations 
PageRank 
References 
3
0.49
14
Authors
3
Name
Order
Citations
PageRank
Daniel Sangorrín181.34
Shinya Honda224429.54
Hiroaki Takada360887.55