Stochastic Process Algebras for Performance Modelling
Jane Hillston
University of Edinburgh (UK)
-
Slides:
- Lecture 1: Introduction
- Lecture 2: Stochastic Process Algebras
- Lecture 3: Model Manipulations
- Lecture 4: Case Studies
- Lecture 5: Tackling State Space Explosion
- Lecture 6: Collective Dynamics
- Lecture 7: Scalable Analysis
- Lecture 8: Stochastic Probes and Service Level Agreements
- Lecture 9: Multi-modality and Hybrid approximation
- Lecture 10: Modelling hybrid systems in HYPE
-
Lab Sessions:
- Lab 1: Introduction
- Lab 1: Exercise
- file for second exercise: ACPI.pepa
- Useful paper about the PEPA Eclipse Plug-in
- The PEPA Plug-in for Eclipse
- Lab 2: Exercise
- Lab3: Exercise
- Lab4: Exercise
-
Example models:
- PEPA model of the WEB1 example
- PEPA model of the WEB2 example
- PEPA model of the WEB4 example
- PEPA model of the PC LAN example with four nodes discussed in Lab 1
- PEPA model of the PC LAN example with six nodes discussed in Lab 1
- PEPA model of the web service composition discussed in Lecture 4
People who do not have a background in quantitative modelling, and particularly continuous time Markov chains might find the following lecture notes, from an undergraduate course of Performance Modelling that I teach, useful for providing background to help understand the PhD course.