|
Echtzeitsysteme 2 - Verlässliche Echtzeitsysteme (EZS2)5 ECTS (englische Bezeichnung: Real-Time Systems 2 - Dependable Real-Time Systems)
Modulverantwortliche/r: Wolfgang Schröder-Preikschat Lehrende:
Fabian Scheler, Wolfgang Schröder-Preikschat
Startsemester: |
SS 2013 | Dauer: |
1 Semester | Turnus: |
jährlich (SS) |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. | Sprache: |
Deutsch |
Lehrveranstaltungen:
Empfohlene Voraussetzungen:
Es wird empfohlen, folgende Module zu absolvieren, bevor dieses Modul belegt wird:
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
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:
Schlüsselwörter: Echtzeitsysteme, Real-Time Systems, Fehlertoleranz, Fault Tolerance
www: http://www4.informatik.uni-erlangen.de/Lehre/SS12/V_VEZS/
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan: Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:
- Informations- und Kommunikationstechnik (Master of Science)
(Po-Vers. 2010 | Schwerpunkt Eingebettete Systeme | Wahlpflichtmodule | Wahlpflichtmodul aus INF im Schwerpunkt Eingebettete Systeme)
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 |
|
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|