Advanced Topics in Software Engineering


  • 05/03/2018 Lectures start!

Teacher:

  • Michele Loreti

ESSE3 Link

Lessons schedule:

  • Tuesday, 14.00 - 16.00, Room AB1, Polo Lodovici;
  • Thursday, 11.00 - 13.00, Room AB1, Polo Lodovici.

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.


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

Course Slides

Lectures

  • Lecture 5/3/2019 (Streaming)
  • Lecture 7/3/2019 (Streaming)
  • Lecture 12/3/2019 (Streaming)
  • Lecture 14/3/2019 (Streaming)
  • Lecture 19/3/2019 (Streaming)
  • Lecture 21/3/2019 (Streaming)
  • Lecture 26/3/2019(Streaming)
  • Lecture 28/3/2019(Streaming)
  • Lecture 2/4/2019
  • Lecture 9/4/2019
  • Lecture 11/4/2019
  • Lecture 30/4/2019
  • Lecture 7/5/2019
  • Lecture 9/5/2019
  • Lecture 14/5/2919
  • Lecture 16/5/2019
  • Lecture 21/5/2019
  • Lecture 23/5/2019
  • Lecture 28/5/2019
  • Lecture 30/5/2019
  • Lecture 4/6/2019
  • Lecture 6/6/2019

Exam Dates

  • Will be published soon…