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
    Event2nd International Conference on Pervasive Embedded Computing and Communication Systems, PECCS 2012 - Rome
    Duration: 2012 Feb 242012 Feb 26

    Other

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

      Fingerprint

    Keywords

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

    ASJC Scopus subject areas

    • Computer Networks and Communications

    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)