Für die Studiengänge Informatik und Softwaretechnik bietet die Abteilung SZS die unten aufgeführten Vorlesungen in der Vertiefungslinie Sichere und Zuverlässige Softwaresysteme an. Für eine Prüfung in der Vertiefungslinie müssen Vorlesungen im Umfang von mindestens 7 SWS gewählt werden.

Grundvorlesung

• Grundlagen der Softwarezuverlässigkeit (3V+1Ü)
  Diese Vorlesung vermittelt Grundprinzipien und Techniken für die Fehlererkennung und Fehlerkorrektur in Softwaresystemen. Sie besteht aus drei Abschnitten, die die Bereiche Testing, Model-Checking und statische Analyse behandeln.

  Diese Veranstaltung fand zuletzt im Wintersemester 2004/05 statt und wird voraussichtlich im Wintersemester 2005/06 erneut angeboten. Weitere Informationen gibt es hier.

Wahlvorlesungen

• Model-Checking (2V+1Ü)
  Diese Vorlesung vertieft den Bereich Model-Checking aus der Grundlagenvorlesung.
  Diese Veranstaltung fand zuletzt im Sommersemester 2005 statt. Weitere Informationen gibt es hier.
   
• Automatische Analyse und Verifikation von Programmen (2V+1Ü)
  Diese Vorlesung vertieft den Bereich statische Analyse aus der Grundlagenvorlesung.
  Diese Veranstaltung fand zuletzt im Sommersemester 2005 statt. Weitere Informationen gibt es hier.
   
• Modellierung und Analyse von Echtzeitsystemen (2V+1Ü)
  Diese Veranstaltung wird zum ersten Mal im Wintersemester 2005/06 stattfinden. Weitere Informationen gibt es hier.
  Dozent: Dr. Dirk Nowotka
   

• Netze und Prozesse (3V+1Ü)
  Diese Vorlesung richtet sich in erster Linie an Studierende in den Studiengängen Elektrotechnik und Infotech, kann jedoch auch für die Vertiefungslinie benutzt werden (unter der o.g. Einschränkung). Behandelt werden u.a. Modellierung und Analyse paralleler und verteilter Systeme, speziell für Petri-Netze. Die Veranstaltung firmiert auch unter dem Namen Networks and Processes und wird in Englisch gehalten.

  Diese Veranstaltung wird im Wintersemester 2005/06 erneut angeboten. Weitere Informationen gibt es hier.