Performance Analysis and Simulation

Teacher:

• Michele Loreti

ESSE3 Link

• TBD

Lessons schedule:

Referenfes:

• All of Statistics
• On hypothesis testing for statistical model checking

Tools:

• PEPA
• The Repast Suite
• Bio-PEPA
• Sibilla

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.
• Slides 10: Statistical Transient Analysis.
• Slides 11: Sibilla, a framework for agent simulation and 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 (Streaming)

Exam Dates

• The date is defined with the teacher.

Exam rules: Each student selects one of the following topics and produces a short report (between 5 and 10 pages) that will be discussed at the exam:

• Use either Sibilla or one of the tools listed above to model a scenario. Examples of possible scenarios are:
  • Epidemic Model
  • Diffusion Model
  • Predator-Prey Model
  • Asynchronous Leader Election
  • Crowds protocol
  • Stable matching
  • …
• Study one of the following topics:
  • Statistical Model Checking (study the methods that was not considered in the lectures)
  • Robust Online Monitoring of Signal Temporal Logic
  • System design of stochastic models using robustness of temporal properties
  • Smoothed model checking (A technique for parameter optimisation)
  • Continuous approximation of stochastic models
• A student can suggest a topic of her/his interest.