Friedrich-Alexander-Universität UnivisSuche FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo I4
Lehrstuhl für Informatik 4
VEZS
 
  Vorlesungsüberblick
  Schein, Prüfung
  Übung
  Evaluation
 
Department Informatik  >  Informatik 4  >  Lehre  >  SS 2012  >  VEZS  >  Uebung

Verlässliche Echtzeitsysteme - Übung (SS 2012)

Ziel der Übung

Analog zur Vorlesung befassen sich die Übungsaufgaben mit der zuverlässigen Entwicklung zuverlässiger Software. In den Übungsaufgaben werden sowohl selbstgeschriebene als auch fremde Codestücke unter die Lupe genommen. Die Programmiersprache ist hierbei ausschließlich C. Als Vorraussetzung für die Übung sollte man deshalb grundlegende C-Kenntnisse mitbringen.

Zuverlässig entwickeln

Ein wesentlicher Bestandteil dieser Veranstaltung ist das Kennenlernen und der Umgang mit Werkzeugen, die die Entwicklung verlässlicher Systeme unterstützen. Hierzu zählen u.a.:

Zuverlässige Software entwickeln

Während der erste Teil sich auf das Finden von Entwicklungsfehlern konzentriert, betrachten wir auch Fehler, die zur Laufzeit auftreten können. Hierzu zählen vor allem unerwartete Hardwarefehler, die den Programmfluss bzw. Rechenergebnisse beeinflussen können. In der Übung werden wir hierzu verschiedene konstruktive Maßnahmen kennenlernen und umsetzen, die die Software gegen derartige Fehlerszenarien härten können.

Folien und Dokumentation

Die Foliensätze zu den einzelnen Übungsterminen:
Kap. Thema Woche vom Folien 4up
1 Organisatorisches 23.04.2012 10 PDF
2 Einführung in die Entwicklungsumgebung 29 PDF
2 Einführung in die Entwicklungsumgebung II 07.05.2012 28 PDF
3 Abstrakte Interpretation 21.05.2012 32 PDF
4 Design by Contract 04.06.2012 23 PDF
5 Redundante Ausführung 11.06.2012 14 PDF
6 Datencodierung 18.06.2012 19 PDF
7 Fehlerinjektion 25.06.2012 23 PDF
8 Entwicklungsumgebung: Gerrit 12.07.2012 9 PDF

Übungsaufgaben

Nr. Titel Kurzbeschreibung Ausgabetermin Abgabetermin Vorgaben
1 Ampel Einführung in die Entwicklungsumgebung (Einzelabgabe) 24.04.2012
14:00
03.05.2012
12:00
Aufgabe 1
2 Abstrakte Interpretation Implementierung und Korrektheitsnachweis eines einfachen Filters (Gruppenabgabe) 21.05.2012
16:00
04.06.2012
16:00
Aufgabe 2
3 WP-Kalkül mit Frama-C Verifikation des Ampelprogramms, Verifikation einer Binärsuche 04.06.2012
10:00
14.06.2012
16:00
Aufgabe 3
4 Triple Modular Redundancy Schutz des Filters aus Aufgabe 2 durch TMR 11.06.2012
14:00
21.06.2012
16:00
Aufgabe 4
5 Erweiterte Arithmetische Codierung Schutz des Voter aus Aufgabe 4 durch EAN 18.06.2012
16:00
28.06.2012
12:00
siehe Übungsfolien
6 Fehlerinjektion mit FAIL* Fehlerinjektion in die TMR-Implementierung aus Aufgabe 4 12.07.2012
12:00
19.07.2012
12:00
siehe Übungsfolien
  Impressum Stand: 2012-07-16 10:38   hoffmann