A compositional approach to performance modelling
A compositional approach to performance modelling
An Efficient Algorithm for Aggregating PEPA Models
IEEE Transactions on Software Engineering
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Model Checking Continuous-Time Markov Chains by Transient Analysis
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
On Observability in Timed Continuous Petri Net Systems
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Journal of Parallel and Distributed Computing
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Journal of Computer and System Sciences
Relating continuous and discrete PEPA models of signalling pathways
Theoretical Computer Science
Extracting Response Times from Fluid Analysis of Performance Models
SIPEW '08 Proceedings of the SPEC international workshop on Performance Evaluation: Metrics, Models and Benchmarks
Partial Evaluation of PEPA Models for Fluid-Flow Analysis
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Analysis of Large Scale Interacting Systems by Mean Field Method
QEST '08 Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
A class of mean field interaction models for computer and communication systems
Performance Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets
Mean-field framework for performance evaluation of push-pull gossip protocols
Performance Evaluation
First Passage Time Computation in Tagged GSPNs with Queue Places
The Computer Journal
Performance Evaluation of Computer and Communication Systems
Performance Evaluation of Computer and Communication Systems
Scalable Differential Analysis of Process Algebra Models
IEEE Transactions on Software Engineering
A unified approach to the moments based distribution estimation – unbounded support
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Higher moment analysis of a spatial stochastic process algebra
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Basic theory and some applications of martingales
Proceedings of the 12th ACM SIGMETRICS/PERFORMANCE joint international conference on Measurement and Modeling of Computer Systems
Mean-Field analysis of markov models with reward feedback
ASMTA'12 Proceedings of the 19th international conference on Analytical and Stochastic Modeling Techniques and Applications
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Continuous approximation of collective system behaviour: A tutorial
Performance Evaluation
Model checking markov population models by central limit approximation
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Bounds on the deviation of discrete-time Markov chains from their mean-field model
Performance Evaluation
Tackling continuous state-space explosion in a Markovian process algebra
Theoretical Computer Science
| Hi-index | 5.23 |
Recent developments in the analysis of large Markov models facilitate the fast approximation of transient characteristics of the underlying stochastic process. Fluid analysis makes it possible to consider previously intractable models whose underlying discrete state space grows exponentially as model components are added. In this work, we show how fluid-approximation techniques may be used to extract passage-time measures from performance models. We focus on two types of passage measure: passage times involving individual components, as well as passage times which capture the time taken for a population of components to evolve. Specifically, we show that for models of sufficient scale, global passage-time distributions can be well approximated by a deterministic fluid-derived passage-time measure. Where models are not of sufficient scale, we are able to generate upper and lower approximations for the entire cumulative distribution function of these passage-time random variables, using moment-based techniques. Additionally, we show that, for passage-time measures involving individual components, the cumulative distribution function can be directly approximated by fluid techniques. Finally, using the GPA tool, we take advantage of the rapid fluid computation of passage times to show how a multi-class client-server system can be optimised to satisfy multiple service level agreements.