Course Schedule

The following course schedule is derived from the official schedule by annotation with additional information (topics, slides, etc.). All lab related dates are further available in an additional iCal file.

The slides will be made available right before or latest shortly after the according lectures.

Week 35

Time	Room	Topic
Mon, 30.08., 8:15-10:00	Pol_1111	Course Information, Introduction
Tue, 31.08., 15:15-17:00	Pol_1111	RT Programming Language 1
Wed, 01.09., 10:15-12:00	Pol_1111	RT Programming Language 2
Thu, 02.09., 10:15-12:00	Pol_1111	General Lab Introduction, Introduction to Lab 1 (Ada)
Fri, 03.09., 13:15-17:00	Pol_1515D	Lab 1 (Ada)

Week 36

No lectures. Work on finishing the first assignment.

Week 37

Time	Room	Topic
Mon, 13.09., 10:00	(Pan's Mailbox)	Deadline for Lab 1 report
Tue, 14.09., 15:15-17:00	Pol_1111	RTOS
Wed, 15.09., 13:15-15:00	Pol_1111	Introduction to Lab 2 (LEGO)
Thu, 16.09., 13:15-17:00	Pol_2510D	Lab 2 (LEGO)
Fri, 17.09., 13:15-15:00	Pol_1111	What happened on Mars, in 1997?, Resource Sharing and Priority Ceiling Protocols

Week 38

Time	Room	Topic
Mon, 20.09., 10:15-12:00	Pol_1111	Scheduling Theory: Basic Concepts and Algorithms
Tue, 21.09., 15:15-17:00	Pol_1111	Multi-rate task systems and Rate-monotonic scheduling
Wed, 22.09., 13:15-15:00	Pol_1111	Jitters, Periodic Servers
Thu, 23.09., 08:15-12:00	Pol_2507D, Pol_2516D	Lab 2 (LEGO) cont.

Week 39

Time	Room	Topic
Mon, 27.09., 15:15-17:00	Pol_1111	Multiprocessor RT Systems, Bin-Packing Problem
Tue, 28.09., 10:15-12:00	Pol_1111	Multiprocessor Scheduling, RT Communication and Distributed RT Systems
Wed, 29.09., 10:15-12:00	Pol_1111	Introduction to Lab 3 (RTA)
Fri, 01.10., 13:15-17:00	Pol_1515D	Lab 3 (RTA)

Week 40

Time	Room	Topic
Mon, 04.10., 15:15-17:00	Pol_1111	Modelling RT Systems
Tue, 05.10., 13:15-15:00	Pol_1111	Verifying RT Systems
Thu, 07.10., 08:15-10:00	Pol_1111	Summary
Fri, 08.10., 13:15-17:00	Pol_1515D	Lab 2 (LEGO) cont.

Week 41

Time	Room	Topic
Mon, 11.10., 10:00	(Pan's Mailbox)	Deadline for Lab 3 report
Mon, 11.10., 13:15-15:00	Pol_1111	Introduction to Lab 4 (UPPAAL)
Tue, 12.10., 13:15-17:00	Pol_1515D	Lab 4 (UPPAAL)

Week 42

Time	Room	Topic
Mon, 18.10., 10:00	(Martin's Mailbox)	Deadline for Lab 4 report
Fri, 22.10., 13:15-17:00	6140	LEGO car presentation + competition

Week 43

Time	Room	Topic
Mon, 25.10., 14-17	Campus 1477, Gymnastiksalen	Final exam (here are example exams)

Week 44

Time	Room	Topic
Mon, 01.11., 10:00	(Martin's Mailbox)	Deadline for Lab 2 report