I730 – Real-Time Systems

Module
Real-Time Systems
Echtzeitsysteme
Module number
I730 [I-730]
Version: 2
Faculty
Informatics/Mathematics
Level
Master
Duration
1 semester
Turnus
Winter semester
Module supervisor

Prof. Dr.-Ing. Robert Baumgartl
robert.baumgartl(at)htw-dresden.de

Lecturers

Prof. Dr.-Ing. Robert Baumgartl
robert.baumgartl(at)htw-dresden.de

Teaching language(s)

German

ECTS credits

5.00 Credits

Workload

150 hours

Courses

4.00 SWS (2.00 SWS Lecture | 1.00 SWS Seminar | 1.00 SWS Internship)

Self-study time

90.00 hours

Pre-requisite(s) for the examination
Not specified
Examination(s)

Written examination
Examination duration: 90 min | Weighting: 100 %

Teaching form

2/1/1  V/Ü/P

Media type
Not specified
Teaching content / structure
  • Verfahren der Prozessorzuteilung: Multiprozessor- und Mixed-Criticality-Scheduling, Protokolle zur Ressourcenzuteilung in Multiprozessorsystemen
  • Grundlagen fehlertoleranter Systeme
  • Modellierung mittels gewöhnlicher und zeitbehafteter Petrinetze
  • Grundlagen, Werkzeuge und Techniken der WCET-Analyse, Analyse von Caches und Sprungvorhersageeinheiten
Qualification objectives
  • Kennenlernen von Metriken zur Auswahl und Parametrisierung geeigneter Prozessorzuteilungsverfahren
  • Kenntnisse zur Beurteilung der Systemzuverlässigkeit und systematischen Konstruktion fehlertoleranter Rechensysteme
  • Elementare Kenntnisse zum Einsatz von klassischer und zeitbehafteter Petrinetze
  • Fähigkeiten zur Analyse des Zeitverhaltens von Rechensystemen
Special admission requirement(s)
Not specified
Recommended prerequisites

Grundlagen der Echtzeitsysteme

Continuation options
Not specified
Literature
  • Jane Liu: Real-Time Systems. Pearson, 2000
  • Sanjoy Baruah, Marko Bertogna und Giorgio Buttazzo: Multiprocessor Scheduling for Real-Time Systems. Springer, 2015
  • Israel Koren and C. Mani Krishna: Fault-Tolerant Systems. Morgan-Kaufman, 2007
  • Wolfgang Reisig: Petrinetze. Vieweg+Teubner, 2010

Weitere Leseanregungen werden in der LV gegeben.

Current teaching resources

Skript zur Lehrveranstaltung

Notes
Not specified