プロセス検証とグローバル検証による高速プロトコル検証
スポンサーリンク
概要
- 論文の詳細を見る
本論文では, 信号送受信に関する定義の過不足やデッドロック等の通信プロトコル誤りを, 少ないメモリ量と処理量で効率良く高速に検出する新しい方法を提案している.具体的には, 各プロセスごとの動作を中心とする検査と, 全プロセス動作の同時検査との2段階に分けてプロトコルを検査することによってプロトコル誤りを順次検出する新プロトコル検証法を提案している.この検証法の特徴は, 前者の検査でシステム全体の状態を列挙せず送受信の過不足を検出し, 後者の検査で最小限のシステム状態を列挙してデッドロックを検出することにある.その結果, 特にプロセスが多い場合, 従来法に比較して, 列挙するシステム状態を大幅に削減できる.本提案プロトコル検証法を評価するため, いくつかのプロトコル例を適用した結果を示し, 所要メモリ量と処理量を大幅に削減できること, また特にプロセスが多く従来不可能であった大規模プロトコルが検証可能になったことを実証している.
- 社団法人電子情報通信学会の論文
- 1998-06-25
著者
関連論文
- IMS:新しいコミュニケーションスタイルの実現 : 次世代ネットワークのサービス基盤IP Multimedia Subsystem《第2回》
- IMS:新しいコミュニケーションスタイルの実現 : 次世代ネットワークのサービス基盤IP Multimedia Subsystem《第1回》
- IPネットワークを活用した分散型音声会議通話システム構成手法
- XMLを用いた分散オブジェクトのアクセス方式の実装と評価
- B-7-110 移動情報を用いた通信サービス制御方式
- B-7-90 VoIPサービス向け通話品質評価手法
- 移動情報を活用したモバイル・コミュニティ形成機構
- IPベースの音声チャネル多重転送におけるパケット構成制御方式の性能評価
- IPネットワークにおける音声チャネル多重転送方式の音声品質評価
- インサービス音声品質評価システムの機能構成とシステム制御
- インサービスモニタシステムにおける測定制御手法の実現
- 分散処理環境に構築したCTサービスの性能評価
- IPベースのチャネル多重化システムにおけるパケット送出間隔に関する一検討
- 音声IPパケット転送のための多重化リンク制御方式
- IPネットワークを活用した分散型音声会議通話システムの構成手法
- B-7-69 音声IPパケットの効率的転送方式に関する性能評価
- B-7-68 音声IPパケットの生成待ち時間に関する検討
- 網側IN設備とユーザ側CT設備のインタワーキング・アーキテクチャとサービス(ネットワークソフトウェア)
- TINAモデルを参考としたコンピュータと電話サービスの連携
- B-7-113 分散処理環境でのCTサービスの構築
- B-7-92 VoIPサービス向け音声IPパケット化方式の一考察
- INにおけるタイマー処理の実現に関する一考察
- インサービス音声品質評価システムの機能構成とシステム制御
- B-7-50 IMS Gatewayを用いた遠隔メディア制御システムに関する一検討(B-7.情報ネットワーク,一般セッション)
- B-7-51 IMSホームゲートウェイを用いたGBA認証のOpenIDへの応用(B-7.情報ネットワーク,一般セッション)
- 要求仕様定義支援システムESCORTにおける仕様の履歴管理
- グラフィック・エディタ用図形定義文法の設計
- 2.1 移動通信網のオールIP化(モバイルインターネットの要素技術)(モバイルインターネット)
- B-7-17 ボトルネック帯域を最大化する制約条件付きパス選択アルゴリズムに基づくルーティング方式の性能評価
- ボトルネック帯域を最大化する制約条件付きパス選択アルゴリズムの最適性について
- INとユーザ設備とのインターワーキングによる高度通信サービスの検討
- プロセス検証とグローバル検証による高速プロトコル検証
- プロセス検証とグローバル検証の段階的処理に基づく高速プロトコル検証法
- SDL記述のプロトコル検証のためのモデル
- 通信ソフトウェアの仕様記述の理解性向上に関する一考察
- 通信ソフトウェア仕様設計のためのメッセージシーケンスチャート
- 通信ソフトウェア仕様検証のためのプロトタイピングシステム
- B-7-91 音声IPパケットの効率的な伝送方式に関する検討
- インターネット電話のしくみ(コンピュータと通信)
- INサービスソフトウェアのテスト手法の改良
- Optimization of Facility Planning and Circuit Routing for Survivable Transport Networks : An Approach Based on Genetic Algorithm and Incremental Assignment(論文賞贈呈)
- 回線輻輳状態に基づく通信価格方策の効果
- 電話サービスとインターネットアクセスの統合同時利用サービス提供手法に関する検討
- INとインターネットの接続方法
- 電話回線を用いたインターネットアクセスと音声通信の同時利用サービス実現手法
- 電話回線を用いたインターネットアクセスと音声通信の同時利用サービス実現手法
- 輻輳状態依存型通信価格の適用効果
- ボトルネック帯域を最大化する遅延制約条件付き最適ルーティング
- TINAにおけるスーパーユーザエージェントの提案
- INとユーザ設備のインターワーキングに関する検討
- 通信伝送路網計画に対する遺伝的アルゴリズムとIA法の適用(ORの適用事例)
- B-ISDNのトラヒック工学に関するITU-T標準化動向 (B-ISDN)
- ブランド推移を考慮したサービス設備量決定法の検討
- 価格通知による網リソース要求量決定機構の収益性に関する検討
- 通信網における網状態依存型リソース要求量決定機構の提案
- ATMコネクション再配置のためのトラヒック制御手法の検討
- 網リソース使用率の安定化を目的とした系内呼数依存型帯域制御
- VP容量制御方式における制御パラメータ設計ガイドラインの検討
- 帯域決定機構のある即時式回線群に関する検討
- 価格による帯域決定機構のあるネットワークに関する検討
- 多段階複数コネクション要求を扱うB-ISDN回線群のトラヒック評価
- ATM網における不確実な需要予測値を用いたバーチャルパス配置法
- 多元速度呼が加わるVPの容量制御方式の検討
- 複数コネクション呼を扱う回線群の帯域留保
- 伝達網における多期間回線計画問題の最適化手法
- 遺伝的アルゴリズムを用いた伝送路網増設計画手法
- 帯域交渉と帯域留保のある既時交換網に対するReduced Load Approximation
- 回線ルーティングとレストレーション容量配分の最適化(その3) : 近似最適化手法の評価
- ユーザ属性を考慮した字幕付与方法の検討(聴覚障害,メディア・コミュニケーションの品質と福祉,及び一般)
- ユーザ属性を考慮した字幕付与方法の検討(聴覚障害,メディア・コミュニケーションの品質と福祉,及び一般)
- ユーザ属性を考慮した字幕付与方法の検討(聴覚障害,メディア・コミュニケーションの品質と福祉,及び一般)
- ユーザ属性を考慮した字幕付与方法の検討(聴覚障害,メディア・コミュニケーションの品質と福祉,及び一般)