SafeGを用いた汎用OSの監視手法(リアルタイムオペレーティングシステム,組込み技術とネットワークに関するワークショップETNET2013)
スポンサーリンク
概要
- 論文の詳細を見る
本研究では組込み向け高信頼デュアルOSモニタSafeGを用いた,汎用OSの監視手法を提案・実装した. SafeGは単一の組込みシステム上で,リアルタイムOS(RTOS)と汎用OSを同時実行するために提案・実装された小規模なソフトウェアモジュールである.SafeGを用いてRTOSから汎用OSを監視することにより,汎用OSのカーネルや,既存の監視機構が正しく動作していることを保証することができる.そこで本研究では,SafeGを用いて,RTOSから汎用OSの実行シーケンスの監視を行う機構に着目し,その実装と評価を行うことで,実際に汎用OSの監視機構が実現できることを示した.
- 2013-03-06
著者
-
高田 広章
豊橋技術科学大学
-
高田 広章
名古屋大学
-
Hiroaki Takada
Graduate School of Information Science, Nagoya University
-
Takada Hiroaki
Nagoya Univ.
-
高田 広
東京大学理学部
-
高田 広章
東大・理
-
太田 貴也
名古屋大学大学院情報科学研究科
-
本田 晋也
名古屋大学
-
高田 広章
名古屋大学大学院 情報科学研究科
-
Hideki Takase
Graduate School of Information Science, Nagoya University|Presently with Graduate School of Informatics
-
SANGORRIN DANIEL
名古屋大学大学院 情報科学研究科
-
三浦 功也
名古屋大学工学部 電気電子情報工学科
関連論文
- 車両制御システムのためのセンサデータ統合管理方式の検討(データ工学,Web情報システム)
- 2.ソフトウェアとハードウェアの協調による組込みシステムの消費エネルギー最適化(未来を切り拓く最先端VLSIテクノロジー)
- 車載用通信プロトコル(スケーラブルCAN)開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用 (ディペンダブルコンピューティング)
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用 (コンピュータシステム)
- μITRON4.0仕様のオーバーランハンドラ機能の実装と評価
- SpecC言語に基づくシステムレベル設計手法
- アーキテクチャ記述言語による設計と一体化した制御システムのリスク分析(ソフトウェア開発支援,システム開発論文)
- コンポーネントシステムを用いた組込みシステム向けアクセス制御機構(組込みシステム,システム開発論文)
- ITRONデバイスドライバ設計ガイドラインの移植性と評価
- SpecC言語に基づくシステムレベル設計手法
- SpecC言語に基づくシステムレベル設計手法
- 対称型マルチコアシステムのエンジン制御ソフトウェアへの適用
- Simultaneous Allocation and Binding Considering Multiplexers in High-Level Synthesis
- UMLモデルのC言語実装におけるTECSの適用事例
- AndroidプラットフォームにおけるDalvikバイトコードのCPU負荷量の解析
- AndroidプラットフォームにおけるDalvikバイトコードのCPU負荷量の解析
- AndroidプラットフォームにおけるDalvikバイトコードのCPU負荷量の解析
- AndroidプラットフォームにおけるDalvikバイトコードのCPU負荷量の解析
- マルチプロセッサ対応RTOSを対象としたテストシナリオ記述法とテストプログラム生成ツール
- オフセット付きCANメッセージの正確な最大遅れ時間解析
- 交通事故シナリオに基づく予防安全システムのシミュレーション分析
- Integrated Scheduling in a Real-Time Embedded Hypervisor
- DUOS:車載ECU統合向けRTOSフレームワーク
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- 時間保護のためのタスク起動遅延付き階層型スケジューリングアルゴリズム
- 車載ECU統合向け異種OS間通信ミドルウェア
- 実行トレースマイニングを用いたタスク内DVFSに有効なチェックポイント抽出手法
- DUOS:車載ECU統合向けRTOSフレームワーク
- 分散リアルタイムシステムの端点間処理における応答時間の確率的解析
- 車載ECU統合向け異種OS間通信ミドルウェア
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- 3-215 コンソーシアム型共同研究を通じたソフトウェアテスト技術者の教育((25)高度専門技術者教育・社会人のための大学院工学教育,口頭発表論文)
- マルチプロセッサ環境におけるマイグレート可能タスクの導入
- μITRON4.0仕様リアルタイムOSにおけるミューテックスの実装
- マルチプロセッサ環境におけるマイグレート可能タスクの導入
- μITRON4.0仕様リアルタイムOSにおけるミューテックスの実装
- ITRON仕様OSのマルチプロセッサ拡張におけるデッドロック回避の手法
- ITRON仕様OSのマルチプロセッサ拡張におけるデッドロック回避の手法
- 第18回実時間システム国際会議(RTSS'97)の参加報告
- 組込みシステムにおける低消費エネルギー志向の効率的なスラック時間の導出
- エンジン制御システムのためのリアルタイム性検証手法(システムソフトウェアの新しい潮流)
- RMA手法のエンジン制御システムへの適用に関する研究
- RMA手法のエンジン制御システムへの適用に関する研究
- リアルタイムOSと Java 実行環境の統合アーキテクチャJTRON2.1 仕様の策定とその評価
- I/Oブロッキングを考慮したスケジュール可能性の解析手法に関する研究
- リアルタイムシステムのための正規表現を用いたログ検索システムの構築とその評価
- 組み込みシステム開発環境の現状と動向
- コストと品質・信頼性のトレードオフを再考しよう(インタラクティブ・エッセイ)
- 再コメント (インタラクティブ・エッセイ)
- 組込みソフトウェア分野における産学間のギャップを埋めよう (インタラクティブ・エッセイ)
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- SpecCによるソフトウェア記述の実装記述への変換(仕様記述による実装)
- リアルタイムOS上でのQoS制御手法の検討 : 処理モード方式を用いたQoS制御とリアルタイムOSによるQoS制御支援機能
- リアルタイムOS上でのQoS制御手法の検討 : 処理モード方式を用いたQoS制御とリアルタイムOSによるQoS制御支援機能(実時間処理に関するワークショップ(RTP2003)情報処理学会システムLSI設計技術研究会との合同ワークショップ : OS,GC)
- クロス開発環境におけるホスト/ターゲット処理一体記述の提案とデバッグ環境への適用(システムソフトウェアの新しい潮流)
- I/Oブロッキングを考慮したスケジュール可能性の解析手法に関する研究
- リアルタイムシステムのための正規表現を用いたログ検索システムの構築とその評価
- ITRONデバッギングインタフェース仕様における標準化アプローチとその適応性に関する評価システムソフトウェアの新しい潮流
- ITRONデバイスドライバ設計ガイドラインの移植性と評価
- Mixed Fixed and Proportional Resource Share Allocation Algorithm
- エンジン制御システムの解析手法に関する研究
- マルチプロセッサ環境におけるマイグレート可能なタスクの導入
- オープンソース組込みシステム向けシミュレータのマルチプロセッサ拡張
- CANメッセージのオフセット決定手法
- バス調停の遅延時間見積もりのための確率的数学モデル
- バス調停の遅延時間見積もりのための確率的数学モデル
- DEPSプロファイルの評価法とそれを利用したチェックポイント選定
- DEPSプロファイルの評価法とそれを利用したチェックポイント選定
- 組込み向け高信頼デュアルOSモニタのマルチコアアーキテクチャへの適用
- 組込み向け高信頼デュアルOSモニタのマルチコアアーキテクチャへの適用
- リアルタイムアプリケーション向けタスク処理定義可能なスケジューリングシミュレータ
- リアルタイムアプリケーション向けタスク処理定義可能なスケジューリングシミュレータ
- マルチプロセッサ環境におけるタイミング依存のシナリオを実行可能なシミュレーション機構
- マルチプロセッサ環境におけるタイミング依存のシナリオを実行可能なシミュレーション機構
- 機能分散マルチプロセッサリアルタイムシステムにおけるマイグレート可能なグローバルタスクの導入
- 消費エネルギーを意識した可逆圧縮データ受信
- 消費エネルギーを意識した可逆圧縮データ受信
- マルチプロセッサ対応RTOSに対するAPIテストの実施
- テストプログラム生成ツールのフロントエンドプロセッサの開発
- マルチプロセッサ対応RTOS向けテストプログラム生成ツールにおけるプロセッサ間同期の実現
- マルチプロセッサ対応RTOSに対するAPIテストの実施
- テストプログラム生成ツールのフロントエンドプロセッサの開発
- マルチプロセッサ対応RTOS向けテストプログラム生成ツールにおけるプロセッサ間同期の実現
- ハードウェアの振舞いを考慮したスピンロックのモデル検査
- ハードウェアの振舞いを考慮したスピンロックのモデル検査
- ストリーム処理を用いた車々間通信データのフィルタリング方式