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.
論文 | ランダム
- インタビュー 竹内常一さんに聞く 子どもの現実から教育基本法の現代的意義を考える (特集 なぜ、いま教育基本法の改正か)
- 戦後教員文化の一断面--東京・足立一中の教師たち
- 踏台昇降運動を加味した循環器検査の検討について
- 検証・上田六中の学校づくり (特集/検証 学校評議員制度と学校協議会) -- (長野・上田第六中学校四者会議の検討)
- 1980年代教育権論争の考察--今橋教育法の意義と課題