Performance engineering and stochastic modelling

Authors:
Peter Harrison
Affiliations:
Imperial College London, London, UK
Venue:
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
Year:
2005

Citing 9
Cited 2

Product form solution for a class of PEPA models

IPDS '98 Proceedings of the third IEEE international performance and dependability symposium on International performance and dependability symposium
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers

Journal of the ACM (JACM)
G-Networks with resets

Performance Evaluation
A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets

IEEE Transactions on Software Engineering
Derivation of Petri Net Performance Models from UML Specifications of Communications Software

TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Turning back time in Markovian process algebra

Theoretical Computer Science
Compositional reversed Markov processes, with applications to G-networks

Performance Evaluation
Separable equilibrium state probabilities via time reversal in Markovian process algebra

Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Random neural networks with negative and positive signals and product form solution

Neural Computation

An initiative for a classified bibliography on G-networks

Performance Evaluation
Bibliography on G-networks, negative customers and applications

Mathematical and Computer Modelling: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

Performance engineering has become a central plank in the design of complex, time-critical systems. It is supported by stochastic modelling, a brief history of which is given, going back to Erlang as long ago as 1909. This in turn developed according to successive new generations of communication and computer architectures and other operational systems. Its evolution through queues and networks is reviewed, culminating in the unification of many specification and solution techniques in a common formalism, stochastic process algebra. Recent results are given on the automatic computation of separable solutions for the equilibrium state probabilities in systems specified in such a formalism. A performance engineering support environment is proposed to integrate these methods with others such as response time analysis and fluid models, which are better suited to large scale aggregation of similar components in a continuous space.