![]() |
DATA NETWORKS II/VERIFICATION II |
|
||||
Registration![]() Please register your participation here ![]() Requirements ![]() The students should have visited the lecture "Data Networks" or "Verification". ![]() Contents ![]() The course will guide you through a wealth of contemporary research trends in the design of distributed systems with predictable quality of service (QoS). ![]() Credit Points: 6 ![]() ![]() Preliminary Schedule ![]() The course consists of two parts.
A first preparatory part is a crash course that brings you to level for the main part if you have followed only one of the required courses.
For those that did not follow "Data Networks", we will review:
For those who did not follow "Verification", we will review:
The preparatory part takes place February 23-25. Tentative time table: (HAS CHANGED; BUT NOW INCLUDES SLIDES TO MOST LECTURES)
Feb 23, R 014: 9:15 Introduction 9:45 Data Networks A 11:00 Verification A
13:30 Data Networks B (finishes 14:30)
Feb 24, R 014: 9:15 Data Networks C 11:00 Verification B
13:30 Tutorial exercises (both!) 15:30 Data Networks D (finishes 17:00)
Feb 25, R 014: 9:15 Data Networks E 11:00 Verification C 13:30 Tutorial exercises (both!) (finishes 15:30)
March 1, R 528 10:30 Tutorial exercises (both!)
Here is literature for the preparatory part, apart from those listed at
The main part takes place March 7-18 in room SR 015.
In the main part, each day starts at 09:15 with about three lectures of 45 minutes in the morning, together with exercises held in the early afternoon every second day.
We will cover:
Here is how to use the MoToR/Moebius tool. The "reliable data transfer" models in MoDeST can be found here. ![]() Teachers ![]() Prof. Dr.-Ing. Holger Hermanns ![]() Lecture Notes ![]() Here are the lecture notes in pdf:
![]() Literature for the main part ![]()
![]() Homework ![]() Here is your homework.
Here is Figure 1 of this paper in colour.
![]() |
||||||
Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes |