１．担当ＰＭ

   並木 美太郎　（東京農工大学　大学院共生科学技術研究部　助教授）

２．採択者氏名

３．プロジェクト管理組織

　 日本エンジェルズ・インベストメント株式会社

４．採択金額

　 6,500,000 円

５．テーマ名

　 L4VM：マイクロカーネル上で動作する仮想マシンの構築

６．関連Webサイト

　　なし

７．申請テーマ概要

　　最近では組込みOSとしてLinuxが採用される例が増えてきている。しかしながら、現状のLinuxでは、組込みOSに対して求められる信頼性やセキュリティ性や応答性などのシビアな要求を十分に満たしていない場合も多い。そのため、起動時間や応答性、安全性などを改善する必要がある。これらの問題を解決するために、マイクロカーネル上で複数の仮想OSを実行する手法が提案されている。
　　マイクロカーネル上で動作する仮想OSの例としては、マイクロカーネルの一種であるL4上で動作するL4Linuxが挙げられる。L4Linuxは、Linuxのアーキテクチャ依存コードをL4のAPIで置き換えることで、LinuxをL4上で動作させている。そのため、Linuxのバージョンが更新される度にLinuxのソースコードを修正する必要があり、開発および保守に多大なコストを要してしまうことになる。
　　そこで本プロジェクトでは、既存OSをソースコードの修正を行うことなくL4上で動作させるために、L4上で動作する仮想マシンであるL4VMの開発を行う。L4VMを利用することで、Linuxだけではなく、多種多様の既存OSをソースコードに修正を加えることなくL4上で動作させることが可能となり、既存OSのL4へのポータビリティ性を向上させるとともにOSの移植におけるコストの削減を実現することができる。

８．採択理由

　　一つの組込みシステムでリアルタイム処理と一般のAPを混在させるための一手法として、VM上で複数のゲストOSを動作させる手法はいくつか提案されてきた。本申請では、L4とQEMUを修正したL4VM上でゲストOSを動作させる。VMによる、特にQEMUのダイナミックトランスレーション手法を組込みシステムに適用する着想はアイデアとしても、実用上も、興味深く、未踏性があると判断した。