A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

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

QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation Análise de QoS de Sistemas Distribuídos em Tempo Real Baseada em Análise Híbrida de Técnica de Verificação de Modelo Probabilístico e Simulação

Takeshi NAGAOKA, Akihiko ITO, Kozo OKANO, Shinji KUSUMOTO

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

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.

Publicação
IEICE TRANSACTIONS on Information Vol.E94-D No.5 pp.958-966
Data de publicação
2011/05/01
Publicitada
ISSN online
1745-1361
DOI
10.1587/transinf.E94.D.958
Tipo de Manuscrito
Special Section PAPER (Special Section on Formal Approach)
Categoria
Verificação de modelo

autores

Palavra-chave