Advanced Topics in Software Engineering
News
- 05/03/2019 Lectures start!
- 21/05/2019 Today's lecture has been cancelled.
General Information
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.
Referenfes:
Tools:
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
- Modelling and Simulation
- Operational Laws
- Constructing and Solving Markov Processes
- More Complex Markov Processes
- Population Models
- Specification languages: Stochastic process Algebras
- Simulation Models: Introduction and Motivation
- Random Variables and Simulation
- Statistical Analysis of Systems
- Property specification
- Scalable analysis techniques
- Monitoring and Runtime Verification
Study Material
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 (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)
Exams
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:
- …
- Study one of the following topics:
- Statistical Model Checking (study the methods that was not considered in the lectures)
- Smoothed model checking (A technique for parameter optimisation)
- A student can suggest a topic of her/his interest.