Performance Modelling

This course runs in Semester 1 on Tuesdays and Fridays at 12:10.

About the course: This course teaches various aspects of computer-aided modelling for performance evaluation of (stochastic) dynamic systems. The emphasis is on stochastic modelling of computer systems and communication networks; however other dynamic systems such as manufacturing systems will also be considered. The central concept of the course will be that a model, as well as being an abstract representation of a system, is a tool which we can exploit to derive information about the system. The more detail we invest in the model, the more sophisticated the information we can extract from it. As the course progresses the models will become increasingly detailed; the corresponding solution techniques will similarly become more complex, relying on increasing levels of computer assistance and visualisation.

Lecture notes: The course lecture notes are by Jane Hillston.

Lectures Slides
Modelling and Simulation Lecture 1
Operational Laws Lecture 2
Constructing and Solving Markov Processes Lecture 3
More Complex Markov Processes Lecture 4
Stochastic Petri Nets Lecture 5
More about GSPN Models Lecture 6
Using a GSPN for Performance Evaluation Lecture 7
Queueing Networks Lecture 8
Solving Queueing Models Lecture 9
PEPA Lecture 10
PEPA Case Study: Web Service Composition Lecture 11
Simulation Models: Introduction and Motivation Lecture 12
Random Variables and Simulation Lecture 13
The PEPA Plug-in for Eclipse
Tackling state space explosion in PEPA models Lecture 15
Scalable modelling in the PEPA Eclipse Plug-in
Model Validation and Verification Lecture 17
Parameterisation and Workload Characterisation Lecture 18
Comparison of Techniques
Software and models

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.

Maple

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.

PEPA
Coursework:

There will be two pieces of assessed coursework.
Practical 1 (2011) (Issued on 7th October, due 3rd November 2011, returned 11th November 2011)
Individual written feedback has been given and a specimen solution was handed out in lecture.
Those who were not in the lecture to collect their marked work should collect it from the ITO.

The second practical is now available: Practical 2 (2011) (Issued on 8th November, due on 8th December 2011.
For the second question you may find it helpful to download the fragment of a PEPA model in the file practical2-ACPI.pepa.

There are no tutorials for this course but individual assistance is available: mail me and make an appointment.
Individual feedback and a specimen solution will be provided.

Books:

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.


Home : Teaching : Courses 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk
Please contact our webadmin with any comments or corrections.
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh