Formale Techniken in der Software-Entwicklung
Aktuelles
18.07.2011:
Der Termin für die mündlichen Prüfungen steht fest: Freitag, 05.08.2011 ab 10 Uhr in Raum F003, Oettingenstr. 67, EG.
Eine Anmeldung für die Prüfung muss bis spätestens Freitag, 29.07.2011, 20 Uhr, erfolgen. Melden Sie sich dazu bei UniWorXfür die Klausur "Prüfung FTSE SoSe 2011 (mündlich)" an. Ihr genauer Prüfungstermin wird Ihnen am 01.08. per E-Mail mitgeteilt. Jede Prüfung dauert ca. 30 Minuten. Die Mitnahme von Unterlagen ist nicht gestattet.
16.06.2011:
Die Übung am 17.06. fällt aus. Stattdessen enthält das aktuelle Übungsblatt einige umfangreichere Aufgaben, die elektronisch zur Korrektur abgegeben werden können.
Inhalte
Ein bedeutsames und derzeit noch unbefriedigend beherrschtes Problem im Entwicklungsprozess technischer Systeme ist die Zuverlässigkeit der produzierten Software. Diese ist gegeben, wenn ein Softwaresystem im Sinne der Aufgabenstellung funktioniert und auch auf Fehler angemessen reagiert. Besonders in sicherheitskritischen Anwendungsgebieten, wie etwa bei medizinischen Anwendungen, bei Zahlungssystemen, elektronischer Kommunikation, Zugangskontrollsystemen, aber auch Gasbrennersteuerungen im Haushalt, ist es entscheidend, dass die verwendeten Programmsysteme zuverlässig und sicher arbeiten. Die Vorlesung gibt eine Einführung in Methoden und Techniken zum Entwurf sicherer Systeme. Besonderes Gewicht wird dabei auf Techniken der Spezifikation und der Verfeinerung von Spezifikationen gelegt, die die Grundlage für moderne Validierungs- und Verifikationswerkzeuge bilden. Insbesondere werden folgende Themen behandelt:
- Daten-orientierte Spezifikationsentwicklung (Abstrakte Datentypen, Wechsel der Datenstruktur)
- Spezifikation dynamischer Systeme (Transitionssysteme, modell-basierte Spezifikationen, Invarianten, Vor- und Nachbedingungen)
- Verifikation und Verfeinerung nebenläufiger Systeme (Eigenschaften von Abläufen, Temporale Logik, Model Checking)
Hörerkreis
Studierende im Haupt- und Nebenfach Informatik.
ETCS-Punkte
Master Informatik: 6 ETCS-Punkte
Benötigte Vorkenntnisse
Grundkenntnisse in Informatik und Logik.
Termine
Vorlesung
- Montag 9-12 Uhr, Theresienstr. 39, B 133
Übung
- Freitag 12-14 Uhr, Oettingenstr. 67, 061
Personen
Dozent
Übungsleiter
Materialien
