Spatial isolation on realtime hypervisor using core-local memory

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

研究成果: Conference contribution

抄録

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.

本文言語English
ホスト出版物のタイトルPECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems
ページ415-421
ページ数7
出版ステータスPublished - 2012 6 15
イベント2nd International Conference on Pervasive Embedded Computing and Communication Systems, PECCS 2012 - Rome, Italy
継続期間: 2012 2 242012 2 26

出版物シリーズ

名前PECCS 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

ASJC Scopus subject areas

  • Computer Networks and Communications

フィンガープリント 「Spatial isolation on realtime hypervisor using core-local memory」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル