This is an old revision of the document!

Performance Analysis and Simulation

News

  • 30/09/2019 A classroom is available. Please, login with your UniCam credentials and register for the course with code 870ezw. This classroom will be used to distribute course material and to interact with students.
  • 19/09/2019 The page is online.

General Information

Teacher:

  • Michele Loreti

ESSE3 Link

Lessons schedule:

  • Tuesday, 4.00 p.m. - 6 p.m. (Room LA1)
  • Thursday, 4.00 p.m. - 6 p.m. (Room LB1)

Classroom: 870ezw

Course Objectives

In the course various aspects of computer-aided modelling for performance evaluation of (stochastic) dynamic systems will be introduced. The emphasis is on stochastic modelling of computer systems and communication networks; however other dynamic systems such as Collective Adaptive Systems and Cyber Physical Systems will also be considered. Different tools and techniques will be introduced to predict (or monitoring) system performance at the different stages of development.

Course Contents

  1. Modelling and Simulation
  2. Operational Laws
  3. Constructing and Solving Markov Processes
  4. More Complex Markov Processes
  5. Population Models
  6. Specification languages: Stochastic process Algebras
  7. Simulation Models: Introduction and Motivation
  8. Random Variables and Simulation
  9. Statistical Analysis of Systems
  10. Property specification
  11. Scalable analysis techniques
  12. Monitoring and Runtime Verification

Study Material

Lectures

  • Lecture 1, 8/10/2019
  • Lecture 2, 10/10/2019
  • Lecture 3, 15/10/2019
  • Lecture 4, 17/10/2019
  • Lecture 5, 22/10/2019
  • Lecture 6, 24/10/2019
  • Lecture 7, 29/10/2019
  • Lecture 8, 31/10/2019
  • Lecture 9, 5/11/2019
  • Lecture 10, 7/11/2019
  • Lecture 11, 12/11/2019
  • Lecture 12, 14/11/2019
  • Lecture 13, 19/11/2019
  • Lecture 14, 21/11/2019
  • Lecture 15, 26/11/2019
  • Lecture 16, 28/11/2019
  • Lecture 17, 3/12/2019
  • Lecture 18, 5/12/2019
  • Lecture 19, 10/12/2019
  • Lecture 20, 12/12/2019
  • Lecture 21, 17/12/2019

Exams

Exam Dates

  • The date is defined with the teacher.