This course offers the basics of quantitative methods for the evaluation of the performance of hardware/software systems. The focus is on analytical models, where the  system under scrutiny can be conveniently represented as a mathematical problem. The solution of this problem allows the modeller to obtain indices of performance such as throughput, utilisation, and response time. A central role will be played by stochastic models, which enable the expression of uncertainties using a probabilistic framework.

The course is self-contained and no prior knowledge is required. The course will cover elementary notions of probability theory, Markov chains, and high-level modelling  languages based on stochastic processes, with emphasis on the process algebra PEPA.

 

Note: This course will be held in English.