Evaluating quality of service for service level agreements
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Generating a Petri net from a CSP specification: A semantics-based method
Advances in Engineering Software
Hi-index | 0.00 |
PEPA is a popular stochastic process algebra and a powerful formalism for describing performance models of communication and computer systems.We augment the current state-of-the-art in the analysis of PEPA models by presenting a tool set that can not only perform steady-state and transient analysis, but also response time analysis. Response time densities and quantiles are important performance metrics which are used to specify service level agreements (SLAs) and benchmarks.HYDRA is a tool specialising in response time analysis of large Markov systems based on stochastic Petri nets.By using the Imperial PEPA compiler (ipc), we can generate a HYDRA model from a PEPA model and obtain steady-state, transient and response time measures based on the original PEPA description.