Exam
We will conduct an oral examination on March 9 in room 36/429 (Prof. Schmitt's office).
Course Overview
The objective of this lecture is to introduce the art of performance-related modeling of distributed systems. We will use worst-case assumptions in order to obtain robust results.
Please register here in order to get lecture updates via email!
Organization
|
Lecture: |
Two consecutive lectures every Friday in 48-453 |
|
Contact: |
Dr.-Ing. Kai Lampka |
Lecture Material
The lecture material is only accessible from within the university network (131.246.*). Please use SSH or VPN for remote access.
Steffen's WoCADS-script (Lecture 16/17): PDF (last update: January 26, 2018)
| Title | Last Update | Slides |
|---|---|---|
| Motivation, PI-Problem | November 17, 2017 | PDF, PDF |
| Introduction | November 17, 2017 | |
| MinPlusAlgebra | November 17, 2017 | |
| Network Calculus Part I | November 17, 2017 | |
| Network Calculus Part II | December 1, 2017 | |
| Network Calculus Part III | December 1, 2017 | |
| Timed Automata | January 19, 2018 |
Exercise Material
We strongly recommend you to work on the exercises, since they are crucial to get a good grasp on math-heavy lectures. Moreover, exercise content can and will be part of exam.
Please download and install UPPAAL and MATLAB (the university has a licence, see therefore the RHRK Downloads from within the university network). MATLAB is necessary for the RTC Toolbox.
| Exercise | Day of Presentation |
|---|---|
| Nov 24 | |
| Jan 19, see Timed Automata Templates |
Literature
- Jean-Yves Le Boudec, Patrick Thiran. Network Calculus. Springer, 2001. (Also →available online)
We offer a variety of bachelor and master