|
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: |
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
|