セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化(リアルタイムシステム)

概要

論文の詳細を見る
近年,車載情報システムは高機能化が著しく,情報系と制御系という異なる要件のアプリケーションを単一のシステムで実行したいという要求がある.この要求を満たすには制御系OS(リアルタイムOS)と情報系OS(汎用OS)をシングルプロセッサで並列に実行する必要がある.複数のOSを並列に実行する方法としてはハイブリッドOS方式とVM方式が提案されている.しかしながら,ハイブリッドOS方式は,制御系が情報系から保護されないという問題がある.また,VM方式を効率的に実現するためには,ハードウェア機構(VM支援機能)が必須であるが,一般的に入手可能な組込み向けのプロセッサでこの機能をもつものは存在しない.そこで我々は,組込み向けプロセッサが持つセキュリティ支援ハードウェア(TrustZone)を利用して,ハイブリッドOS方式を高信頼化した.具体的には,車載情報システムの要件を定め,要件を満たすようにTrustZoneを制御してハイブリッドOS方式を実現するソフトウェアモジュール(SafeG)を設計・実装した.そして,SafeGが定めた要件を満たしていることを実機を用いて評価した.
社団法人情報処理学会の論文
2008-11-20