Information for Realtidsystem, 5p. HT05
Real-Time Systems
2007 HT
Wang Yi
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
Contents
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:
- Modelling Tips for TIMES:
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
Software
(software packages for course assignments)
-
Ada (RT programming language)
-
LegOS (RT Operating System)
-
UPPAAL (Modelling and Verification)
-
FpsCalc
(Schedulability analysis)
Assignments
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
Wang Yi
Last updated: