Fluid models in performance analysis

Marco Gribaudo, Miklós Telek

Research output: Conference contribution

14 Citations (Scopus)

Abstract

Stochastic fluid models have been applied to model and evaluate the performance of many important real systems. The automatic analysis tools to support of fluid models are still not as improved as the ones for discrete state Markov models, but there is a wide range of models which can be effectively described and analyzed with fluid models. Also the model support of hybrid models from various performance evaluation tools improves continuously. The aim of this work is to summarize the basic concepts and the potential use of Markov fluid models. The factors which determine the limits of solvability of fluid models are also discussed. Practical guidelines can be extracted from these factors to determine the applicability of fluid models in practical modeling examples. The work is supported by an example where Fluid Models, derived from an higher level modeling language (Fluid Stochastic Petri Nets), have been exploited to study the transfer time distribution in Peer-to-Peer file sharing applications.

Original languageEnglish
Title of host publicationFormal Methods for Performance Evaluation - 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Advanced Lectures
Pages271-317
Number of pages47
Publication statusPublished - aug. 27 2007
Event7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007 - Bertinoro, Italy
Duration: máj. 28 2007jún. 2 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4486 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007
CountryItaly
CityBertinoro
Period5/28/076/2/07

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Gribaudo, M., & Telek, M. (2007). Fluid models in performance analysis. In Formal Methods for Performance Evaluation - 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Advanced Lectures (pp. 271-317). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4486 LNCS).