PEPA Nets in practice: Modelling a decentralised peer-to-peer emergency medical application

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3236, Issue , 2004, Pages 262-277

  Gilmore, Stephen ^a   Haenel, Valentin ^a   Hillston, Jane ^a   Kloul, Leïla ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL METHODS; HIGH LEVEL LANGUAGES; INFORMATION SCIENCE; INTEGRATION TESTING; MEDICAL APPLICATIONS; MODEL CHECKING; MODELING LANGUAGES; PETRI NETS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; SYSTEMS ANALYSIS;

HIGH-LEVEL MODELING; INFORMATION FLOWS; MEDICAL INFORMATICS APPLICATIONS; MEDICAL RECORDS SYSTEMS; PERFORMANCE EVALUATION PROCESS ALGEBRA; PERFORMANCE ISSUES; PROBABILISTIC MODELING; STOCHASTIC PETRI NETS;

PEER TO PEER NETWORKS;

EID: 35048843436     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30233-9_20     Document Type: Article

References (12)

1. J. Gorman, S. Walderhaug, and H. Kvålen. Reliable data replication in a wireless medical emergency network. In Proceedings of the 22nd International Conference, on Computer Safety, Reliability and Security (SAFECOMP '03), number 2788 in LNCS, pages 207-220, Edinburgh, Scotland, September 2003. Springer-Verlag.
2. S. Gilmore, J. Hillston, M. Ribaudo, and L. Kloul. PEPA nets: A structured performance modelling formalism. Performance Evaluation, 54(2):79-104, October 2003.
3. M. Kwiatkowska, G. Norman, and D. Parker. Probabilistic symbolic model checking with PRISM: A hybrid approach. In J.-P. Katoen and P. Stevens, editors, Proc. 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '02), volume 2280 of LNCS, pages 52-66. Springer, April 2002.
4. A. Aziz, K. Sanwal, V. Singhal, and R. Brayton. Verifying continuous time Markov chains. In Computer-Aided Verification, volume 1102 of LNCS, pages 169-276. Springer-Verlag, 1996.
5. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
6. S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo. Software performance modelling using PEPA nets. In Proceedings of the Fourth International Workshop on Software and Performance, pages 13-24, Redwood Shores, California, USA, January 2004. ACM Press.
7. S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, number 794 in Lecture Notes in Computer Science, pages 353-368, Vienna, May 1994. Springer-Verlag.
8. G. Clark and W. H. Sanders. Implementing a stochastic process algebra within the Möbius modeling framework. In L. de Alfaro and S. Gilmore, editors, Proceedings of the first joint PAP M-P RO B M I V Workshop, volume 2165 of Lecture Notes in Computer Science, pages 200-215, Aachen, Germany, September 2001. SpringerVerlag.
9. J.T. Bradley, N.J. Dingle, S.T. Gilmore, and W.J. Knottenbelt. Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler. In G Kotsis, editor, Proceedings of the 11th I EEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, pages 344-351, University of Central Florida, October 2003. IEEE Computer Society Press.
10. F. Somenzi. CUDD: CU Decision Diagram Package. Department of Electrical and Computer Engineering, University of Colorado at Boulder, February 2001.
11. R. D. Nicola and F. W. Vaandrager. Action versus state based logics for transition systems. In Proceedings Ecole de Printemps on Semantics of Concurrency, volume 469 of Lecture Notes in Computer Science, pages 407-419. Springer Verlag, 1990.
12. W. J. Knottenbelt. Generalised Markovian analysis of timed transition systems. Master's thesis, University of Cape Town, 1996.