A compositional approach to performance modelling
A compositional approach to performance modelling
An Efficient Kronecker Representation for PEPA Models
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Process Algebras for Quantitative Analysis
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Tuning Systems: From Composition to Performance
The Computer Journal
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
State-Aware Performance Analysis with eXtended Stochastic Probes
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
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
Location-aware quality of service measurements for service-level agreements
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Hi-index | 0.00 |
We report on a new style of passage measurement - called passage-end calculations - associated with stochastic probes and their extension to eXtended Stochastic Probes (XSP) [1]. While stochastic probes allow for the analysis of a passage to be split up into several cases depending on the conditions which hold at the start of the passage, even XSP lacks the ability for the same kind of separation depending on conditions at the end of the passage. In particular we would like to separate successful responses to a request from negative responses, timeouts or other failures. This allows us to evaluate refined service level agreements such as: "At least 90 percent of all successful requests are responded to within 10 seconds" or "At least 90 percent of all requests are responded to within 10 seconds and at least 60 percent of all such requests are successful." We present a case study in the use of passage-end measurements using a robot bowling demonstration used at the ICT 2008 computer fair, one of Europe's leading information technology fairs.