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

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

 

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


Lehrveranstaltungen im Grundstudium

Aufgrund des Forschungsfreisemesters von Prof. Jan Peleska finden in diesem Semester keine Lehrveranstaltungen im Grundstudium statt.


Lehrveranstaltungen im Hauptstudium

Titel: Agile Softwareentwicklung
Art der Veranstaltung: Kurs
Beschreibung: ausführlichere Informationen
Lehrveranstalter: PD Dr. Bettina Buth
Kategorie: K
Umfang: 2 SWS
ECTS: 3
Termin: Mi. 8-10 Uhr, MZH 6240
Beginn: im Oktober 2003

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: Prof. Dr. Jan Peleska, Dr. Jan Bredereke , Dr. Ulrich Hannemann
Kategorie: PP/AV
Umfang: 4 SWS
ECTS: 10
Termin: Fr. 13-15 Uhr, MZH 1380
Beginn: 17. Oktober 2003


Veranstaltungen für andere Studiengänge

Aufgrund des Forschungsfreisemesters von Prof. Jan Peleska finden in diesem Semester keine Lehrveranstaltungen für andere Studiengänge statt.


Lehrveranstaltungen in vergangenen Semestern

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: 2. November 2022   Impressum