ARM TrustZone for ARMv8-Mを利用した軽量メモリ保護RTOS

• Item type: Journal(1)
• 公開日: 2018-02-15
• タイトル: ARM TrustZone for ARMv8-Mを利用した軽量メモリ保護RTOS
• タイトル / 言語: en
• タイトル: Lightweight RTOS Utilizing TrustZone for ARMv8-M
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [特集：組込みシステム工学] 組込みシステム，リアルタイムOS，TrustZone
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 名古屋大学大学院情報学研究科
• 著者所属: 名古屋大学大学院情報学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Informatics, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Informatics, Nagoya University
• 著者名: 河田, 智明; 本田, 晋也
• 著者名(英): Tomoaki, Kawada; Shinya, Honda
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本研究ではARMv8-Mで追加されたTrustZone for ARMv8-Mを用いて，メモリ保護OSを低オーバヘッドで実現した．近年，IoTの台頭により組込みソフトウェアの安全性がますます重要となっている．安全性を確保する方法の1つがパーティショニングであり，メモリ保護はその重要な要素であるが，既存のメモリ保護OSではメモリ保護により無視できないオーバヘッドが発生する場合がある．本研究は一般的なメモリ保護OSで用いられるMPUを用いる代わりにTrustZoneのハードウェア支援機能を利用し，サービスコール呼び出しと割込み処理にともなうドメイン間遷移のレイテンシを低減させる方法を提案する．提案手法を用いることにより，既存のメモリ保護OSと同様のメモリ保護を，より低いオーバヘッドで実現できることを示した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: With the emergence of IoT, safety is becoming ever more important matter in the field of embedded systems. Traditionally, embedded operating systems have employed memory protection mechanism to ensure the memory safety, which, however, had a tendency to lead to an intolerable overhead. In this paper, we present a real-time operating system that provides low-overhead memory protection. To achieve low-overhead memory protection, we propose a method that makes use of TrustZone in place of MPU which has been used in traditional operating systems, to significantly lower the inter-domain transition overhead involved in service calls and interrupt handling. Finally, we show that the proposed method achieves memory protection at much lower overhead, while maintaining the almost same level of safety as existing operating systems.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 59, 号 2, p. 762-774, 発行日 2018-02-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764