データ転送プロトコルに関する性能要求からのプロトコルパラメータの決定
スポンサーリンク
概要
- 論文の詳細を見る
本稿では, エンドノード間でデータ転送を行うプロトコルの設計を支援する一手法を提案する.提案手法では, あらかじめカラーペトリネットで記述したデータ転送制御機能(再送制御機能, フロー/レート制御機能)のモジュール群を用意しておき, 設計者はそれらの機能をプロトコルに付加するか否かを指定する.また, 設計対象とする層の上位層から与えられる転送データの特性及び, 下位層におけるデータ転送遅延特性が与えられたとき, 提案手法では対象層が実現するデータ転送率と, データ転送遅延特性を, 対象層内部のプロトコルパラメータの関係式として自動導出する.設計者はそれらの値に対する要求値を指定することでプロトコルパラメータ値が決定される.プロトコル仕様は機能モジュールを組み合わせ, 決定されたパラメータ値を埋め込むことで得られる.最終的には得られたプロトコル仕様記述からネットワークシミュレータnsの実装コードへ自動で変換し, 得られたプロトコルのシミュレーションによる性能評価を容易に行えるようにすることを目標とする.
- 一般社団法人情報処理学会の論文
- 2001-11-15
著者
-
山口 弘純
大阪大学 大学院情報科学研究科
-
谷口 健一
大阪大学 基礎工学部
-
谷口 健一
大阪大学大学院情報科学研究科
-
谷口 健一
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
山口 成基
大阪大学 大学院基礎工学研究科 情報数理系専攻
関連論文
- データ付時間オートマトンの双模倣等価性の記号的検証法
- アプリケーション層マルチキャストミドルウェアの実装とPlanetLab上での評価(セッション4 : オーバレイネットワーク)
- 外部入力値のみを保持できる整数変数をもつFSMに対する記号モデル検査法(ソフトウェア工学)
- 通信プロトコルのエラーリカバリ性自動検証の一方式
- 拡張時間オートマトン群による実時間システムの記述および検証
- アプリケーション層マルチキャストミドルウェアの実装とPlanetLab上での評価(セッション4 : オーバレイネットワーク)
- アプリケーション層マルチキャストミドルウェアの実装とPlanetLab上での評価(セッション4 : オーバレイネットワーク)
- 遷移条件が状態訪問回数に依存する有限状態機械対からなる通信系の生存性検証
- 時間制約を保証するUML/OCLを用いた分散実時間アプリケーション開発手法(ソフトウェア,フォーマルアプローチ論文)
- UML/OCLを用いた分散実時間アプリケーション開発手法の提案
- UML/OCLを用いた分散実時間アプリケーション開発手法の提案
- D-3-6 分散実時間アプリケーションのUML/OCL記述から時間オートマトンネットワークを用いた動作仕様記述への変換手法の提案(D-3. ソフトウェアサイエンス, 情報・システム1)
- 分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装
- 関数型言語ML向け形式的検証支援システムの試作
- 線形制約式を用いた時間QoS一貫性の検証法 (計算機科学基礎理論の新展開)
- 関数型言語MLによるプレスブルガー文真偽判定ルーチンの開発と検証支援システムへの応用
- D-3-8 分散環境における実時間アプリケーション動作仕様記述からのJavaコード自動導出手法の提案(D-3. ソフトウェアサイエンス)
- マルチメディアシステムにおけるTimeliness QoS一貫性検証と時間制御コード導出
- ペトリネットで記述された簡易ブラウザ型の組込みJavaプログラム動作仕様に対する実行方式の提案
- ワークフロー記述向きの時間付きカラーペトリネット
- 時間制約付きカラーペトリネットで記述されたワークフローからのスケジュール導出
- 時間制約を持つGUI制御部の仕様記述の一手法
- 凹多面体併合を用いた有理数プレスブルガー文真偽判定アルゴリズムの実装と形式的設計検証への適用
- 入力値のみ保持する変数をもつEFSM群に対する動的性質の検証
- CPU設計導入教育への形式的設計検証手法の適用
- 有理数プレスブルガー文真偽判定のための多面体分割を用いたアルゴリズムとその実装
- 多面体分割を用いた有理数プレスブルガー文真偽判定アルゴリズムとその実装
- 1G-6 有理数プレスブルガー文真偽判定のための多面体分割を用いたアルゴリズムとその実装
- 冠頭標準形有理数プレスブルガー文の真偽判定アルゴリズムの提案
- 複数時間オートマトンによる仕様記述と検証
- 組合わせ幾何を用いた有理数プレスブルガー文真偽判定アルゴリズムにおける投影操作の高速化
- 時間ペトリネットの拡張モデルを用いたプロトコル合成
- Tarski算術における冠頭標準形の閉論理式の真偽判定アルゴリズムの提案
- 耐故障性のための多重化リソースを持つ分散システムの導出法
- GUI制御部の記述と実現の一手法
- 時間ペトリネットモデルで記述されたサービス仕様からのプロトコル仕様の一合成法
- 規則右辺に照合外変数を含む条件付き項書換え系における階層合流性のモジュラ性
- 拡張有限状態機械とペトリネットを表示編集できるGUIツールの作成と応用例
- 動作実行時刻に制約のある分散システムの全体仕様から各ノードの動作記述の自動導出
- 正則な項書換え系のマルチプロセッサ上での一実現法
- レジスタ付き時間ペトリネットで記述された分散システムの時間制約付き全体仕様からその時間制約を満たす各ノードの動作記述の自動導出(並列・分散)
- MANETにおける位置情報マルチキャストルーティングMgCastの提案と性能評価(無線・モバイルネットワーク)
- 階層的キーワードベースの名前管理におけるキーワード管理手法
- あるクラスのOut-of-Order型パイプラインCPUの設計の正しさの十分条件とその形式的検証 (電子システムの設計技術と設計自動化)
- 多人数参加型アプリケーションにおける品質要求を考慮した帯域制御の一方式(マルチメディア通信と分散処理)
- 動画の品質劣化の許容度を考慮した帯域制御の一方式
- 帯域割譲交渉による動的帯域制御方式
- 品質要求を考慮した動的な帯域制御を行うプロトコルの提案とその性能評価
- ネットワークフローを分散制御するプログラム群の一合成法
- 階層的キーワードに基づく名前管理手法とそれに基づくファイル共有手法
- 階層的キーワードに基づく名前管理手法とそれに基づくファイル共有手法
- プレスブルガー文真偽判定手続きにおける多元連立1次合同式の求解処理の高速化
- MANETアプリケーション向けのシミュレータMobiREALの実装に関する検討(セッション2)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- MANETアプリケーション向けのシミュレータMobiREALの実装に関する検討(セッション2)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- データ付時間オートマトンの双模倣等価性の記号的検証法
- アプリケーション層マルチキャストミドルウェアにおける携帯端末への映像配信機構の実装(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- アプリケーション層マルチキャストミドルウェアにおける携帯端末への映像配信機構の実装(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- アプリケーション層マルチキャストミドルウェアにおける携帯端末への映像配信機構の実装
- 分散協調型無線センサノード群の実行コード自動生成
- 分散協調型無線センサノード群の実行コード自動生成
- 確率事象駆動型モデルを利用した無線ネットワークシミュレーション高速化手法の提案
- 確率事象駆動型モデルを利用した無線ネットワークシミュレーション高速化手法の提案
- 確率事象駆動型モデルを利用した無線ネットワークシミュレーション高速化手法の提案
- 同期通信可能な周期EFSM群のハードウェア構成法
- センサネットワークアプリケーションの実装支援APIの実装と評価
- センサネットワークアプリケーションの実装支援APIの実装と評価
- センサネットワークアプリケーションの実装支援APIの実装と評価
- 大規模ネットワークシミュレーション向けのルーティングテーブルの容量削減(ネットワーク品質・制御)
- 動画像を用いたコミュニケーションシステム向けのアプリケーション層マルチキャスト
- エンドホストの動画像フィルタリングによるアプリケーション層でのQoSマルチキャストプロトコルの提案(ネットワークプロトコル)(ブロードバンドネットワークサービス)
- モバイルアドホックネットワークシミュレーションの規模適応性を向上させる技法の検討(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- MANETにおける位置情報マルチキャストルーティングMgCastの性能評価と応用に関する検討(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- マルチランデブチャネルの動的確立機構を持つモバイルアプリケーション記述言語の提案(ソフトウェア工学の基礎)
- 並行モバイルエージェント間でのマルチランデブチャネルの動的設定が記述可能な言語とその実装
- SMILへのQoS保証文の導入とその柔軟な実装法(マルチメディアネットワークシステム)
- 代数的仕様の作成・検証・実現支援システムにおける公理解析部の生成
- データ転送プロトコルに関する性能要求からのプロトコルパラメータの決定
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- 形式的手法を用いたin-order実行パイプラインCPUの自動設計検証(並列処理)
- 一つのEFSMの複数EFSMによる実現の正しさの一証明法
- ノードの移動フローを考慮したMANET上での情報共有方式とその評価(セッション8:データマネージメント)
- ノードの移動フローを考慮したMANET上での情報共有方式とその評価(セッション8:データマネージメント)
- 遅延制約のもとで安定性の高いオーバレイマルチキャスト木を構築する分散型プロトコルの提案
- 利己的なエンドノード間でマルチキャストを実現するためのインセンティブ配分法(セッション4 : オーバレイネットワーク)
- 利己的なエンドノード間でマルチキャストを実現するためのインセンティブ配分法(セッション4 : オーバレイネットワーク)
- 利己的なエンドノード間でマルチキャストを実現するためのインセンティブ配分法(セッション4 : オーバレイネットワーク)
- コンポーネント連携によるサービスをオーバレイネットワーク上で実現するためのサービス設計技法の提案
- モバイルアドホックネットワークシミュレーションの規模適応性を向上させる技法の検討(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- アプリケーションレベルマルチキャストEmmaの性能向上に関する検討
- カラーペトリネットを用いた分散協調システムの設計とSOAPを用いた一実装法の提案
- 文脈自由プロセスに対するプロトコル合成の一手法
- イベント間の時間制約を論理式で記述できるラベル付き遷移システムとその双模倣等価性検証
- レジスタ付きペトリネットで書かれたソフトウェアプロセス記述の分散実行系
- プログラム検証支援のためのプレスブルガー文真偽判定ルーチンの高速化
- マルチスレッド機構を用いたLOTOS仕様実行方式とその評価
- 代数的手法を用いた回路設計支援システムにおける状態図簡約機能とその評価
- 通信系の動作記述から各局のプロトコルマシンを生成するための一方法
- 雪崩ビーコンに基づく被災者捜索システム
- 行動検出に基づく空調及び照明機器省エネルギー制御システムの性能評価手法