Information for Realtidsystem, 5p. HT05
- 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.
room: 1235, email: firstname.lastname@example.org,
tel 471 3110
room: 1217, email: email@example.com
tel 471 3165
together with lecture notes
(available on-line) can be an alternative to the recommended text book
Real Time Systems, Jane W.S. Liu,
ISBN 0-13-099651-3, published 2000 (available at Studentbookhandeln, Uppsala)
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:
- Modelling Tips for TIMES:
References (for further readings only)
HARD REAL-TIME COMPUTING SYSTEMS - Predictable Scheduling
Algorithms and Applications,
Real-Time Systems and Programming Languages,
Alan Burns and Andy Wellings, Addison Wesley.
Interesting reading material
(software packages for course assignments)
Ada (RT programming language)
LegOS (RT Operating System)
UPPAAL (Modelling and Verification)
Schedule: START: 27 Aug. 08.15-10, room 1211
- Week 35: START
- Week 36
- 3/9 Mon, 13.15-, 1211, Ada
- 5/9 Wed, 13.15-15, 1211,
Real time programming II (slides in pdf)
- 6/9 Thu, 08.15-12, room 1311, Ada, room Pol_1412D/Pol_1413D.
- Week 37
- Week 38
- 17/9 Mon, 08.15-12, LegOS, room Pol_1312D/Pol_1313D
- 18/9 Tis, 10.15-12, room 1311,
Verification of Real-Time Systems
- 20/9 Thu, 10.15-10.45, room 1311,
UPPAAL, and 10.45-12,
room Pol_1412D/Pol_1413D, lab (UPPAAL).
- 21/9 Fre, 08.15-12, LegOS, room Pol_1312D/Pol_1313D
- Week 39
- 24/9 Mon, 10.15-12, room 1311,
RTOS (slides in pdf)
- 25/9 Tue, 10.15-12, room 1111,
Real Time Scheduling I (slides in pdf)
- 28/9 Fre, 13.15-15, room 1111,
Real Time Scheduling II (slides in pdf)
- 28/9 Fre, 15.15-19, UPPAAL, room 1412/1413
- Week 40
- Wang and Pavel are travelling.
- Week 41
- Week 42