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.
論文 | ランダム
- 10-2 問題解決・数学的な考え方の課題と展望 : 基調発表をふまえて(第10分科会 問題解決・数学的な考え方,III.高等学校部会,第87回総会特集号)
- 12-5 新しい単元における導入教材の重要性 : 生徒への興味付けの工夫と難しさ(12学習指導法・評価,高等学校,日本数学教育学会第84回総会 全国算数・数学教育研究(兵庫)大会)
- 8-4 数列の和の計算法の一工夫 : 階差数列の考えを逆利用した和の求め方(8数学A,高等学校,日本数学教育学会第84回総会 全国算数・数学教育研究(兵庫)大会)
- 3205 複合感覚を考慮したテクスチャの感性評価に関する研究(OS14-2 感性と設計II,OS14 感性と設計)
- コンポーネント・モード法による初期不整を有するトラスの弾塑性解析(構造A)