You can find some useful mathematical background material for the course here.
If you are not already comfortable with all these concepts you will need to put in some additional work to begin with to get up to speed. This material will be assumed.
Lectures Slides Modelling and Simulation Lecture 1 Operational Laws Lecture 2 Constructing and Solving Markov Processes Lecture 3 More Complex Markov Processes Lecture 4 Queueing Networks Lecture 5 Solving Queueing Models Lecture 6 Stochastic Petri Nets Lecture 7 More about GSPN Models Lecture 8 Using a GSPN for Performance Evaluation Lecture 9 PEPA Lecture 10 PEPA Case Study: Web Service Composition Lecture 11 Simulation Models: Introduction and Motivation Lecture 12 The PEPA Plug-in for Eclipse Random Variables and Simulation Lecture 14 Tackling state space explosion in PEPA models Lecture 15 Model Validation and Verification Lecture 16 Validation exercise Parameterisation and Workload Characterisation Lecture 17 Comparison of Techniques
Over the course we will encounter a number of different approaches to constructing performance models and software tools to support their use. Example models will be made available here and students are encouraged to use the examples to gain a deeper understanding of both the modelling styles and the software tools.
- A ZIP archive of all of the files below
- maple file for the multiprocessor with two processors
- maple transcript for the PC LAN with 4 nodes
- the states for the PC LAN with 4 nodes (maple input file
- the transitions for the PC LAN with 4 nodes (maple input file)
- maple calculation for the average number of packets per PC in the 4 node LAN
- maple calculation for the average throughput of packets per PC in the 4 node LAN
- maple transcript for the PC LAN with 6 nodes
- the states for the PC LAN with 6 nodes (maple input file
- the transitions for the PC LAN with 6 nodes (maple input file)
- maple calculation for the average number of packets per PC in the 6 node LAN
- maple calculation for the average throughput of packets per PC in the 6 node LAN
The SPNP tool is available as a tarball here.
You should copy it into your DICE account. Within the directory you will find a README file with instructions for running SPNP on a CSPL file on a DICE machine. Some example CSPL files are available below; another is available within the directory you download. Before you complete the second practical you must print and sign the SPNP student license agreement document
There is a short movie here which may help you with installing the PEPA Plug-in for Eclipse. You will find the plug-in and further instructions at http://www.dcs.ed.ac.uk/pepa/tools/plugin/download.html.
- ZIP archive of all the files listed below
- 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
- PEPA model of the PC LAN example with six nodes
- PEPA model of the web service composition discussed in Lecture 11
This note gives some information about undertaking scalable analysis with the PEPA tools. It can be seen as a supplement to Lecture Note 15, and may be useful for MSc students undertaking Practical 2.
The summative feedback for the course will be two pieces of assessed coursework.
There are no tutorials for this course but individual assistance is available: mail me and make an appointment Jane.Hillston@ed.ac.uk.
Individual feedback and a specimen solution will be provided.
Formative feedback will be provided throughout the course in a variety of forms:
There is no textbook for this course but extensive notes will be given.
If you want further information on the topics covered you may consider the books in the course booklist.
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: email@example.com
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh