The ipc/HYDRA tool chain for the analysis of PEPA models

Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004

Volumn , Issue , 2004, Pages 334-335

  Bradley, Jeremy T ^a   Knottenbelt, William J ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

HYPERGRAPHS; RANDOM EXPONENTIAL DELAYS; SERVICE LEVEL AGREEMENTS (SLA); STOCHASTIC MODELS;

ALGEBRA; COMPUTER SYSTEMS; MARKOV PROCESSES; PARALLEL PROCESSING SYSTEMS; PROBABILITY; RANDOM PROCESSES; RESPONSE TIME (COMPUTER SYSTEMS); ROUTERS; STOCHASTIC CONTROL SYSTEMS; SYNTACTICS; THROUGHPUT;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 16244373016     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2004.1348054     Document Type: Conference Paper

References (6)

1. A. Argent-Katwala, J. T. Bradley, and N. J. Dingle. Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models. In Proc. of the 4th Int. Workshop on Software and Performance, pages 49-58. ACM, January 2004.
2. G. Clark and W. Sanders. Implementing a stochastic process algebra within the Möbius modeling framework. In Proc. of the 1st PAPM-PROBMIV Workshop, volume 2165 of LNCS, pages 200-215. Springer-Verlag, 2001.
3. N. J. Dingle, W. J. Knottenbelt, and P. G. Harrison. HYDRA: HY pergraph-based Distributed Response-time Analyser. In PDPTA '03, pages 215-219, June 2003.
4. S. Gilmore, J. Hillston, and G. Clark. Specifying performance measures for PEPA. In Proc. of the 5th ARTS Workshop, volume 1601 of LNCS, pages 211-227. Springer-Verlag, 1999.
5. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
6. M. Kwiatkowska, G. Norman, and D. Parker. Probabilistic symbolic model checking with PRISM: A hybrid approach. In TACAS'02 Workshop, volume 2280 of LNCS, pages 52-66. Springer-Verlag, 2002.