Form

The lectures are an introduction by me to the topics, and then we discuss the text and the exercises; With a well written text and a moderate number of participants, conventional slide-driven lectures are probably not an efficient way of studying the material. In the plan below, I give the parts we plan to cover in each lecture. I expect that participants have read, but not really studied, the relevant pages. We shall then discuss the contents and solve some problems together.

Schedule

Lecture Date Topic Links Exercises
1 5/2 Ch 2. Designing real-time systems Example 7.6  
2 12/2 Ch 12 Real-Time facilities   2.1-2.4, 2.8
3 26/2 Ch 13 Scheduling Scheduling Simulator
Responsetime Calculation
12.1, 12.6, 12.7
4 4/3 Ch 13 Scheduling, blocking etc.   13.1-4
5 11/3 Ch 15 Low Level Programming ISORC Java Hardware Registers
Java Interrupt Handlers
A Kernel Slides, Kernel Programs
13.6, 13.13
6 18/3 Ch 16 The execution environment Mutual exclusion 7.6 (posix)
7 25/3 Ch 3-4 Programming   7.6 (java)
8 1/4 Appendix A RT-Java CISS Ravenscar
RT Java Slides
3.1-3.2, 3.6, 3.8, 4.1
9 8/4 Ch 5 Reliability and fault tolerance FT Slides 4.7,4.9-10, 5.1, 5.2
10 15/4 Ch 6 Exceptions and exception handling Example 5.3 5.3, 5.4, 5.6, 5.8
11 22/4 Ch 12.8 RT Facilities and Fault Tolerance
Ch 7- 8 Concurrency and Shared Variable Synchronization
UppAal Exercise 8.2
UppAal Requirements
3.4, 4.2, 6.2, 6.8, 6.4, 6.11, 6.7, 6.14, 7.5, 8.1
12 29/4 Ch 9-11 Messages and Resource Control   5.5, 8.33, 9.13, 11.2
13 6/5 Ch 14 Distributed Systems   9.14, 11.9, 14.1
14 13/5 Ch 17 Example
  3.9, 8.2, 9.2, 9.7, 7.11, 8.15, 9.11
15 20/5 Summing Up - Questions to Evaluation    

Version: 2008-03-11