Information for Realtidsystem, 5p. HT05

Real-Time Systems

2007 HT

News

The lecture notes (pdf-files) for the first lecture (Aug 27) are available now (with links in the Schedule below).
You may have a look at an example exam (ps-file) from 2003. Please note that for the final exam (19 Oct, 2007), you will not be allowed to bring the lecture notes, or text books with you.
START, Aug 27, 2007

The aim of the course is to introduce a special class of time-sensitive computer systems known as real-time systems whose behaviour must satisfy timing-constraints (i.e. deadlines). They are often embedded in safety-critical applications such as modern vehicles, process control, and traffic control etc, and therefore they are also known as embedded systems. The course covers topics: scheduling theory (especially rate monotone scheduling, schedulability analysis, response time analysis), real-time operating systems, real time programming languages, execution time analysis, resource control protocols, methods and software tools for modelling, simulation and verification of real-time systems.

Teachers:

Wang Yi room: 1235, email: yi@docs.uu.se, tel 471 3110
Pavel Krcal room: 1217, email: pavelk@it.uu.se tel 471 3165

Literature

These notes together with lecture notes (available on-line) can be an alternative to the recommended text book which is:
- Real Time Systems, Jane W.S. Liu, Prentice Hall, ISBN 0-13-099651-3, published 2000 (available at Studentbookhandeln, Uppsala)
UPPAAL in a Nutshell, av Kim Larsen, Paul Pettersson och Wang Yi. In International Journal of Software Tools for Technology Transfer, 1(1-2), December 1997, pages 134-152.
Modelling Tips for TIMES, Tobias Amnell.

Instruction for readings

The text book by Jane W. S. Liu:
- Chap 1 read through
- Chap 2 read all sections
- Chap 3 read 3.1-3.4 and read through 3.5-3.9
- Chap 4 read all sections except 4.8
- Chap 5 read all sections
- Chap 6 read all sections
- Chap 7 read through all sections except 7.4, 7.8 and 7.9
- Chap 8 read all sections except 8.9 and 8.10
- Chap 12 read 12.1-12.3
UPPAAL in a Nutshell:
- Section 1-3.
Modelling Tips for TIMES:
- Read the whole document

References

(for further readings only)

HARD REAL-TIME COMPUTING SYSTEMS - Predictable Scheduling Algorithms and Applications, Giorgio Buttazzo ISBN: 0-7923-9994-3
Real-Time Systems and Programming Languages, Alan Burns and Andy Wellings, Addison Wesley.

Interesting reading material

What really happend on Mars? (The priority inheritance bug in the Mars Pathfinder)

Software

(software packages for course assignments)

Ada (RT programming language)
LegOS (RT Operating System)
FpsCalc (Schedulability analysis)
TIMES (Modeling, schedulability analysis and verification)

Assignments

Schedule: START: 27 Aug. 08.15-10, room 1211

Week 35: START
- 27/8 Mon, 08.15-10, sal 1211, Course Info and Characteristics of Real Time Systems (slides in pdf)
- 29/8 Ons, 13.15-15, 1211, Real time programming I (slides in pdf)
Week 36
- 3/9 Mon, 13.15-, 1211, Lab Introduction (Assignment 1, Ada), Pavel Krcal
- 5/9 Wed, 13.15-15, 1211, Real time programming II (slides in pdf)
- 6/9 Thu, 08.15-12, room 1311, Lab 1 (Ada), room Pol_1412D/Pol_1413D.
Week 37
- 10/9 Mon, 10.15-12, room 1211 Modeling of Real-Time Systems
- 11/9 Tue, 08.15-10, room 1211 Verification of Real-Time Systems
- 12/9 Wed, 13.15-15, room 1211, Lab Introduction (Assignment 2, LegOS), Pavel Krcal
Week 38
- 17/9 Mon, 08.15-12, Lab 2 (LegOS), room Pol_1312D/Pol_1313D
- 18/9 Tis, 10.15-12, room 1211, Real time operating systems (slides in pdf)
- 20/9 Thu, 10.15-12, room 1211, Real Time Scheduling I (slides in pdf)
- 21/9 Fre, 08.15-12, Lab 2 (LegOS), room Pol_1312D/Pol_1313D
Week 39
- 24/9 Mon, 10.15-12, room 1311, Real Time Scheduling II (slides in pdf)
- 25/9 Tue, 10.15-12, room 1111, Lab Introduction (Assignment 3, FpsCal)
- 28/9 Fre, 13.15-17, Lab 3 (FpsCal), room 1412/1413
Week 40
Week 41
Week 42
- 19/10 Fre, Final Exam (the exact time will be annouced later)

Wang Yi Last updated: