通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logicを用いた検出(<特集>並列・分散)
スポンサーリンク
概要
- 論文の詳細を見る
フォールトトレランス性とリアルタイム性の2つを備えた通信プロトコルをリスポンシブプロトコルと呼ぶ.本稿では, Real-Time Temporal Logicを用いた通信プロトコルのリスポンシブネス検証と適用実験について述べる.通信プロトコルがリスボンシブネス性を満たすために必要な条件をRealーTime Temporal Logicを用いて論理式で記述できるので, 回復処理における設計誤りの検出を効率良く行うことができる.次に, 検証実験ではクライアント・サーバモデル上の通信システムにおけるコネクション確立のためのプロトコルを実際に設計し, Real-Time Temporal Logicを用いて設計誤りを検出できることを示す.
- 一般社団法人情報処理学会の論文
- 1998-03-23
著者
関連論文
- ビジネスに使えるオントロジー関連ツール : 代表的シーンからの抽出(オントロジーの進化と普及(前編))
- マルチエージェントを用いた無中断予備VP設定方式
- オントロジーメンテナンスのための固有名詞抽出技術の検討(オントロジー,「Webインテリジェンス」及び一般)
- 機能量測定法を利用した不適切箇所の摘出による分析モデルの改善
- 要求仕様の機能量測定による概念要素構成の改善(要求工学(学生セッション))
- 第3回コンプレックスコンピュータシステム国際会議 (ICECCS'97)の参加報告
- 社会ネットワーク分析手法を用いたオントロジーの構造的性質の評価(「Webインテリジェンス」及び一般)
- B-19-7 Androidと自律分散クラスタリングを用いた新世代児童見守りシステムの構築に向けて(B-19.ネットワークソフトウェア,一般セッション)
- オントロジーメンテナンスのための固有名詞抽出技術の検討(オントロジー,「Webインテリジェンス」及び一般)
- ベンダ製品を用いた通信サービスシステムの信頼性評価手法(ネットワーク)
- オントロジを利用したCGM分析サービス(「Webインテリジェンス」及び一般)
- DT-2-5 オントロジーを用いたブログからのクチコミ情報抽出サービス(DT-2.身近なところで役に立ち始めたセマンティックWeb,チュートリアル講演,ソサイエティ企画)
- 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
- 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
- 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
- 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
- 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logic を用いた検出
- 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logic を用いた検出
- 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logicを用いた検出(並列・分散)
- マルチエージェントを用いた無中断予備VP設定方式
- プロトコル検証シミュレータの開発とコネクション確立プロトコルへの適用
- マルチエージェントを用いた無中断予備VP設定方式
- 通信プロトコルのリスポンシブネス検証における仮想システム状態の導入効果の実験的評価
- 通信プロトコルのリアルタイム性に関する諸性質の検証
- リスポンシブプロトコルのリアルタイム性検証のための時間を考慮した可到達解析法
- B-21-4 MANETにおける自律分散クラスタリングに基づく経路情報の分散管理手法(B-21.アドホックネットワーク,一般セッション)
- B-19-15 MANETのサービス発見手法におけるサービス情報の変化に適応したモバイルエージェントの移動機構(B-19.ネットワークソフトウェア,一般セッション)
- B-21-1 パケット変換とアドレス共有による異種アドホックネットワーク間ルーティング(B-21.アドホックネットワーク,一般セッション)
- 6D-6 SATソルバを利用したオントロジー上の概念間距離の計算(人工知能一般(2),一般セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 3D-1 オントロジー構築のための文書からの意味関係抽出(自然言語処理(1),一般セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 文書からのオントロジー獲得におけるオントロジー品質推定手法の提案(一般,「グリーンAI」及び一般)
- 4D-2 レシピ文書を対象としたオントロジー整備作業の評価(人工知能(2),一般セッション,人工知能と認知科学)
- 通信ソフトウェア工学に関する研究動向
- 第2回コンプレックスコンピュータシステム国際会議(ICECCS'96)の開催報告
- COSMIC法による機能規模測定の信頼性評価(ソフトウェア要求のモデル化)
- COSMIC法による機能規模測定の信頼性評価(ソフトウェア要求のモデル化)
- 交換機の開発コストへのCOSMIC-FFP適用
- COSMIC-FFPの拡張とその評価
- 適応型システムとサービス競合
- リンクするデータ(Linked Data)-広がり始めたデータのクラウド- : 3.次世代の医薬品開発を支える知識流通
- リンクするデータ(Linked Data)-広がり始めたデータのクラウド- : 0.編集にあたって
- アドホックネットワークにおけるルーチングIDを用いた経路探索負荷軽減のための迂回経路構築手法(ネットワークソフトウェア技術とその応用論文)
- ネットワークソフトウェア技術とその応用論文特集の発行にあたって(ネットワークソフトウェア技術とその応用論文)
- AndroidとMANETに基づいた自律構成可能な新世代児童見守りシステム(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- AndroidとMANETに基づいた自律構成可能な新世代児童見守りシステム(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- Pure P2Pのためのモバイルエージェントを利用したサービス情報の伝播方式(P2P)
- 移動・固定シンクの共存によるWSNの長寿命化手法(トラヒック計測・制御,ポリシー管理,ネットワーク異常検知,信頼性,認証,ID/名前空間,ネットワークセキュリティ,プライバシー,VPN,DDoS及び一般)
- BS-8-7 アシュアランスネットワーク設計方法論(BS-8. ネットワークソフトウェア特別ポスターセッション,シンポジウムセッション)
- BS-8-6 MANETにおけるBluetooth通信を用いたマルチコネクションの効率化(BS-8. ネットワークソフトウェア特別ポスターセッション,シンポジウムセッション)
- BP-7-4 Android端末で構成するBluetooth MANETに基づく見守りシステム(BP-7.安全・安心ICT基盤の実現を目指すアドホック・メッシュネットワーク,パネルセッション,ソサイエティ企画)
- BS-8-5 Android端末を用いたBluetooth MANETにおける自律的衝突回避手法(BS-8.ネットワークソフトウェア特別ポスターセッション,シンポジウムセッション)
- BS-8-4 アドホックネットワークにおけるルーティングIDを用いたノード素な複数経路構築手法(BS-8.ネットワークソフトウェア特別ポスターセッション,シンポジウムセッション)
- VANETを利用した都市交通における渋滞軽減手法(ホームネットワーク,ユビキタスネットワーク,クラウドコンピューティング,コンテキストアウェア,位置情報サービス,e-コマース及び,一般)
- Android端末で構成するBluetooth MANETを用いた新世代児童見守りシステム(技術展示,モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- Android端末で構成するBluetooth MANETを用いた新世代児童見守りシステム(技術展示,モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- 無線センサネットワークにおける分散データ転送のための重複を低減する複数経路の構築とノードの経路分岐数通知によるパラメータ設定方式 (ディペンダブルコンピューティング)
- BS-8-3 ワイヤレスセンサネットワークにおけるBloomFilterを用いた偽造パケットによるなりすまし検知手法(BS-8.ネットワークソフトウェア特別ポスターセッション,シンポジウムセッション)
- Linked Open DataチャレンジJapan 2011を振り返って
- Android 端末で構成する Bluetooth MANET を用いた新世代児童見守りシステム
- VANETを利用した都市交通における渋滞軽減手法
- オントロジを利用したCGM分析サービス
- OS-13 Linked Dataとオントロジー(オーガナイズドセッション報告,2012年度人工知能学会全国大会(第26回))
- ビジネスに使えるオントロジー関連ツール : 代表的シーンからの抽出
- 自律分散クラスタリングとP2Pオーバレイネットワークに基づくMANETの実験的評価
- Bluetooth MANETを用いたP2Pオーバレイネットワークとクラスタリングの実装
- BS-6-7 VANETにおける情報共有のための車両特性を考慮したデータ転送方式(BS-6. ネットワークソフトウェア特別ポスターセッション,シンポジウムセッション)
- 企業参加推進(2012年度人工知能学会全国大会(第26回))
- B-20-14 堅忍持久なネットワークシステムの構築を目指して(B-20.アドホックネットワーク,一般セッション)
- 無線センサネットワークにおける分散データ転送のための重複を低減する複数経路の構築とノードの経路分岐数通知によるパラメータ設定方式(ネットワーク環境でのディペンダビリティー)
- VANETを利用した都市交通における渋滞軽減手法とその効果(一般,Resilient Network,ディザスタ・リカバリ,BCP(Business Continuity Plan),臨時ネットワーク構築,省電力ネットワーク技術,TCP/IP,プロトコル,ルーチング,ネットワーク管理,認証/ID管理及び一般)
- ひろしま菓子博覧会における遅延・切断耐性モバイルアドホックネットワークに基づく展示評価情報の伝搬・収集システム(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- ひろしま菓子博覧会における遅延・切断耐性モバイルアドホックネットワークに基づく展示評価情報の伝搬・収集システム(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- ひろしま菓子博覧会における遅延・切断耐性モバイルアドホックネットワークに基づく展示評価情報の伝搬・収集システム(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- BS-4-12 VANETを利用した動的交通情報収集エリア変更機能を用いた渋滞軽減手法(BS-4.ネットワーク技術特別ポスターセッション,シンポジウムセッション)
- BS-4-7 ノード密度の変化するMANETにおける自己組織型送信電力制御法に関する検討(BS-4.ネットワーク技術特別ポスターセッション,シンポジウムセッション)
- アドホックネットワークにおけるセキュア分散データ転送のための経路重複ノード数を低減する複数経路に関する考察(ルーティング)
- Bluetooth MANETに基づくネットワークアーキテクチャの構築とその適用事例(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- Android端末を用いたBluetooth MANETにおける探索・接続周期決定手法(無線LAN,M2M/センサネットワーク,P2P/アドホックネットワーク,モバイルアプリケーションとサービス,オフロード技術,映像配信,およびこれらの品質と省電力化,一般)
- Linked Data とオントロジー