QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
スポンサーリンク
概要
- 論文の詳細を見る
For the Internet, system developers often have to estimate the QoS by simulation techniques or mathematical analysis. Probabilistic model checking can evaluate performance, dependability and stability of information processing systems with random behaviors. We apply a hybrid analysis approach onto real-time distributed systems. In the hybrid analysis approach, we perform stepwise analysis using probabilistic models of target systems in different abstract levels. First, we create a probabilistic model with detailed behavior of the system (called detailed model), and apply simulation on the detailed model. Next, based on the simulation results, we create a probabilistic model in an abstract level (called simplified model). Then, we verify qualitative properties using the probabilistic model checking techniques. This prevents from state-explosion. We evaluate the validity of our approach by comparing to simulation results of NS-2 using a case study of a video data streaming system. The experiments show that the result of the proposed approach is very close to that of NS-2 simulation. The result encourages the approach is useful for the performance analysis on various domain.
論文 | ランダム
- 最近経験した上咽頭結核治験例--その他の過去5年間における耳鼻咽喉科領域の結核症の8例について
- 慢性中耳炎病巣組織への抗生物質の移行--Cefazolin sodiumによる
- ベル麻痺症例にみられる瞳孔反応--双眼イリスコ-ダ-による
- 一側性眼球突出を伴う副鼻腔疾患のCTスキャン-5症例
- 聴覚・平衡機能検査よりみたベル麻痺とハント症候群