|
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.
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.
Lecture notes:
The course lecture notes are by
Jane Hillston.
Lecture notes will be available at least 24 hours prior to each lecture on the webpage and the slides generally within 24 hours after the lecture.
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.
PIPE
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.
Coursework:
PEPA
- 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.
There will be two pieces of assessed coursework.
Practical 1 (2012) has been issued on 4th October:
Note that there are two distinct versions of the practical and please ensure
that you do the right one. In both cases the deadline is 4pm on 1st November 2012: printed copies should be submitted to the ITO. These will be returned on or before 16th November 2012
Practical 2 (2012) has been issued on 5th November,
You will also need the file practical2-ACPI.pepa for question 2.
Note that there are two distinct versions of the practical and please ensure
that you do the right one. In both cases the deadline is 4pm on 29th November 2012: printed copies should be submitted to the ITO
and additional your PEPA model created for Question 3 should be submitted electronically as explained in the handout.
The practical will be returned on or before 13th December 2012.
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.
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: school-office@inf.ed.ac.uk Please contact our webadmin with any comments or corrections. Logging and Cookies Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh |
