Echtzeitsysteme 2 - Verlässliche Echtzeitsysteme (EZS2)5 ECTS
(englische Bezeichnung: Real-Time Systems 2 - Dependable Real-Time Systems)
(Prüfungsordnungsmodul: 6 Eingebettete Systeme)

Lehrveranstaltungen:

• • Echtzeitsysteme 2 - Verlässliche Echtzeitsysteme
    (Vorlesung, 2 SWS, Peter Ulbrich et al., Mo, 14:15 - 15:45, 01.255-128)
  • Übungen zu Echtzeitsysteme 2 - Verlässliche Echtzeitsysteme
    (Übung, Florian Franzmann et al.)

Empfohlene Voraussetzungen:

Es wird empfohlen, folgende Module zu absolvieren, bevor dieses Modul belegt wird:

Echtzeitsysteme-V+Ü (WS 2013/2014)

Inhalt:

Viele Echtzeitsysteme sind in Bereiche des täglichen Lebens eingebettete, die hohe Anforderungen an die funktionale Sicherheit dieser Systeme stellen. Beispiele hierfür sind Fahrerassistenzsysteme in modernen Automobilen, medizinische Geräte, Prozessanlagen in Kernkraftwerken oder Chemiefabriken oder Flugzeuge. Fehlfunktionen in diesen Anwendungen ziehen mitunter katastrophale Konsequenzen nach sich - Menschen können ernsthaft verletzt oder sogar getötet werden, Landstriche können unbewohnbar gemacht oder zumindest großer finanzieller Schaden verursacht werden.

Dieses Modul betrachtet Methoden und Werkzeuge, die uns helfen können, einerseits zuverlässig Software zu entwickeln (also Fehler im Programm zu entdecken und zu vermeiden), und andererseits zuverlässige Software zu entwickeln (also Abstraktionen, die auch im Fehlerfall ihre Gültigkeit behalten). Hierbei steht weniger die Vermittlung theoretischer Grundkenntnisse auf diesen Gebieten im Vordergrund, also vielmehr

• die praktische Anwendung existierende Werkzeuge und Methoden

• sowie die Erfahrung und das Verständnis ihrer Grenzen.

Auf diese Weise soll ein Fundament für die konstruktive Umsetzung verlässlicher Echtzeitsysteme gelegt werden. Dieses Modul soll daher fundierte Anknüpfungspunkte für die Entwicklung verlässlicher Echtzeitsysteme vermitteln, die Ad-hoc-Techniken möglichst ersetzen sollen.

Lernziele und Kompetenzen:

Hörer dieses Moduls erwerben Kenntnisse auf folgenden Gebieten:

Zuverlässig Software entwickeln

• Formale statische Verifikation von C-Programmen

• Dynamisches Testen und Testfallabdeckung

• Validierung des Übersetzungsvorgangs durch Bisimulation
  

Zuverlässige Software entwickeln

• Redundante Ausführung

• Datenkodierung, erweiterte arithmetische Kodierung und homomorphe Codes

• Fehlerdetektion und Fehlerinjektion
  

Weitere Informationen:

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

1. Mechatronik (Master of Science): 1-3. Semester
   (Po-Vers. 2012 | Masterprüfung | M1-M2 Vertiefungsrichtungen | 6 Eingebettete Systeme)

Studien-/Prüfungsleistungen:

Verlässliche Echtzeitsysteme (Vorlesung mit Übungen) (Prüfungsnummer: 876012)

(englischer Titel: Dependable Real-Time Systems (Lecture with Exercises))

Prüfungsleistung, mehrteilige Prüfung, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
mündliche Prüfung (30 Minuten) + erfolgreiche Bearbeitung aller Übungsaufgaben

Erstablegung: SS 2014, 1. Wdh.: WS 2014/2015, 2. Wdh.: keine Wiederholung

1. Prüfer:

Wolfgang Schröder-Preikschat