Spatial isolation on realtime hypervisor using core-local memory

Daisuke Yamaguchi, Takumi Yajima, Chen Yi Lee, Hiromasa Shimada, Yuki Kinebuchi, Tatsuo Nakajima

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Recently, the software of embedded systems grows increasingly complicated due to controversial needs of both rich functionalities and strict interrupt responsiveness. In order to deal with it, realtime virtualization technology for embedded systems is attracting interests. Virtualization allows multiple operating systems to run concurrently with minimal modifications, thus reduce the engineering cost. However, as the security of embedded systems getting more concerns in these days, current design of realtime hypervisor often makes it difficult to ensure the security without hardware virtualization support which is not widely available in the world of embedded systems. In this paper, we introduce Secure Pager which utilizes a common hardware design called core-local memory combined with check-sum based protections to enforce the spatial isolation without specific hardware virtualization support.

Original languageEnglish
Title of host publicationPECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems
Pages415-421
Number of pages7
Publication statusPublished - 2012 Jun 15
Event2nd International Conference on Pervasive Embedded Computing and Communication Systems, PECCS 2012 - Rome, Italy
Duration: 2012 Feb 242012 Feb 26

Publication series

NamePECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems

Conference

Conference2nd International Conference on Pervasive Embedded Computing and Communication Systems, PECCS 2012
CountryItaly
CityRome
Period12/2/2412/2/26

Keywords

  • Core-local memory
  • Embedded systems
  • Hypervisor
  • Multicore environment
  • Operating systems
  • Security
  • Virtualization

ASJC Scopus subject areas

  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Spatial isolation on realtime hypervisor using core-local memory'. Together they form a unique fingerprint.

  • Cite this

    Yamaguchi, D., Yajima, T., Lee, C. Y., Shimada, H., Kinebuchi, Y., & Nakajima, T. (2012). Spatial isolation on realtime hypervisor using core-local memory. In PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems (pp. 415-421). (PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems).