OSの自動生成に向けて
スポンサーリンク
概要
- 論文の詳細を見る
オペレーティングシステム (OS) の仕様からOS自体を自動的に生成する事により, 異なるアーキテクチャに移植する際の手間を削減する事ができる. その中で, デバイスドライバはハードウェアに依存しているため, OSを移植する際に最も手間がかかる. そこで今回は, OSの自動生成としてデバイスドライバの自動生成に対象を絞る. デバイスドライバの生成システムを作成する際に, デバイスの仕様を記述するために必要となる機能を, VDM-SLとLOTOSのこつの仕様記述言語を用いた簡単な記述例を通して考察した. その結果, 二つの言語はともに抽象度に差はあるが, デバイスの仕様を記述する事が可能である.
- 一般社団法人情報処理学会の論文
- 1996-08-26
著者
-
片山 徹郎
宮崎大学工学部情報システム工学科
-
福田 晃
奈良先端科学技術大学院大学
-
最所 圭三
奈良先端科学技術大学院大学
-
片山 徹郎
奈良先端科学技術大学院大学情報科学研究科
-
張 漢明
奈良先端科学技術大学院大学情報科学研究科
-
長尾 周司
奈良先端科学技術大学院大学情報科学研究科
-
長尾 周司
奈良先端科学技術大学院大学 情報科学研究科
関連論文
- プログラム自動可視化ツールAvisにおける実行パスの3次元表示手法の提案
- 関数型言語指向プロセッサアーキテクチャ
- LinuxのUSBデバイスドライバの抽象化に関する考察(OS-1:OS構成法)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- SpecCを用いたUSBデバイスのデバイスドライバとファームウェアの協調設計
- USBデバイスのソフトウェアを対象としたSpecCによる協調設計
- 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
- Javaを対象としたテスト駆動開発における初回テストパス自動化支援ツールの試作
- OSレベルでのリソース・リザベーションのメディア並列処理に対する効果
- マルチメディア同期機構の試作と評価
- マルチメディア処理におけるOSレベルでのリソース・リザベーション
- PDE-IIにおけるリソースのリザベーションに関する考察
- オンチップマルチプロセッシングアーキテクチャ : ロック機構
- プログラマブルデバイスを用いた可変構造シミュレーションシステムの開発
- プログラマブルデバイスを用いた可変構造シミュレーションシステム
- MDAにおけるPIM作成支援を目的としたUMLダイアグラム洗練手法の提案
- プログラム自動可視化ツールAvisを利用した結合テスト実施のための実行経路抽出手法の提案
- 組込みソフトウェア開発支援のための命令セットシミュレータ(ISS) 作成手法の提案
- Ad Hoc Networkでの相対位置情報を用いた車車間通信システム
- 放送により配信される位置依存情報のキャッシュ方式(モバイルコンピューティング)
- 複数の通信メディアを利用した階層型データの効率的転送の実装モデル
- 移動経路情報を利用した路車間通信方式のシミュレーションによる評価
- STRAP : 移動を考慮した空間的時間的資源割当てプロトコル(マルチメディア通信と分散処理)
- 移動計算機における位置依存情報のキャッシュ方式に関する考察
- 移動経路情報を利用したデータ転送方式のシミュレーションによる評価
- 移動計算機環境における階層型データのためのキャッシュシステム
- 移動を考慮した空間的時間的資源割り当てプロトコルの提案とその適応
- STRAP:移動を考慮した空間的時間的資源割り当てプロトコルに関する提案
- 配列参照パターンによるプログラム並列化・最適化支援
- 並列化支援のためのデータ依存の3次元視覚化
- B-7-128 マルチキャストのための再送制御方式の基礎検討
- クラスタ型NUMAマルチプロセッサにおけるメモリ協調スケジューリング方式
- メモリ管理を考慮したNUMAマルチプロセッサにおける2レベルスケジューリングの評価
- 分散型構造解析手法の負荷分散への適用
- モジュール構成のマルチプロセッサ・スケジューリング・シミュレータ
- Net Newsのためのキャッシングアルゴリズム(ネットワークソフトウェア)
- NetNewsにおける必要な記事の自動選択法
- NetNewsにおける必要な記事の自動選択法
- NetNewsのためのキャッシュシステム
- NetNewsのためのキャッシュシステム
- ニュースグループごとに配送方式を自動変更するNetNewsシステムの評価
- ニュースグループごとに配送方式を自動変更するNetNewsシステムの評価
- 1B-4 状態遷移表モデル検査ツールGarakabu2の設計と開発(テスト・検証,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- プログラミング教育支援のためのプログラム自動可視化ツール Avis における実行パス表示手法の改良
- ライントレースカーの動作を反映するシミュレータの試作
- 5.並列プログラムのテスト(ソフトウェアテストの最新動向)
- シーケンス図を利用した組込みシステム開発のためのテストケース生成手法の提案について
- シーケンス図を用いた実行履歴の可視化によるJavaプログラムの理解支援に関する考察
- Javaプログラム自動可視化ツールAvisにおける大規模プログラム適用のための拡張
- シーケンス図を用いた実行履歴の可視化による Java プログラムの理解支援に関する考察
- JavaCCを利用したJavaプログラムの実行履歴表示について
- UMLからJavaソースコードへの変換規則の抽出と変換ツールの試作
- Javaプログラム自動可視化ツールAvisにおけるクラス構造可視化のための拡張
- Javaプログラムを対象としたオブジェクト間の呼び出し関係情報を含んだコントロールフローグラフの生成について
- JavaParserを利用したプログラム可視化のための静的解析部の作成
- プログラミング支援のためのUMLからJavaソースコードへの変換規則の抽出
- 初心者を対象としたJavaプログラム自動可視化ツールの実現に向けて
- NUMAマルチプロセッサにおけるメモリ管理を考慮した2レベルスケジューリング
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- 並列性と移植性をもつユーザレベルスレッドライブラリーPPLの設計および実装
- 並列性と移植性を考慮したユーザレベル・スレッドライブラリPPLの実装と評価
- 並列性と移植性を考慮したユーザレベル・スレッドライブラリPPLの実装と評価
- OSレベルでのリソース・リザベーションのメディア並列処理に対する効果
- PDE-IIにおけるリソース・スキーマの提案
- リリース・コンシステンシ・モデルとその実現の形式的仕様記述について
- 分散共有メモリの形式的仕様記述について
- リリース・コンシステンシ・モデルとその実現の形式的仕様記述について
- ニューラルネットワークによるプログラム分割アルゴリズムの改善
- 実用的な近似解を与えるプログラム分割アルゴリズム
- 実用的な近似解を与えるプログラム分割アルゴリズム
- Communication-Parallelism Graphによるデータ自動分割手法
- ワークステーションクラスタにおけるSCIDDLEライブラリの評価
- 2000-ARC-139-25 可変構造シミュレーションシステムRiSPの機能拡張
- 並列OS"K1"の実装と性能評価
- 並列OS"K1"の実装と性能評価
- マイクロカーネル構成OSにおけるマルチプロセスサーバとマルチスレッドサーバの比較
- マイクロカーネル構成OSにおけるシステムサーバの構成法
- 2000-OS-85-15 組み込み向けOSにおけるデバイスドライバの自動生成について
- UNIX系OSにおけるデバイスドライバの抽象化と生成システムの実現(特集:システムソフトウエアの新しい潮流)
- 電車模型制御用ソフトウエアシステムの設計
- 電車模型制御用ソフトウエアシステムの設計
- 組込システム向け実行環境の自動生成 : δプロジェクトの構想
- OS間の差異を吸収するデバイスドライバ自動生成システムの設計
- OSの自動生成に向けて
- UMLの複数のダイアグラムを用いたJavaプログラムのテスト手法に関する一考察
- デバイスドライバ生成システムにおける入力形式に関する考察
- デバイスドライバの生成支援に関する考察
- 組み込みシステムにおける機器制御ライブラリの生成支援
- 移動計算機のためのWWW情報発信システムの構築 : 高負荷時における複製の利用
- デバイスドライバの自動生成に向けて : プリンタデバイスの生成に関する考察
- デバイスドライバの自動生成に向けて : デバイスドライバの定式化
- デバイスドライバの自動生成に向けて : デバイスドライバの定式化
- LinuxのUSBデバイスドライバのコード分割による抽象化に関する研究
- UMLのクラス図とJavaプログラムとの関係抽出について
- Javaを対象としたプログラムの基本制御構造を受理する構文解析器の作成
- Javaプログラム読解支援のためのプログラム自動可視化ツールAvisの実装と評価(ソフトウェアシステム)
- シミュレータ作成の手間を削減可能な二部構成シミュレータ設計手法の提案
- Javaプログラムを対象とした単体テスト自動実行および可視化ツール"Jvis"の開発
- Java プログラム読解支援のためのプログラム自動可視化ツール Avis の実装と評価
- "Matrix-Based Discrete-Event System Controller" を拡張するためのETSCから時間ペトリネットへの変換手法とその統一的支援システム