Aktuelles

17. Juni 2009

Da die nächste Übung am 25. Juni stattfindet, wurde die Abgabefrist für das Übungsblatt 6 auf den 25. Juni verlängert.

13. Juni 2009

Bitte beachten:

• Die Vorlesung am 15. Juni enfällt.
• Statt der Übung am 18. Juni findet die Vorlesung statt.
• Die nächste Übung findet am 25. Juni statt.
  

29. April 2009

Die Übung am 7. Mai findet im Raum 15, Oettingenstr. 67 statt.

23. April 2009

Der Abgabemodus für die Übungsblätter wird nur auf der Übungsseite erklärt.

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, TLA

Hörerkreis

Studierende im Haupt- und Nebenfach Informatik.

ETCS-Punkte

Die Vorlesung Grundlagen der Systementwicklung ist für Studierende des Bachelor Bioinformatik und Informatik 6 ETCS-Punkte wert.

Benötigte Vorkenntnisse

Grundkenntnisse in Informatik und Logik.