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

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

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

Zeit Montag Dienstag Mittwoch Donnerstag Freitag
8-9 Übersetzergenerierung mit lex und yacc
MZH1400
Jan Bredereke




9-10


10-11
Testautomatisierung (VL)
MZH7230
Jan Peleska

Betriebssysteme 2 (VL)
MZH1400
Jan Peleska

11-12


12-13




13-14 Betriebssysteme 1 (VL)
MZH1400
Jan Peleska
Betriebssysteme 2 (UE)
MZH4194
Jan Peleska

Betriebssysteme 1 (UE)
MZH1400
Kirsten Berkenkötter
Projekt "TRACS"
MZH1380
Jan Bredereke, Ulrich Hannemann
14-15
15-16 Testautomatisierung (UE)
MZH1400
Stefan Bisanz, Aliki Tsiolakis




16-17



17-18




18-19




19-20






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

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