Lehrveranstaltungen der Arbeitsgruppe Betriebssysteme, Verteilte Systeme im Sommersemester 2004

Diese Liste enthält Lehrveranstaltungen, die von Mitarbeitern der Arbeitsgruppe Betriebssysteme, Verteilte Systeme voraussichtlich angeboten bzw. mitveranstaltet werden.

• Lehrveranstaltungen im Grundstudium
• Lehrveranstaltungen im Hauptstudium
• Veranstaltungen für andere Studiengänge
• Stundenplan-Übersicht über die Lehrveranstaltungen der AGBS
• Lehrveranstaltungen in vergangenen Semestern

Lehrveranstaltungen im Grundstudium

Es werden keine Grundstudiumsveranstaltungen angeboten.

Lehrveranstaltungen im Hauptstudium

Titel:	Betriebssysteme 1
Art der Veranstaltung:	Vorlesung mit Übungen
Beschreibung:	ausführlichere Informationen
Lehrveranstalter:	Prof. Dr. Jan Peleska, Kirsten Berkenkötter
Kategorie:	A
Umfang:	2+2 SWS
ECTS:	6
Termin:	Vorlesung:  Mo. 13-15 Uhr, MZH 1400 Übung:  Do. 13-15 Uhr, MZH 1400
Beginn:	26.04.2004

Titel:	Betriebssysteme 2
Art der Veranstaltung:	Vorlesung mit Übungen
Beschreibung:	ausführlichere Informationen
Lehrveranstalter:	Prof. Dr. Jan Peleska
Kategorie:	V
Umfang:	2+2 SWS
ECTS:	6
Termin:	Vorlesung:  Do. 10-12 Uhr, MZH 1400 Übung:  Di. 13-15 Uhr, MZH 4194
Beginn:	22.04.2004

Titel:	Testautomatisierung
Art der Veranstaltung:	Vorlesung mit Übungen
Beschreibung:	In dieser Vorlesung steht der Test eingebetteter reaktiver Systeme (Hardware und Software) im Mittelpunkt. Typische "Testlinge" sind Steuerkomponenten für Stellwerke, Überwachungskomponenten für ausfallsichere Systeme und ähnliche - meist sicherheitsrelevante - Anwendungen. Wir stellen die theoretischen Grundlagen dar, welche die automatische Generierung, Durchführung und Auswertung von Tests gegen formale Spezifikationen ermöglichen. Dabei wird gezeigt, wie diese theoretischen Ergebnisse in Werkzeugen implementiert werden. Im praktischen Teil wird die Anwendung der Theorie für den Test reaktiver Systeme demonstriert. ausführlichere Informationen
Lehrveranstalter:	Prof. Dr. Jan Peleska, Stefan Bisanz, Aliki Tsiolakis
Kategorie:	V
Umfang:	2+2 SWS
ECTS:	6
Termin:	Vorlesung:  Di. 10-12 Uhr, MZH 7230 Übung:  Mo. 15-17 Uhr, MZH 1400
Beginn:	20.04.2004

Titel:	Übersetzergenerierung mit lex und yacc
Art der Veranstaltung:	Vorlesung
Beschreibung:	ausführlichere Informationen
Lehrveranstalter:	Dr. Jan Bredereke
Kategorie:	A
Umfang:	2 SWS
ECTS:	2
Termin:	Mo 8-10 Uhr, MZH 1400
Beginn:	26.04.2004

Titel:	Software-Zuverlässigkeit: Methoden und Werkzeuge
Art der Veranstaltung:	Seminar
Lehrveranstalter:	PD Dr. Bettina Buth
Kategorie:	V
Umfang:	2 SWS
ECTS:	4
Termin:	Diese Veranstaltung entfällt!
Beginn:	s.o.

Titel:	TRACS - Train Control Systems
Art der Veranstaltung:	Projekt
Beschreibung:	Dieses Projekt beschäftigt sich mit der Entwicklung und Verifikation von Bahnsteuerungssystemen, wie sie in Stellwerken und Zügen zum Einsatz kommen. Die Software für solche Systeme besteht typischerweise aus den wiederverwendbaren ("generischen") Steuerungsmodulen und den spezifischen Konfigurationsdaten (als Projektierungsdaten bezeichnet), die das konkrete zu überwachende und steuernde Gleisnetz betreffen. Nach dem Stand der Technik werden die Steuerungsmodule heutzutage frei entworfen und programmiert und danach sehr ausführlichen Prüfungen und Tests unterzogen. Im Projekt wird ein neuer Ansatz verfolgt: Das ausführbare Softwaresystem wird automatisch aus den Anforderungsspezifikationen erzeugt. Aus den Anforderungsspezifikationen wird eine Verifikations- und Testsuite erzeugt, mit deren Hilfe die Korrektheit von Konfigurationsdaten ausführbarer Software Integration der Software in der Hardware automatisch überprüft werden kann. ausführlichere Informationen
Lehrveranstalter:	Dr. Jan Bredereke , Dr. Ulrich Hannemann
Kategorie:	PP/AV
Umfang:	4 SWS
ECTS:	10
Termin:	Fr. 13-15 Uhr, MZH 1380
Beginn:	Findet weiterhin (seit WS2003/04) statt.

Veranstaltungen für andere Studiengänge

Es werden keine Veranstaltungen für andere Studiengänge angeboten.

Stundenplan-Übersicht über die Lehrveranstaltungen der AGBS

Lehrveranstaltungen in vergangenen Semestern

Wintersemester 2003/2004
Sommersemester 2003
Wintersemester 2002/2003
Sommersemester 2002
Wintersemester 2001/2002
Sommersemester 2001
Wintersemester 2000/2001
Sommersemester 2000
Wintersemester 1999/00
Sommersemester 1999
Wintersemester 1998/99
Sommersemester 1998
Wintersemester 1997/98
Sommersemester 1997
Wintersemester 1996/97