Advanced Topics in Software Engineering

Teacher:

• Michele Loreti

ESSE3 Link

• Advanced Topics in Software Engineering - AY 2018/2019

Lessons schedule:

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

Referenfes:

• PEPA
• All of Statistics
• On hypothesis testing for statistical model checking
• The Repast Suite
• Bio-PEPA

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. 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

Course Slides

• Slides 01: Introduction and Basic Principles of Performance Modelling.
• Slides 02: Operational Laws.
• Slides 03: Markov Chains.
• Slides 04: Transient Analysis of CTMC. (CTMC 1,CTMC 2)
• Slides 05: Population Models.
• Slides 06: PEPA.
• Slides 07: Simulation.
• Slides 08: Statistics.
• Slides 09: Statistical Inference.
• Sludes 19: Statistical Transient Analysis.

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 (Streaming)
• Lecture 9/4/2019 (Streaming)
• Lecture 11/4/2019 (Streaming)
• Lecture 30/4/2019 (Streaming)
• Lecture 2/5/2019 (Streaming)
• Lecture 7/5/2019 (Streaming)
• Lecture 14/5/2919 (Streaming)
• Lecture 16/5/2019 (Seminar by Matteo Rucco)
• Lecture 21/5/2019 (This lecture has been cancelled)
• Lecture 23/5/2019 (Streaming)
• Lecture 28/5/2019 (9.00-11.00, Room AB1) (Streaming)
• Lecture 28/5/2019 (Streaming)
• Lecture 30/5/2019 (Streaming)
• Lecture 04/6/2019

Exam Dates

• Will be published soon…