組み込み用マイクロカーネルOS lambda
スポンサーリンク
概要
- 論文の詳細を見る
組み込みシステムが大規模化している現在, 組み込み用オペレーティングシステム (OS) の保守性や開発効率が重要である. そこで, 本研究ではマイクロカーネル構成を採用した組み込みシステム向けOS Lambdaの設計・実装を行っている. マイクロカーネル構成はモノリシックカーネルに比べ開発効率はよいが, 性能が悪く, メモリを余分に消費する傾向にある. この問題を解決するために, 組み込みシステムでは出荷後にソフトウェアを変更することはまれである性質を利用し, 実装時にはマイクロカーネル構成で実装を行い, 出荷時にはモノリシックカーネルに自動変換を行い, 性能の改善をはかる手法を提案する. この手法を用い, マイクロカーネルを設計・実装し性能測定を行った結果, 本手法が有効であることを確認できた.
- 2001-06-28
著者
関連論文
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価 (ディペンダブルコンピューティング)
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価 (ディペンダブルコンピューティング)
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価 (コンピュータシステム)
- 自動並列化コンパイラの統一的中間表現とインターフェースを用いたコード変換の実装
- 分枝限定法を用いたプログラム分割の下界に対する考察
- 統一的中間表現を用いた自動並列化コンパイラの実装 : ソースコードから統一的中間表現への変換
- プロダクト・ライン開発方法論に学ぶ整理と再利用 製品のシリーズ展開を考えよう (特集 要求仕様のまとめ方からソフトウェアの品質確保まで トラブらない,バグらない 組み込み製品開発技報)
- ドメイン特化型開発における自動化テストプロセスの提案 (ディペンダブルコンピューティング)
- ドメイン特化型開発における自動化テストプロセスの提案 (コンピュータシステム)
- ソフトウェアアーキテクチャ事前設計を目的とするフィーチャモデルのガイドラインとアンチパターン
- OSから解析可能な無線通信端末の消費電力モデルとその生成手法(消費電力,組込技術とネットワークに関するワークショップETNET2009)
- OSから解析可能な無線通信端末の消費電力モデルとその生成手法(省エネ,組込技術とネットワークに関するワークショップETNET2009)
- フィーチャモデル自動描画アルゴリズムの提案と実装
- 特集「組込みシステム工学」の編集にあたって
- シリコンシーベルト福岡のシステムLSI設計人材育成 : 社会人教育
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- セーフティクリティカルシステムのプロダクトラインにおけるNバージョンプログラミングの導入
- フィーチャモデル自動描画アルゴリズムの提案と実装
- システムLSI設計人材養成実践プログラムQUBEにおけるETSSの活用
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 配列参照パターンによるプログラム並列化・最適化支援
- 並列化支援のためのデータ依存の3次元視覚化
- OSから解析可能な無線通信端末の消費電力モデルとその生成手法(消費電力,組込技術とネットワークに関するワークショップETNET2009)
- OSから解析可能な無線通信端末の消費電力モデルとその生成手法(省エネ,組込技術とネットワークに関するワークショップETNET2009)
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- 目的コードサイズ縮小のための短形式命令サブセットの最適構成
- 目的コードサイズ縮小のための短形式命令サブセットの最適構成
- ソフトウエアシミュレーションによるシステムLSI設計・検証ツールの評価
- FPGAによるゲノムシーケンス解析専用プロセッサの設計
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案 (ディペンダブルコンピューティング)
- 放送による車載機器向けソフトウェア差分更新方式 (ディペンダブルコンピューティング)
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案 (コンピュータシステム)
- 放送による車載機器向けソフトウェア差分更新方式 (コンピュータシステム)
- 剰余区間演算の誤差削減方法 : (データフロー依存解析への応用)
- 多項式における剰余区間演算誤差削減のための演算規則
- 2000-ARC-139-8 剰余区間演算規則とその応用例
- CDP^2アルゴリズム : データ分割グラフ上での統合的データ・プログラム分割アルゴリズム
- HDPG:階層データ分割グラフ
- 電車模型制御用ソフトウエアシステムの設計
- 電車模型制御用ソフトウエアシステムの設計
- 組込システム向け実行環境の自動生成 : δプロジェクトの構想
- 辞書式コード圧縮支援機構の遺伝的アルゴリズムによる最適化
- 2000-ARC-139-24 コードサイズを縮小する組込み向けプロセッサと目的コードの協調生成
- 汎用OSのアプリケーション特化の半自動化
- 汎用OSのアプリケーション特化の半自動化
- 特定用途のための汎用OSのサイズ縮小に関する考察
- 特定用途のための汎用OSのサイズ縮小に関する考察
- Android携帯端末アプリケーション向け消費電力プロファイリング手法
- Android携帯端末アプリケーション向け消費電力プロファイリング手法
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案
- 放送による車載機器向けソフトウェア差分更新方式
- 放送による車載機器向けソフトウェア差分更新方式
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- 移動計算機を含むPeer-to-Peer情報共有環境における位置管理方式(マルチメディアコミュニケーションシステム)
- 移動計算機環境における位置情報管理システムの設計と構築
- 移動計算機環境における位置情報管理システムの設計と構築
- 組み込みシステムにおけるオンチップ/オフチップメモリアーキテクチャを対象とした省電力ページングアルゴリズム
- 組み込みシステムにおけるオンチップ/オフチップメモリアーキテクチャを対象とした省電力ページングアルゴリズム
- 組み込みシステムを対象としたメモリ管理
- 組み込みシステムを対象としたメモリ管理
- 無線環境に適した移動計算機位置情報管理機構の評価
- 無線環境に適した移動計算機位置情報管理機構の評価
- ループ最小並列実行時間算出の一手法
- 剰余区間演算 : データフロー解析のための数学的ツール
- データ分割配置を考慮するループディストリビューション
- ループによって運ばれる依存を有するループの並列実行時間の見積り
- 整数計画問題としてのループ並列実行時間の下限算出問題
- 組込向けマイクロカーネルOS Lambdaのメモリ管理機構の実装
- 組込向けマイクロカーネルOS Lambdaのメモリ管理機構の実装
- 組み込み用マイクロカーネルOS lambda
- 組み込み用マイクロカーネルOS lambda
- 周期性を有する配列参照パターンの解析手法について
- セル位置情報に基づくアドホックネットワークルーティングの評価
- セル位置情報に基づくアドホックネットワークルーティングの評価
- 省電力指向符号化アルゴリズムとその予備評価
- メタコンピューティング環境における対話型アプリケーションHMMerのスケジューリング
- メタコンピューティング環境における対話型アプリケーションHMMerのスケジューリング
- メタコンピューティング環境を用いたポストゲノムアプリケーションHMMerの高速化に向けて
- 省電力指向符号化アルゴリズムとその予備評価
- 省電力指向可変レベルアドホックネットワークルーティングの評価
- 省電力指向可変レベルアドホックネットワークルーティングの評価
- 2000-HPC-82-17 学振MIRAIコンパイラにおける剰余区間伝播の設計
- 派生開発からプロダクトライン開発への漸次的移行プロセスXDDP4SPLにおけるコア資産管理手法
- GPS/QZSS測位の精度改善のための一手法
- 派生開発からプロダクトライン開発への漸次的移行プロセスXDDP4SPLにおけるコア資産管理手法
- GPS/QZSS測位の精度改善のための一手法
- ソフトウェアFMEAの一手法とプロダクトライン開発におけるその利用