A compositional approach to performance modelling
A compositional approach to performance modelling
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Journal of Computational Physics
Journal of Computer and System Sciences
PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6
MASCOTS '07 Proceedings of the 2007 15th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Performance Modelling of Content Adaptation for a Personal Distributed Environment
Wireless Personal Communications: An International Journal
ACM SIGMETRICS Performance Evaluation Review
Engineering crowd interaction within smart environments
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
QEST '10 Proceedings of the 2010 Seventh International Conference on the Quantitative Evaluation of Systems
GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems
QEST '11 Proceedings of the 2011 Eighth International Conference on Quantitative Evaluation of SysTems
Scalable Differential Analysis of Process Algebra Models
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Fluid flow approximation allows efficient analysis of large scale PEPA models. Given a model, this method outputs how the mean, variance, and any other moment of the model's stochastic behaviour evolves as a function of time. We investigate whether the method's results, i.e. moments of the behaviour, are sufficient to capture system's actual dynamics. We ran a series of experiments on a client-server model. For some parametrizations of the model, the model's behaviour can accurately be characterized by the fluid flow approximations of its moments. However, the experiments show that for some other parametrizations, these moments are not sufficient to capture the model's behaviour, highlighting a pitfall of relying only on the results of fluid flow analysis. The results suggest that the sufficiency of the fluid flow method for the analysis of a model depends on the model's concrete parametrization. They also make it clear that the existing criteria for deciding on the sufficiency of the fluid flow method are not robust.