[Uni [FB [TZI] [BISS]

Lehrveranstaltungen im
Wintersemester 2000/01

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

Lehrveranstaltungen im Grundstudium


Titel:			Praktische Informatik I
Art der Veranstaltung:	Vorlesung mit Übungen und Programmierpraktikum
Kurzbeschreibung:	

Lehrveranstalter:	Prof. Dr. Jan Peleska, 
                        Stefan Bisanz, Bettina Buth, Markus Dahlweid, Andreas Genz, 
                        Oliver Meyer, Holger Neumann, Stefan Prelle, Markus Roggenbach, 
                        Shi Hui, Ingo Timm, Lutz Twele

Kategorie:		V+UE
Umfang:			2+2 SWS	
Termine:		Vorlesung:  
                           Do. 13-15 Uhr, HS Großer Hörsaal
                        Übungen: 
                           Mo.  8-10 Uhr, 
                           Mo. 13-15 Uhr,
                           Mi.   8-10 Uhr
                        Programmierpraktikum:
                           Mo.  9-12 Uhr
                           Mo. 15-18 Uhr
                           Di. 13-19 Uhr
                           Mi.  9-12 Uhr
                           Mo. 13-16 Uhr
                           Do. 16-18 Uhr
                           Fr.  9-12 Uhr
                           Fr. 13-16 Uhr

Beginn:                 Vorlesung:  Do, 26.10.00
                        Übung: Mo, 30.10.00
                        Programmierpraktikum: Mo, 30.10.00

			ausführlichere Informationen

Lehrveranstaltungen im Hauptstudium


Titel:			Testautomatisierung
Art der Veranstaltung:	Vorlesung mit Übungen
Kurzbeschreibung:	In dieser Vorlesung steht der Test eingebetteter 
			reaktiver Systeme (Hardware und Software) im 
			Mittelpunkt. Typische ``Testlinge'' sind Steuer-
			komponenten für Stellwerke, Überwachungs-
			komponenten für ausfallsichere Systeme und 
			ähnliche - meist sicherheits-relevante - 
			Anwendungen. 

			Wir stellen die theoretischen Grundlagen dar, 
			welche die automatische Generierung, Durchführ-
			ung und Auswertung von Tests gegen CSP-Spezifika-
			tionen 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. Peleska
Kategorie:		V+UE
Umfang:			2+2 SWS	

ACHTUNG: GEÄNDERTE ANFANGSZEITEN UND RÄUME ! 

Termine:		Vorlesung:  Mo. 10-12 Uhr, MZH 6240
                        Übung:      Mo. 15-17 Uhr, MZH 1400 (Termin
			                                     ist geblieben)

Beginn:                 Vorlesung:  Mo, 30.10.00
                        Übung:      Mo, 30.10.00



ACHTUNG: die folgende Veranstalung wird auf das
Sommersemester 2001 verlegt !  (Ursache: zusätzliche
Lehrverpflichtungen in der PI1)

Titel:			Safety Critical Systems II
Art der Veranstaltung:	Kurs
Beschreibung:	        ausführlichere Informationen  

Lehrveranstalter:	Prof. Dr. Jan Peleska
Kategorie:		V+UE
Umfang:			2+2 SWS	
Termine:		Vorlesung: ---
                        Übung: ---

Bisherige Lehrveranstaltungen:

emm@informatik.uni-bremen.de, letzte Änderung 28. März 2000