A Verification Considering the Network Delay for Real-time Distributed Systems with the Probabilistic Model Checker PRISM

HANDLE Web Site 1 Citations 14 References Open Access

Bibliographic Information

Other Title
  • 確率的モデル検査ツールPRISMによるリアルタイム分散システムのネットワーク遅延を考慮した検証手法について
  • カクリツテキ　モデル　ケンサ　ツール　PRISM　ニ　ヨル　リアルタイム　ブンサン　システム　ノ　ネットワーク　チエン　ヲ　コウリョ　シタ　ケンショウ　シュホウ　ニ　ツイテ

Search this article

Description

Formal verification techniques, especially model checking techniques are promising techniques in software developing due to their ability of exhaustive checking. For distributed systems, managing QoS parameters, such as latency, network delay, jitters, bandwidth and packet loss, is a focal point of their quality. In this paper, focusing using PRISM, a model checker for probabilistic real-time systems, we present a new method to analysis real-time multi-media systems considering network properties. The paper also describes an application example and the result.

Journal

Citations (1)*help

See more

References(14)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top