Universität Bremen  
  Universität Bremen FB3 TZI BISS  
  AG BS > Lehre > Deutsch
English
 

Lehrveranstaltungen der Arbeitsgruppe Betriebssysteme, Verteilte Systeme im Wintersemester 2004/05

 

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


Lehrveranstaltungen im Grundstudium

Titel: Praktische Informatik 1 & Programmierpraktikum
Art der Veranstaltung: Vorlesung mit Übungen
Beschreibung: ausführlichere Informationen
Lehrveranstalter: Prof. Dr. Jan Peleska
Kategorie: V+Ü+P
Umfang: 2+2+4 SWS
ECTS: 4+4
Termin: Vorlesung: Mo. 10-12 Uhr, HS 2010
Übungen und Praktika: s. Homepage
Beginn: 25.10.2004


Lehrveranstaltungen im Hauptstudium

Titel: Safety-Critical Systems 1
Art der Veranstaltung: Vorlesung mit Übungen
Lehrveranstalter: Prof. Dr. Jan Peleska, Tobias Hartmann
Beschreibung: ausführlichere Informationen
Kategorie: V+Ü
Umfang: 2+2 SWS
ECTS: 6
Termin: Vorlesung: Di. 8-10 Uhr, MZH 7210
Übung: Do. 13-15 Uhr, GW2 B1400
Beginn: 26.10.2004


Titel: Testautomatisierung 2
Art der Veranstaltung: Kurs
Lehrveranstalter: Prof. Dr. Jan Peleska
Beschreibung: ausführlichere Informationen
Kategorie: K
Umfang: 4 SWS
ECTS: 6
Termin: Mo. 15-17 Uhr, ZB-BB0480 Ansicht der Netzkamera
Mi. 8-10 Uhr, MZH 5210
Beginn: 25.10.2004


Titel: Spezifikation eingebetteter Systeme
Art der Veranstaltung: Vorlesung mit Übungen
Lehrveranstalter: Prof. Dr. Jan Peleska, Kirsten Berkenkötter
Beschreibung: ausführlichere Informationen
Kategorie: V+Ü
Umfang: 2+2 SWS
ECTS: 6
Termin: Vorlesung: Do. 8-10 Uhr, GW1-HS 1000
Übung: Di. 15-17 Uhr, MZH 8090
Beginn: 28.10.2004


Titel: Verifikation nebenläufiger Programme
Art der Veranstaltung: Kurs
Lehrveranstalter: Dr. Ulrich Hannemann, Dr. Jan Bredereke
Beschreibung: ausführlichere Informationen
Kategorie: K
Umfang: 4 SWS
ECTS: 6
Termin: Mo. 13-15 Uhr, MZH 1400
Mi. 13-15 Uhr, MZH 7220
Beginn: 25.10.2004


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 7250
Beginn: Findet weiterhin (seit WS2003/04) statt.


Veranstaltungen für andere Studiengänge


Stundenplan der AGBS

Die Tutorien und Praktika der Veranstaltung PI1 sind hier aus Platzgründen nicht aufgeführt.

Zeit Montag Dienstag Mittwoch Donnerstag Freitag
8-9
Safety Critical
Systems 1 (VL)

MZH 7210
Jan Peleska
Testautomatisierung 2 (K)
MZH 7220
Jan Peleska
Spezifikation eingebetteter Systeme (VL)
GW1-HS1000
Jan Peleska

9-10

10-11 Praktische Informatik 1 (VL)
HS 2010
Jan Peleska




11-12



12-13




13-14 Verifikation nebenläufiger Programme (K)
MZH 1400
Ulrich Hannemann,
Jan Bredereke

Verifikation nebenläufiger Programme (K)
MZH 7220
Ulrich Hannemann,
Jan Bredereke

Safety Critical
Systems 1 (UE)

GW2 B1400
Tobias Hartmann
Projekt "TRACS"
MZH 7250
Jan Bredereke,
Ulrich Hannemann
14-15
15-16 Testautomatisierung 2 (K)
ZB-BB0480
Jan Peleska
Spezifikation eingebetteter Systeme (UE)
MZH 8090
Kirsten Berkenkötter



16-17


17-18




18-19




19-20






Lehrveranstaltungen in vergangenen Semestern

Sommersemester 2004
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

Bei Problemen mit dieser Seite: agbs@informatik.uni-bremen.de
 
   
Autor: jp
 
  AG Betriebssysteme, Verteilte Systeme 
Zuletzt geändert am: 16. Oktober 2015   Impressum