組込みマルチプロセッサシステムの高信頼性を実現するデュアルＯＳアーキテクチャ

2012 Fiscal Year Annual Research Report

• Project/Area Number: 23700035
• Research Institution: Nagoya University
• Principal Investigator: 本田 晋也 名古屋大学, 情報科学研究科, 准教授 (20402406)
• Keywords: 組込みシステム / 仮想化 / リアルタイムOS / Linux

Research Abstract

本研究の目的は、組込みマルチプロセッサシステムを対象とした、高機能と高信頼性を実現するソフトウェアアーキテクチャとその実装を開発することである。本ソフトウェアアーキテクチャは、高機能を実現する汎用OSとリアルタイム性を実現するリアルタイムOSを各プロセッサで並列に動作させることで高機能を実現し、リアルタイムOSを汎用OSから保護するハイブリッドOS技術により高い信頼性を確保する。本研究は、以下の3つのサブテーマから構成される。
・ハイブリッドOS技術のマルチプロセッサ対応/OSスケジューリング手法/OS間通信
2012年度は、各機構の実装&評価を行い，事例による評価を実施した．事例による評価としては、車載のディスプレイオーディオを模擬した事例を用いて、
RTOSによるバッグガイドの高速起動やリアルタイム制御と、GPOSによるAndroidの実行及びその間の通信を実現した。
2年間の実施期間で開発した成果はオープンソースとして、TOPPERSプロジェクトから公開した（http://www.toppers.jp/safeg.html）。

Research Products

• [Journal Article] Integrated Scheduling for a Reliable Dual-OS Monitor (2012)
  • Author(s): Daniel Sangorrin, Shinya Honda, Hiroaki Takada
  • Journal Title: 情報処理学会論文誌, (ACS 23) Volume: 5 Pages: 99-110
  • Peer Reviewed
• [Journal Article] Reliable and Efficient Dual-OS Communications for Real-Time Embedded Virtualization (2012)
  • Author(s): Daniel Sangorrin, Shinya Honda, Hiroaki Takada
  • Journal Title: コンピュータ ソフトウェア Volume: Vol.29,No.4 Pages: 182-198
  • Peer Reviewed
• [Presentation] 組込みマルチコア向け 仮想化環境における性能低下抑止手法 (2012)
  • Author(s): 太田貴也，Daniel Sangorrin，本田晋也，高田広章
  • Organizer: 情報処理学会 第123回OS・第27回EMB 合同研究発表会
  • Place of Presentation: 東京
  • Year and Date: 20121205-20121205
• [Presentation] Reliable Device Sharing Mechanisms for Dual-OS Embedded Trusted Computing (2012)
  • Author(s): Daniel Sangorrin, Shinya Honda and Hiroaki Takada
  • Organizer: Proceedings 5th International Conference on Trust and Trustworthy Computing
  • Place of Presentation: オーストリア
  • Year and Date: 20120613-20120615
• [Remarks] TOPPERSプロジェクト SafeG
  • URL: http://www.toppers.jp/safeg.html