| 講演名 | 2013/3/6 SafeGを用いた汎用OSの監視手法(リアルタイムオペレーティングシステム,組込み技術とネットワークに関するワークショップETNET2013) 三浦 功也, 太田 貴也, / 本田 晋也, 高田 広章, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本研究では組込み向け高信頼デュアルOSモニタSafeGを用いた,汎用OSの監視手法を提案・実装した. SafeGは単一の組込みシステム上で,リアルタイムOS(RTOS)と汎用OSを同時実行するために提案・実装された小規模なソフトウェアモジュールである.SafeGを用いてRTOSから汎用OSを監視することにより,汎用OSのカーネルや,既存の監視機構が正しく動作していることを保証することができる.そこで本研究では,SafeGを用いて,RTOSから汎用OSの実行シーケンスの監視を行う機構に着目し,その実装と評価を行うことで,実際に汎用OSの監視機構が実現できることを示した. |
| 抄録(英) | In this study, a method for monitoring a general-purpose operating system (GPOS) using SafeG, a highly reliable dual-OS monitor for embedded systems is proposed and implemented. SafeG is a small-scale software module designed for concurrently executing a GPOS and real-time operating system (RTOS) on top of the same embedded system platform. By using SafeG for monitoring the GPOS from the RTOS, it is possible to ensure that the GPOS kernel, as well as other existing monitoring mechanism, work correctly. Therefore, in this study, we focused on a method consist of execution sequence and developed and evaluated, we confirmed from evaluation results that this monitoring mechanism was successfully accomplished. |
| キーワード(和) | 組込みシステム / リアルタイムOS / 仮想化 / セキュリティ / ルートキット |
| キーワード(英) | Embedded system / Real-time OS / Virtualization / Security / Rootkit |
| 資料番号 | Vol.2013-SLDM-160 No.1,Vol.2013-EMB-28 No.1 |
| 発行日 |
| 研究会情報 | |
| 研究会 | DC |
|---|---|
| 開催期間 | 2013/3/6(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Dependable Computing (DC) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | SafeGを用いた汎用OSの監視手法(リアルタイムオペレーティングシステム,組込み技術とネットワークに関するワークショップETNET2013) |
| サブタイトル（和） | |
| タイトル（英） | 4 method for monitoring GPOS using SafeG |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 組込みシステム / Embedded system |
| キーワード(2)（和/英） | リアルタイムOS / Real-time OS |
| キーワード(3)（和/英） | 仮想化 / Virtualization |
| キーワード(4)（和/英） | セキュリティ / Security |
| キーワード(5)（和/英） | ルートキット / Rootkit |
| 第 1 著者 氏名（和/英） | 三浦 功也 / TAKUYA MIURA |
| 第 1 著者 所属（和/英） | 名古屋大学工学部 電気電子情報工学科 Department of Information Engineering, Nagoya University |
| 第 2 著者 氏名（和/英） | 太田 貴也 / TAKAYA OHTA |
| 第 2 著者 所属（和/英） | 名古屋大学大学院 情報科学研究科 Graduate school of Information Science, Nagova University |
| 第 3 著者 氏名（和/英） | / 本田 晋也 / DANIEL SANGORRIN |
| 第 3 著者 所属（和/英） | 名古屋大学大学院 情報科学研究科 Graduate school of Information Science, Nagova University |
| 第 4 著者 氏名（和/英） | 高田 広章 / SHINYA HONDA |
| 第 4 著者 所属（和/英） | 名古屋大学大学院 情報科学研究科 Graduate school of Information Science, Nagova University |
| 発表年月日 | 2013/3/6 |
| 資料番号 | Vol.2013-SLDM-160 No.1,Vol.2013-EMB-28 No.1 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | 482 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |