Verification for the Real-time Network Systems with the Probabilistic Model Checker and its Comparision with the Network Simulator NS-2

HANDLE Web Site 10 References Open Access

Bibliographic Information

Other Title
  • 確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較
  • カクリツテキ　モデル　ケンサ　ツール　ヲ　モチイタ　ジツジカン　ネットワーク　システム　ノ　ケンショウ　シュホウ　ノ　テイアン　オヨビ　ネットワーク　シミュレータ　NS-2　トノ　ヒカク

Search this article

Abstract

For distributed systems, managing QoS parameters is a focal point of their quality. In this paper, focusing on PRISM, a model checking tool for probabilistic real-time systems, we present a new method to analysis real-time network systems detailed, and to implement formal verification with the use of this result. The paper also describes an application example and evaluation of the method with network simulator NS-2.

Journal

References(10)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top