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
 
Department Informatik  >  Informatik 4  >  Lehre  >  SS 2014  >  VEZS  >  Uebung

Verlässliche Echtzeitsysteme - Übung (SS 2014)

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 Datei
1 Organisatorisches 15.04.2014 6 PDF (4 auf 1)
2 Einführung in die Entwicklungsumgebung 40 PDF, PDF (4 auf 1)
3 Redundante Ausführung und Fehlerinjektion 06.05.2014 14 PDF, PDF (4 auf 1)
4 Softwareentwurf 13.05.2014 20 PDF, PDF (4 auf 1)
5 Erweiterte Arithmetische Kodierung 20.05.2014 28 PDF, PDF (4 auf 1)
6 Testen 03.06.2014 28 PDF, PDF (4 auf 1)
7 Frama-C 17.06.2014 24 PDF, PDF (4 auf 1)
8 Ganzzahl Überläufe in C 24.06.2014 28 PDF, PDF (4 auf 1)
9 Abstrakte Interpretation 01.07.2014 36 PDF, PDF (4 auf 1)
Java to C++ 59 PDF
Embedded C/C++ 13 PDF

Übungsaufgaben

Nr. Titel Kurzbeschreibung Ausgabetermin Abgabetermin Vorgaben
1 git Einführung in den Umgang mit git 15.04.2014 08.05.2014 Aufgabe 1
2 Triple Modular Redundancy TMR mit Fehlerinjektion 06.05.2014 20.05.2014 Aufgabe 2
3 Erweiterte Arithmetische Codierung Schutz des Voters aus Aufgabe 2 durch EAN 20.05.2014 29.05.2014 (n.V.)
4 Testen Implementierung und Testen eine Prioritätswarteschlange 03.06.2014 12.06.2014 Aufgabe 4
5 WP-Kalkül mit Frama-C Verifikation eines Ampelprogramms 17.06.2014 03.07.2014 Aufgabe 5
6 Abstrakte Interpretation Implementierung und Korrektheitsnachweis eines einfachen Filters 01.07.2014 10.07.2014 Aufgabe 6
  Impressum Stand: 2014-07-01 13:52   hoffmann