The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Para a Internet, os desenvolvedores de sistemas muitas vezes precisam estimar a QoS por meio de técnicas de simulação ou análise matemática. A verificação de modelos probabilísticos pode avaliar o desempenho, a confiabilidade e a estabilidade de sistemas de processamento de informações com comportamentos aleatórios. Aplicamos uma abordagem de análise híbrida em sistemas distribuídos em tempo real. Na abordagem de análise híbrida, realizamos análises passo a passo utilizando modelos probabilísticos de sistemas alvo em diferentes níveis abstratos. Primeiro, criamos um modelo probabilístico com comportamento detalhado do sistema (chamado modelo detalhado), e aplicamos a simulação no modelo detalhado. A seguir, com base nos resultados da simulação, criamos um modelo probabilístico em nível abstrato (denominado modelo simplificado). Em seguida, verificamos propriedades qualitativas utilizando técnicas de verificação de modelos probabilísticos. Isso evita a explosão de estado. Avaliamos a validade de nossa abordagem comparando os resultados da simulação do NS-2 usando um estudo de caso de um sistema de streaming de dados de vídeo. Os experimentos mostram que o resultado da abordagem proposta é muito próximo daquele da simulação NS-2. O resultado incentiva que a abordagem seja útil para a análise de desempenho em vários domínios.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copiar
Takeshi NAGAOKA, Akihiko ITO, Kozo OKANO, Shinji KUSUMOTO, "QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation" in IEICE TRANSACTIONS on Information,
vol. E94-D, no. 5, pp. 958-966, May 2011, doi: 10.1587/transinf.E94.D.958.
Abstract: 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.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.E94.D.958/_p
Copiar
@ARTICLE{e94-d_5_958,
author={Takeshi NAGAOKA, Akihiko ITO, Kozo OKANO, Shinji KUSUMOTO, },
journal={IEICE TRANSACTIONS on Information},
title={QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation},
year={2011},
volume={E94-D},
number={5},
pages={958-966},
abstract={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.},
keywords={},
doi={10.1587/transinf.E94.D.958},
ISSN={1745-1361},
month={May},}
Copiar
TY - JOUR
TI - QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
T2 - IEICE TRANSACTIONS on Information
SP - 958
EP - 966
AU - Takeshi NAGAOKA
AU - Akihiko ITO
AU - Kozo OKANO
AU - Shinji KUSUMOTO
PY - 2011
DO - 10.1587/transinf.E94.D.958
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E94-D
IS - 5
JA - IEICE TRANSACTIONS on Information
Y1 - May 2011
AB - 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.
ER -