Echtzeitsysteme 2 - Verlässliche Echtzeitsysteme (EZS2)5 ECTS
(englische Bezeichnung: Real-Time Systems 2 - Dependable Real-Time Systems)

Lectures:

• • Echtzeitsysteme 2 - Verlässliche Echtzeitsysteme
    (Vorlesung, 2 SWS, Fabian Scheler et al., Mon, 12:15 - 13:45, 01.255-128)
  • Übungen zu Echtzeitsysteme 2 - Verlässliche Echtzeitsysteme
    (Übung, Florian Franzmann et al.)

Empfohlene Voraussetzungen:

It is recommended to finish the following modules before starting this module:

Echtzeitsysteme-V+Ü (WS 2012/2013)

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:
Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:

1. Informatik (Master of Science)
   (Po-Vers. 2010 | Wahlpflichtbereich | Säule der systemorientierten Vertiefungsrichtungen | Vertiefungsmodul Verteilte Systeme und Betriebssysteme)
2. Informations- und Kommunikationstechnik (Master of Science)
   (Po-Vers. 2010 | Schwerpunkt Eingebettete Systeme | Wahlpflichtmodule | Wahlpflichtmodul aus INF im Schwerpunkt Eingebettete Systeme)
3. Maschinenbau (Master of Science): 2. Semester
   (Po-Vers. 2007 | Studienrichtung Allgemeiner Maschinenbau | Wahlpflicht-/Vertiefungsbereich in der Studienrichtung Allgemeiner Maschinenbau | Modulgruppe 12.2 Echtzeitsysteme | Vertiefungsmodul 12.2 Echtzeitsysteme 2 | Echtzeitsysteme 2)
4. Mechatronik (Bachelor of Science): 5-6. Semester
   (Po-Vers. 2009 | Wahlpflichtmodule (für alle Studierende des Bachelorstudiums, die am 01. Oktober 2012 noch keine Wahlpflichtmodule begonnen haben) | 6 Eingebettete Systeme)
5. Mechatronik (Master of Science): 1-3. Semester
   (Po-Vers. 2012 | Masterprüfung | M1-M2 Vertiefungsrichtungen | 6 Eingebettete Systeme)
6. Wirtschaftsingenieurwesen (Master of Science): 1-2. Semester
   (Po-Vers. 2009 | Ingenieurwissenschaftliche Studienrichtungen | Studienrichtung Maschinenbau | Wahlpflicht- und Vertiefungsmodul Modulgruppe 8.2 | Vertiefungsmodul Modulgruppe 8.2 | Echtzeitsysteme 2)
7. Wirtschaftsingenieurwesen (Master of Science): 1-2. Semester
   (Po-Vers. 2009 | Ingenieurwissenschaftliche Studienrichtungen | Studienrichtung Informations- und Kommunikationssysteme | Wahlpflicht- und Vertiefungsmodul Modulgruppe 7.2 | Vertiefungsmodul Modulgruppe 7.2 | Echtzeitsysteme 2)

Studien-/Prüfungsleistungen:

Verlässliche Echtzeitsysteme (Vorlesung mit Übungen)

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

(diese Prüfung gilt nur im Kontext der Studienfächer/Vertiefungsrichtungen [1], [2], [4], [5])

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 2013, 1. Wdh.: WS 2013/2014, 2. Wdh.: keine Wiederholung

1. Prüfer:

Wolfgang Schröder-Preikschat

Verlässliche Echtzeitsysteme (Vorlesung mit Übungen)

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

(diese Prüfung gilt nur im Kontext der Studienfächer/Vertiefungsrichtungen [3], [6], [7])

Prüfungsleistung, mündliche Prüfung, Dauer (in Minuten): 30, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

Erstablegung: SS 2013, 1. Wdh.: WS 2013/2014

1. Prüfer:

Wolfgang Schröder-Preikschat