|
|
Event |
|
Time |
|
Place |
|
Subject |
|
Links |
|
Week 1
|
Jan 17 - Jan 21 |
Mon |
Tue |
|
Lecture |
|
10.00 - 11.45 |
|
HA3 |
|
Introduction; Design methods for real-time systems |
|
notes
|
Wed |
|
Lecture |
|
08.00 - 09.45 |
|
HA3 |
|
Concurrent programming; Cooperating tasks; Rendezvous in Ada
95 |
|
notes
|
Thu |
|
Lecture |
|
13.15 - 15.00 |
|
HA3 |
|
Shared data structures; Mutual exclusion; Protected objects in Ada
95 |
|
notes
|
|
|
Exercise |
|
15.15 - 17.00 |
|
HA3 |
|
Introduction to Ada 95, tasks and protected objects |
|
notes
|
Fri |
|
Week 2
|
Jan 24 - Jan 28 |
Mon |
Tue |
|
Lecture |
|
10.00 - 11.45 |
|
HA3 |
|
Clocks, time and task priorities in Ada 95 |
|
notes
|
Wed |
|
Lecture |
|
08.00 - 09.45 |
|
HA3 |
|
Low-level programming in Ada 95 |
|
notes
|
Thu |
|
Lecture |
|
13.15 - 15.00 |
|
HA3 |
|
Resource management; Deadlock and starvation |
|
notes
|
|
|
Exercise |
|
15.15 - 17.00 |
|
HA3 |
|
Low-level programming and exception handling in Ada
95 |
|
notes
|
Fri |
|
Week 3
|
Jan 31 - Feb 4 |
Mon |
Tue |
|
Lecture |
|
10.00 - 11.45 |
|
HA3 |
|
Monitors and semaphores; Mutual exclusion (cont'd) |
|
notes
|
Wed |
Thu |
|
Lecture |
|
13.15 - 15.00 |
|
HA3 |
|
Design methods for real-time systems |
|
notes
|
|
|
Exercise |
|
15.15 - 17.00 |
|
HA3 |
|
Interrupts in Ada 95; The laboratory assignment:
model, description and specification |
|
notes
|
Fri |
|
Week 4
|
Feb
7 - Feb 11 |
Mon |
Tue |
|
Lecture |
|
10.00 - 11.45 |
|
HA3 |
|
Design methods for real-time systems
(cont'd) |
|
notes
|
Wed |
Thu |
|
Lecture |
|
13.15 - 15.00 |
|
HA3 |
|
Design methods for real-time systems
(cont'd) |
|
notes
|
|
|
Exercise |
|
15.15 - 17.00 |
|
HA3 |
|
Low-level synchronization |
|
notes
|
Fri |
|
Week 5
|
Feb 14 - Feb 18 |
Mon |
Tue |
|
Lecture |
|
10.00 - 11.45 |
|
HA3 |
|
Task model; Worst-case execution times |
|
notes
|
Wed |
Thu |
|
Lecture |
|
13.15 - 15.00 |
|
HA3 |
|
Scheduling: terminology, cyclic executives |
|
notes
|
|
|
Exercise |
|
15.15 - 17.00 |
|
HA3 |
|
Interfacing Ada 95 to C and assembly language;
Worst-case execution times |
|
notes
|
Fri |
|
Week 6
|
Feb 21 - Feb 25 |
Mon |
Tue |
|
Lecture |
|
10.00 - 11.45 |
|
HA3 |
|
Scheduling: static and dynamic priorities,
utilization-based analysis |
|
notes
|
Wed |
Thu |
|
|
|
13.15 - 15.00 |
|
|
|
No lecture |
|
|
|
|
Exercise |
|
13.15 - 15.00 |
|
HA3 |
|
Scheduling |
|
notes
|
Fri |
|
Examination sign-up deadline
|
|
Week 7
|
Feb 28 - Mar 4 |
Mon |
Tue |
|
Lecture |
|
10.00 - 11.45 |
|
HA3 |
|
Scheduling: response-time analysis |
|
notes
|
Wed |
Thu |
|
Lecture |
|
13.15 - 15.00 |
|
HA3 |
|
Scheduling: processor-demand analysis |
|
notes
|
|
|
Exercise |
|
15.15 - 17.00 |
|
HA3 |
|
Scheduling (cont'd) |
|
notes
|
Fri |
|
Week 8
|
Mar 7 - Mar 11 |
Mon |
Thu |
|
Lecture |
|
10.00 - 11.45 |
|
HA3 |
|
Fault-tolerance and network communication;
Summary and reading hints |
|
notes
|
Wed |
Thu |
Fri |
|
Laboratory report
deadline
|
|
Exam week
|
Mar
14 - Mar 18 |
Mon |
Tue |
|
Final written exam 14.00-18.00
|
Wed |
Thu |
Fri |