Académique Documents
Professionnel Documents
Culture Documents
Real-Time Systems
Lecture Tutorial
Groups
Group 1, tutor: Michael Reiner
Monday, 13:45 - 15:15, Room 1/208A
Real-time systems (he/she who does not intend to take this course should leave Group 2, tutor: Michael Reiner
now)
Monday, 15.30 - 17.00, Room 1/208A
Lecturer: Jafar Akhundov, M.Sc. Group 3, tutor: Jafar Akhundov
Please note!
Arrivals during the class are disturbing; be in time!
Tutorials are an offer (lectures even so)
You have to show up prepared and you should show commitment
In case of a lack of interest/preperation, the tutor abandons the tutorial
Credits:
Note: Students of Master programs can not get credit for this course, if they already took it in a Written exam after the term
Bachelor program.
There is no single textbook for this course [SR93] John A. Stankovic and Krithi Ramamritham, eds. Advances in
For each chapter, a reference list is provided Real-Time Systems. IEEE Press, 1993
rem: No textbook, but collection of seminal real-time papers
The following literature may be of interest
[But05] Giorgio C. Buttazzo. Hard Real-Time Computing Systems. Springer,
2005
[Liu00] Jane W. S. Liu. Real-Time Systems. Prentice Hall, 2000 rem: Mainly scheduling
rem: Standard reference, comprehensive but unhandy structure [Kop97] Hermann Kopetz. Real-Time Systems Design Principles for
[KS97] C. M. Krishna and Kang G. Shin. Real-Time Systems. McGraw-Hill, Distributed Embedded Applications. Kluver Academic, 1997
1997 rem: MARS/TTA philosophy; in-depth discussion of some essentials, but lacks wide range
of topics
rem: Well readable, but lacks comprehensiveness of [Liu00]
[Cal93] Jean Paul Calvez. Embedded Real-Time Systems. John Wiley & Sons, you can use it during the lecture
1993 To save resources, I will not provide any other format
rem: Engineering methods If you need a different format than 4x1, feel free to convert, e.g.:
[BW01] Alan Burns and Andy Wellings. Real-Time Systems and Programming
Languages. Addison Wesley, 2001 # !/ usr / bin / env bash
rem: Programm design; Ada95, real-time Java, and real-time POSIX if [ -n " $1 " ] && [ -f " $1 " ]; then
gs -q - dNOPAUSE - dBATCH -P - - dSAFER - sDEVICE = pdfwrite - g4210x5950 - sOutputFile =$
[Wil06] Rob Williams. Real-Time Systems Development. Elsevier, 2006 {1/. pdf /- Q1 . pdf } -c " <</ PageOffset [0 0] > > setpagedevice " -f $1
rem: Down to hardware; handy hints for real development gs -q - dNOPAUSE - dBATCH -P - - dSAFER - sDEVICE = pdfwrite - g4210x5950 - sOutputFile =$
{1/. pdf /- Q2 . pdf } -c " <</ PageOffset [ -421 0] > > setpagedevice " -f $1
pdftk A=$ {1/. pdf /- Q1 . pdf } B=$ {1/. pdf /- Q2 . pdf } cat A1 B1 A2 B2 output $ {1/. pdf / -2
x1 . pdf }
rm $ {1/. pdf /- Q1 . pdf } $ {1/. pdf /- Q2 . pdf }
else
echo " No input file "
fi