確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較

HANDLE Web Site 参考文献10件 オープンアクセス

書誌事項

タイトル別名
  • Verification for the Real-time Network Systems with the Probabilistic Model Checker and its Comparision with the Network Simulator NS-2
  • カクリツテキ モデル ケンサ ツール ヲ モチイタ ジツジカン ネットワーク システム ノ ケンショウ シュホウ ノ テイアン オヨビ ネットワーク シミュレータ NS-2 トノ ヒカク

この論文をさがす

抄録

実時間ネットワークシステムにおいてはネットワークで要求されるQoSを達成することが重要とされる.そこで,確率的振る舞いを持つシステムに対するモデル検査ツールPRISMに着目し,これを用いた実時間ネットワークシステムの詳細なモデル化方法,さらにそれらの結果を利用した形式的検証手法について述べる.また本稿では,提案手法の有用性を明らかにするために例題に適用し,ネットワークシミュレータNS-2によってモデル化に対するシミュレーション結果の比較,考察についても述べる.

収録刊行物

参考文献 (10)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ